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 logic-of-programs-hoare
jonatangs777/ai-skill-agent-control-deck-2026/
logic-of-programs-hoare
skill versions
1
skill version published
──
Skill Version History
v1.0.0
current
LLM-judged scan
90/100
1mo ago
sha256:3074760b83f9