prover

com.axiomatic-ai/proverVersion 0.1.0

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

Status

Sign-in required108 msNov 14, 2026, 13:48 UTCReachable. It asks for authorization, so we did not look inside.

We could not refresh it, so this page shows the last copy.

Data from the official MCP Registry, checked by run.zero. How we check

Streamable HTTP

https://prover.axiomatic-ai.com/mcp/Sign-in required108 msNov 14, 2026, 13:48 UTC

OAuth sign-in

This server asks for sign-in. Your client opens the sign-in when it connects.

claude mcp add --transport http prover https://prover.axiomatic-ai.com/mcp/

1
2
3

Settings > Connectors > Add custom connector
Name: prover
Remote MCP server URL: https://prover.axiomatic-ai.com/mcp/

{
  "mcpServers": {
    "prover": {
      "url": "https://prover.axiomatic-ai.com/mcp/"
    }
  }
}

code --add-mcp '{"name":"prover","type":"http","url":"https://prover.axiomatic-ai.com/mcp/"}'

Built your own server? run.zero hosts MCP servers on European infrastructure.

Tools are visible after sign-in; we do not look inside protected servers.

Registry status: Active
Published: Feb 23, 2026
Updated: Feb 23, 2026
Website: Not given
Repository: https://github.com/Axiomatic-AI/ax-prover-base-mcp⁠ (opens in a new tab)
Categories: Uncategorized
GDPR: Not declared