New to Claude Skills? Learn how to install them →

Get Claude Skills

Lean 4 skills

Free agent skills tagged lean 4, ready to install into any SKILL.md-compatible agent.

3 skills

Best matchMost starredNewest

Writing Lean Proofs

trailofbits

Streamline your Lean 4 proof writing and library design.

Developer Toolsintermediate6.5k repo