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-public-release
scottnarmstrong/leanautoformalizationskills/
lean-public-release
skill versions
1
skill version published
──
Skill Version History
v1.0.0
current
LLM-judged scan
90/100
21d ago
sha256:8a9a6faf3cd0