๐ช
leanprover-skills
๐ชMarketplaceleanprover/skills
Add this Marketplace
Add marketplace in Claude Code:
$
/plugin marketplace add leanprover/skills
|What it does
|Skills for AIs using the Lean programming language and theorem prover โ proofs, toolchain setup, bisection, and more
communitydevelopingleanskills
1Plugins
31
Last UpdatedJul 6, 2026