mcpbeat

Prover MCP Server

com.axiomatic-ai/prover
answering

Prover is answering right now. Last checked moments ago. Last commit 2 Mar 2026.

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

Uptime history 41 hours of history
41 hours agonow
100.0%
Uptime 24h
92 of 92 checks
—
Tools
hidden behind auth
147 ms
Response time
average over 24h
0
Stars
last commit 2 Mar 2026

Connect this server

Endpoint below is the one we actually reach during checks — not the one copied from a README. Last verified 0 min ago.

run in your terminal
claude mcp add prover --transport http https://prover.axiomatic-ai.com/mcp/
~/Library/Application Support/Claude/claude_desktop_config.json
{
  "mcpServers": {
    "prover": {
      "url": "https://prover.axiomatic-ai.com/mcp/"
    }
  }
}
~/.codex/config.toml
[mcp_servers.prover]
url = "https://prover.axiomatic-ai.com/mcp/"
.cursor/mcp.json
{
  "mcpServers": {
    "prover": {
      "url": "https://prover.axiomatic-ai.com/mcp/"
    }
  }
}
.vscode/mcp.json
{
  "mcpServers": {
    "prover": {
      "url": "https://prover.axiomatic-ai.com/mcp/"
    }
  }
}

This endpoint answered with an authorization challenge — the server is running, but you need an API key or OAuth to use it.

Endpoints

URLTransportStateLatencyChecked
https://prover.axiomatic-ai.com/mcp/ streamable-http needs key 110 ms 0 min ago

Prover — questions

Answers built from our own checks of this server.

Why is there no tool list for Prover?
The server answered our handshake with an authorization challenge, so it is running — but it will not describe its tools to an anonymous client. To see them you need to connect with your own credentials. We record it as alive, not as broken: 100.0% of checks in the last 24 hours got a reply.
Is Prover working right now?
We send a real MCP handshake every 15 minutes. Over the last 24 hours 92 of 92 checks got a reply (100.0%), average response time 147 ms. The bar chart above shows every period we have measured.
How do I connect Prover?
Copy the ready config from this page — we generate it for Claude Code, Claude Desktop, Codex, Cursor and VS Code, each with the file path that client actually reads. It is a remote server, so there is nothing to install — the client connects to the address. You will need your own key or an OAuth login: it refuses anonymous clients.
Does Prover need an API key?
Yes. Every time we knock, Prover answers with an authorization challenge instead of its tool list — that is how we know it is running and gated rather than broken. Bring your own credentials and it will talk.
How fast is Prover?
It answers our handshake in 147 ms on average, which is faster than 74% of all working MCP servers we measure. The comparison comes from our own checks across the whole registry, every 15 minutes.
Is Prover open source?
Yes — 0 stars on GitHub and 1 open issue. The source link is on this page, so you can read exactly what it does with your data before you connect it.