Back to search
30
MCP

lean-mcp

pypi/lean-mcp

MCP server and client for Lean 4 + Mathlib formal verification

Uptime
0.0%
2 probes
Response
0ms
last probe
Tools
0
callable
Primary URL
—

Similar MCP servers embedding-nearest

com.axiomatic-ai/prover
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
0 tools · streamable-http
lean-lsp-mcp
Lean Theorem Prover MCP
0 tools
mcpbind-lean-lsp-mcp
MCP Server Package: lean-lsp-mcp
0 tools
leanblueprint-mcp
MCP server for rendering Lean 4 blueprint dependency graphs from structured theorem data.
0 tools
math-mcp-server-testing
MCP server for mathematical calculations
0 tools
iflow-mcp_ooo0ooo-lean-lsp-mcp
Lean Theorem Prover MCP
0 tools

How to use

Add to your Claude Desktop / Cursor / Cline MCP config:

{
  "mcpServers": {
    "lean-mcp": {
      "url": "None",
      "transport": "http"
    }
  }
}