leanprover
Skills for AIs using the Lean programming language and theorem prover — proofs, toolchain setup, bisection, and more
Skills for AIs using the Lean programming language and theorem prover — proofs, toolchain setup, bisection, and more
Contains
1 plugin.
Install
/plugin marketplace add leanprover/skills
Then browse and install with /plugin install.
Source
Repository: https://github.com/leanprover/skills
Maintain leanprover?
Let people know it's listed here — add the badge (live metrics, light/dark aware) or a plain link to your README or docs.
[leanprover on getagentictools](https://getagentictools.com/plugins/leanprover-leanprover?ref=badge) Related plugins
sci-brain Brain storming like a senior research scientist
axiom-cli The power of Axiom on the command line.
hormozi-skills Skill library for building Hormozi-inspired offer systems. Build offers people can’t say no to!
wardleyToGo Create your WardleyMaps as code/data and render it as SVG (onlinewardleymap and wtg language supported)
lovstudio Top-level index for the Lovstudio skills ecosystem
geospatial-skills Claude Code plugin marketplace by isaaccorley.