30

MCP streamable-http

com.axiomatic-ai/prover

com.axiomatic-ai/prover

Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.

Uptime

0.0%

5 probes

Response

0ms

last probe

Tools

0

callable

Primary URL

https://prover.axiomatic-ai.com/mcp/

Similar MCP servers embedding-nearest

MCP server and client for Lean 4 + Mathlib formal verification

        0 tools
      

MCP server for Axiom Lean Engine (AXLE) — exposes Lean verification tools to Claude Code and other MCP clients

        0 tools
      

io.github.csoai-org/math-solver-ai-mcp

math-solver-ai-mcp MCP server by MEOK AI Labs

        0 tools
      

iflow-mcp_ooo0ooo-lean-lsp-mcp

Lean Theorem Prover MCP

        0 tools
      

MCP server for distributing AI rules from GitLab repositories to IDEs

        0 tools
      

leanblueprint-mcp

MCP server for rendering Lean 4 blueprint dependency graphs from structured theorem data.

        0 tools
      

How to use

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

{
  "mcpServers": {
    "com.axiomatic-ai/prover": {
      "url": "https://prover.axiomatic-ai.com/mcp/",
      "transport": "streamable-http"
    }
  }
}