Plugin marketplace

lean4-tools

Lean 4 theorem prover support for Claude Code

1 · Beneficial-AI-Foundation/lean4-claude-plugin1 pluginupdated 10 months ago

Add this marketplace

Then install any plugin below by name — each page has its exact command.

lean4

claude

Lean 4 language server for theorem proving

1

README badge

Shows how many plugins this repo ships, and links here.

claude & codex pluginslisted