Back to all repositories
QD
xspec
by qdelettre
Claude Code marketplace plugin for executable specifications. v1 backend: Quint.
1stars0forks0watchers/subscribers1issues
ai-agentsanthropicclaudeclaude-codeformal-methodsformal-verificationmcp
- Language
- Python
- License
- Apache License 2.0
- Size
- 234 KB
- Created
- May 24, 2026
- Last Updated
- Aug 11, 2026
- Last Pushed
- Aug 24, 2026
Available Plugins
Loading plugins...
Evaluate before installing
- Review the source repository, recent maintenance, and license on GitHub.
- Read the marketplace manifest and plugin source files before running commands.
- Start with the smallest required permission set and validate behavior in a safe environment.