Skip to content

Official Add skill Dashboard Pricing

Official Compare Add skill Dashboard Pricing

Theme

Home

·

SkillInstalls

Find AI coding assistant skills, watch the ones you depend on, and see what changed.

Product

Categories
Official
Add skill
Compare
Pricing

Legal

Privacy
Terms

Contact

Support
GitHub

© 2026 SkillBundle

Skill metadata from skills.sh and public GitHub repositories.

Official Add skill Dashboard Pricing

Official Compare Add skill Dashboard Pricing

Theme

Home
cameronfreer
lean4-skills

cameronfreer/lean4-skills

npx skills add cameronfreer/lean4-skills

Agent skills in cameronfreer/lean4-skills | SkillBundle

1 skill·434 installs

1 skill from this source

SkillInstalls

434