claude

leanforge-mcp

Lean 4 proof-search plugin: session context for Claude Code

3 on GitHubv0.1.1MITupdated 20 days ago

Not in a marketplace yet, so it loads for one session with --plugin-dir.

Plugin leanforge-mcp in sandraschi/leanforge-mcp. Commands read from the repo's manifest — 19 days ago.

What it installs

Skills (1)

  • lean-expert

    Lean 4 theorem-prover expertise for agents -- current versions, tactic cookbook, Mathlib search, compiler-error recoveries. Use when proving, debugging, or explaining Lean 4 proofs via leanforge-mcp.

View source on GitHub

Maintain leanforge-mcp?

This page updates itself from your repo. Add the badge to your README, or get it Featured to pin it above the organic results with a followed link to your site.

claude & codex pluginslisted