🏪
leanprover-skills
🏪Marketplaceleanprover/skills
communitydevelopingleanskills
Add this Marketplace
Add marketplace in Claude Code:
/plugin marketplace add leanprover/skills1Plugins
31
Last UpdatedApr 21, 2026
leanprover/skills
/plugin marketplace add leanprover/skills