mcp-registry/com.axiomatic-ai/prover
As of 2026-10-24 22:33 UTC, the Axiomatic Ai Prover MCP server is up (it requires sign-in) with a Glimind reliability score of 89/100 (grade B). Over the last 30 days it answered 100% of Glimind's liveness checks.
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
Claude Code
claude mcp add --transport http axiomatic-ai-prover-mcp-server https://prover.axiomatic-ai.com/mcp/
Claude Desktop · Windsurf · Cline (mcpServers JSON)
{
"mcpServers": {
"axiomatic-ai-prover-mcp-server": {
"type": "http",
"url": "https://prover.axiomatic-ai.com/mcp/"
}
}
}
Third-party server, listed as discovered. Review its source before installing.
Compare: most reliable code servers · most reliable ml servers
Glimind tells agents whether a server is up right now and how to call it, then fails over to a live alternative when it isn't.
Claude Code
claude mcp add --transport http glimind https://glimind.com/mcp
Claude Desktop · Windsurf · Cline (mcpServers JSON)
{
"mcpServers": {
"glimind": {
"type": "http",
"url": "https://glimind.com/mcp"
}
}
}
As of 2026-10-24 22:33 UTC, the Axiomatic Ai Prover MCP server is up (it requires sign-in) with a Glimind reliability score of 89/100 (grade B). Over the last 30 days it answered 100% of Glimind's liveness checks.
Axiomatic Ai Prover MCP server advertises 3 tools, including lean4_build, lean4_get_job_status, lean4_prove_theorems.
Point your MCP client at this streamable-http endpoint: https://prover.axiomatic-ai.com/mcp/
Status page: 90-day uptime, every outage and how long it lasted.
Claim this listing to get the Verified operator marker, a remediation checklist and owner analytics, or embed the live badge from any of the tool pages above. Maintainers: alerts, deploy attestation and monthly reports.
Status is an automated estimate from Glimind's liveness checks (handshake and tool listing only; no tool is ever called) and may lag or differ from your network. Glimind is not affiliated with this server or its operator. Operator? Request a correction or opt out at https://glimind.com/opt-out.