๐ช
leanprover-skills
๐ชMarketplaceleanprover/skills
|What it does
|Official agent skills for developing with Lean 4, helping AI coding agents write proofs, set up development environments, debug toolchain regressions, and follow Lean/Mathlib project conventions.
communitydevelopingleanskills
Add this Marketplace
Add marketplace in Claude Code:
/plugin marketplace add leanprover/skills1Plugins
31
Last UpdatedApr 21, 2026