com.axiomatic-ai/prover

com.axiomatic-ai/prover

com.axiomatic-ai/prover did not answer the probe on 2026-10-03. Result: needs auth (HTTP 401).

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

needs auth probed 2026-10-03 · HTTP 401 · Bearer

Streamable HTTP error: Error POSTing to endpoint: {"error": "invalid_token", "error_description": "Authentication required"}

Endpoint

https://prover.axiomatic-ai.com/mcp/ (streamable-http)

Host

prover.axiomatic-ai.com

Repository

https://github.com/Axiomatic-AI/ax-prover-base-mcp

Registry

active, updated 2026-02-23 · registry entry

Reachable

2 of the last 2 probes

History

We add a row when the result changes. A server with no change keeps its last row.

Badge

[![mcp-pulse](https://mcp-pulse.ulehla.dev/badge/com.axiomatic-ai/prover.svg)](https://mcp-pulse.ulehla.dev/s/com.axiomatic-ai/prover)