Claude MarketplacesSubmit
leanprover avatar

leanprover/skills

Plugin marketplace

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

GitHub stars
83
plugin
1
last updated
Nov 11, 2026
View on GitHub

Add marketplace

/plugin marketplace add leanprover/skills

Run it inside Claude Code, then install plugins from it with /plugin.

Plugins

1leanSkills for developing with Lean 4

Sponsors

Promote your product hereReach 125k+ visitors monthlyPromote your product hereReach 125k+ visitors monthlyAgent CaffeineSponsoredClose your lid, come back to finished workSnugSponsoredThe clipboard manager for the AI eraPromote your product hereReach 125k+ visitors monthlyWaxSponsoredBlock anything with supervision, without erasing your iPhonePromote your product hereReach 125k+ visitors monthlyknobsSponsoredSee your site on any phone, any day, in any language

Details

Repository
github.com/leanprover/skills
Categories
community
Listed since
Feb 24, 2026