Search Categories Compare Collections Releases Docs Submit (GitHub)Account

SkillTrust

The trust layer for agent skills. Search, compare, and verify public skills before you install them.

Product

Search
Categories
Compare
Collections
Releases
Submit (GitHub)

Resources

Docs

© 2026 SkillTrust. All rights reserved.

Discover · Trust · Govern

cameronfreer

individual

1 skills

lean4-skills

Lean 4 theorem proving skill and workflow pack for AI coding agents

Integrations & Connectors

192 stars— downloads— activationsmetrics partialsource metrics

GitHubby cameronfreer6 hours ago