Prover MCP Server

by axiomatic-ai Your server? Claim it

answering

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

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

Uptime history 47 days of history

47 days agonow

100.0%

Uptime 24h

91 of 91 checks

—

Tools

hidden behind auth

128 ms

Response time

average over 24h

Stars

last commit 2 Mar 2026

Nothing serious here today

Today is the operative word: we check Prover every 15 minutes and re-read its code on every release. Watch it and you find out the day that stops being true.

Connect this server

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

Claude Code Claude Desktop Codex Cursor VS Code

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, and it signs you in through your browser: there is no API key to paste.

Endpoints

URL	Transport	State	Latency	Checked
https://prover.axiomatic-ai.com/mcp/	streamable-http	sign-in	249 ms	13 min ago

Alternatives to Prover

same job, measured the same way

Leanforge MCP

by sandraschi

MCP server for AI-driven formal proof search in Lean 4

local only

Weather Server Python

by lxchst

An MCP server that provides weather information

61 installs/wk local only

Weather

by yuv24793

An MCP server that provides weather information.

35 installs/wk local only

Huoshui File Converter

by huoshuiai42

An MCP server that provides document format conversion

26 installs/wk local only

Zillow Leads Property Data

by kmatata

MCP server for the zillow-leads-property-data actor: Zillow leads with agent contacts and history.

local only

Sema

by sema-lang

MCP tools for Sema — eval, compile, build, format, and docs for a Lisp with LLM primitives.

local only

Tolk MCP Server

by oxgeneral

MCP server for the Tolk smart contract compiler. Compile, validate, and explore TON contracts.

local only

Lingua Universale MCP Server

by rafapra3008

Verify AI agent communication with session types and formal proofs

69 installs/wk local only

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 91 of 91 checks got a reply (100.0%), average response time 128 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 sign in through your browser once and the client keeps the session: no key to copy, and it refuses anonymous clients.

How do you sign in to Prover?

No API key is involved. Prover answers our knock with an OAuth challenge, so you authorise it once in your browser and the client keeps the session. That is also why we see no tool list: it will not describe itself to an anonymous client, and that is the server working as intended, not a fault.

How fast is Prover?

It answers our handshake in 128 ms on average, which is faster than 80% of all working MCP servers we measure. That puts it in the quick quarter of the ecosystem. The comparison comes from our own checks across the whole registry, every 15 minutes.

Is Prover open source?

We cannot say either way: 0 stars on GitHub and 1 open issue, but we could not determine the licence, and without one the code is not open source by default.