🔌

lean

🔌Plugin

leanprover/skills

What it does

Skills for developing with Lean 4

Part of

leanprover-skills

Installation

Add marketplace in Claude Code:

/plugin marketplace add leanprover/skills

Step 2. Install plugin:

/plugin install lean@leanprover

Last UpdatedFeb 25, 2026

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