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

<< All versions

Compare Skill Versions

cameronfreer/lean4-skills/lean4

From

→

To

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

Claude Code Skills and Agent Skills Registry, Security-Scanned | Verified Skill