🔌

lean

🔌Plugin

leanprover/skills

Installation

Add marketplace in Claude Code:

$/plugin marketplace add leanprover/skills

Step 2. Install plugin:

$/plugin install lean@leanprover

What it does

Skills for developing with Lean 4

Part of

leanprover-skills

Last UpdatedFeb 25, 2026

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