Skill collection · trailofbits

writing-lean-proofs

writing-lean-proofs — an agent skill collection for coding agents.

How to use it

Reference it in AdaL, Claude Code, Cursor or any coding agent — nothing to install:

@skills trailofbits/skills/plugins/writing-lean-proofs

View the source on GitHub

Browse the @skills marketplace