🏪

beneficial-ai-foundation-lean4-claude-plugin

🏪Marketplace

Beneficial-AI-Foundation/lean4-claude-plugin

Add this Marketplace

Add marketplace in Claude Code:

$/plugin marketplace add alok/lean4-claude-plugin

What it does

Lean 4 Claude Code Plugin: Native LSP + 17 MCP tools for theorem proving

developmentlanguagelean4provingservertheorem

1Plugins

Last UpdatedJul 6, 2026