Leaderboard/com.axiomatic-ai/prover
MCP ServerScored via MCP protocol probing: initialize handshake, tools/list conformance, and ping + tool invocation performance.

com.axiomatic-ai/prover

github.com/Axiomatic-AI/ax-prover-base-mcp↗|v0.1.0
AI & Agents

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

65/100
Operational Score
Score Breakdown
Availability30/30
Conformance10/30
Performance25/40
Key Metrics
Uptime 30d
100.0%
P95 Latency
114.9ms
Conformance
Fail
Trend
Stable
What's Being Tested
Availability
HTTP health check to the service endpoint
Responded with HTTP 401 in 107ms
ConformanceNot tested
MCP initialize handshake + tools/list
Performance
MCP ping + zero-arg tool invocation benchmarking
P95 latency: 114ms, task completion: 0%
Recent Probe Results
TimestampStatusLatencyConformance
May 20, 2026success107.2msPass
May 18, 2026success114.9msPass
May 16, 2026success113.6msPass
May 13, 2026success116.7msPass
May 13, 2026success114.7msPass
May 12, 2026success110.5msPass
May 11, 2026success111.2msPass
May 9, 2026success117.6msPass
May 7, 2026success115.9msPass
May 7, 2026success140.3msPass
Source Registries
mcp-registry
First Seen
Mar 25, 2026
Last Seen
May 20, 2026
Last Probed
May 20, 2026