SpecWeave
spec and handoff CLI
SpecWithCode
desktop workspace
Verified Skill
skill registry
Verified Skill
Skills
Claude Code skills
Skill Studio
How we verify
Docs
Resources
Tutorials
Submit
Publishers
Trust center
Queue
Insights
Desktop app
Open search
/
⌘K
Login
<< Back to lean-workflow
scottnarmstrong/leanautoformalizationskills/
lean-workflow
skill versions
1
skill version published
──
Skill Version History
v1.0.0
current
LLM-judged scan
95/100
29d ago
sha256:610ba087e203