Plugin marketplace

leanprover

Skills for AIs using the Lean programming language and theorem prover — proofs, toolchain setup, bisection, and more

83 · leanprover/skills1 pluginApache-2.0updated 8 months ago

Add this marketplace

Then install any plugin below by name — each page has its exact command.

lean

claude

Skills for developing with Lean 4

9 skills

83

README badge

Shows how many plugins this repo ships, and links here.

claude & codex pluginslisted