🏪

leanprover-skills

🏪Marketplace

leanprover/skills

Security check pending

communitydevelopingleanskills

Add this Marketplace

Add marketplace in Claude Code:

/plugin marketplace add leanprover/skills

1Plugins

7

Last UpdatedFeb 24, 2026

Plugins in this Marketplace

lean

Skills for developing with Lean 4

View on GitHub Back to Marketplaces