SpecWeave spec and handoff CLI SpecWithCode desktop workspace Verified Skill skill registry

Skills Claude Code skills Skill Studio How we verify Docs

Resources

Tutorials Submit Publishers Trust center Queue Insights Desktop app

<< Back to lean4-proof

xushuwenn/redact/lean4-proofskill versions

1 skill version published

──Skill Version History

v1.0.0currentLLM-judged scan100/1004mo ago

sha256:5bf6ffea5dae

A registry of agent skills, each with its source, security scan and evaluation shown.

Product

Skills
Claude Code skills
Agent skills
Skill Studio
Desktop
Pricing

Trust

How we verify
Trust center
Security
Report a problem

Resources

Docs
Tutorials
Publishers
Insights
Submit
Queue

Family

SpecWeave
SpecWithCode
GitHub
npm

MIT License