SpecWeave
spec and handoff CLI
SpecWithCode
desktop workspace
Verified Skill
skill registry
Verified Skill
Skills
Skill Studio
How we verify
Docs
Resources
Claude Code skills
Tutorials
Submit a skill
Publish privately
Publishers
Trust center
Queue
Insights
Desktop app
Search
⌘K
Login
Browse skills
<< Back to prover-invariant-analysis
dtsong/agentic-council/
prover-invariant-analysis
skill versions
1
skill version published
──
Skill Version History
v1.0.0
current
LLM-judged scan
95/100
1mo ago
sha256:949c480f8ea3