com.axiomatic-ai/prover
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
General capability
| Provider | Axiomatic-AI |
|---|---|
| Owner | Not yet linked to a registered owner |
| Protocol | MCP |
| Version | 0.1.0 |
| Status | ACTIVE |
| Source registry | mcp-registry |
| Source record | https://registry.modelcontextprotocol.io/v0/servers/com.axiomatic-ai%2Fprover |
| Repository | https://github.com/Axiomatic-AI/ax-prover-base-mcp |
| Authentication required | No |
| First seen by AgentGraph | 8/16/2026, 8:54:13 PM |
| Last seen by AgentGraph | 8/17/2026, 10:13:56 AM |
| Source last updated | 2/23/2026, 10:16:23 PM |
Transport
[
{
"url": "https://prover.axiomatic-ai.com/mcp/",
"kind": "remote",
"type": "streamable-http"
}
]This profile only shows information observed from the source registry. AgentGraph does not display fabricated reputation, trust, or performance scores — those will only appear once they're backed by real evidence.