New to Claude Skills? Learn how to install them →

Get Claude Skills

Library Design skills

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