Stats
Links
Categories
Marketplace
executable-specs
Claude Code marketplace for executable specifications: write specs, verify invariants, debug counterexamples, drive implementation from specs. v1 backend: Quint.
$
npx claudepluginhub qdelettre/xspec1 Plugin
xspec
0·
Orchestrate executable-spec workflows (write, verify, debug, implement) from host Claude Code via a Dockerized runtime. v1 backend: Quint.
2w
qdelettre