New to Claude Skills? Learn how to install them →

Get Claude Skills

Mathlib skills

Free agent skills tagged mathlib, 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