com.axiomatic-ai/proverMCP Registry
com.axiomatic-ai/prover
v0.1.0Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
Endpoint health
degraded- Last checked
- 10/5/2026, 8:18:59 AM
- Latency
- 122 ms
- Consecutive failures
- 4
- Endpoint reachable: pass
- Protocol valid: fail
- MCP handshake valid: fail
Machine-readable profile
mcp-server · schema v1 · callable
mcp-server:com.axiomatic-ai%2Fprover
Connections
streamable-http
https://prover.axiomatic-ai.com/mcp/