MCP servers tagged lean-prover

3 live MCP servers tagged "lean-prover", ranked by trust score. Tags come from package metadata and repository topics, so this list covers servers across every category that work with lean-prover.

live servers

avg trust

most stars

LeanProbe

epfl-lara

Fast Lean 4 proof feedback for coding agents. CLI, Python library, and MCP server with warm LeanInteract sessions and cached env reuse.

★ 5updated 4 days ago

Leanstudio

keithadler

A native desktop IDE for Lean 4 on macOS, Windows and Linux. Every proof re-checked by Tenet, an independent Lean 4 kernel. An MCP server for AI assistants, with Git and GitHub bu…

★ 3updated 3 days ago

Leanstudio

Dezz05

The Lean 4 IDE that checks the checker. A native desktop IDE for macOS, Windows, and Linux with an independent kernel re-verifying all proofs.

★ 1updated 4 days ago