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