AGENTRANK
qdelettre/xspec
Claude Code marketplace plugin for executable specifications. v1 backend: Quint.
53
/ 100
Stars
8
Freshness
100
Issue health
50
Contributors
0
Dependents
0