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 publishers

cameronfreer

1 skillAvg Trust: 40395 total stars

Sort

Tier

1 skill

cameronfreer/lean4-skills

Trust: 40395 starscameronfreer/lean4-skillsv1.0.12mo ago

All 1 skills loaded

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