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.

49/100
Operational Score
Score Breakdown
Availability20/30
Conformance10/30
Performance19/40
Key Metrics
Uptime 30d
96.4%
P95 Latency
167ms
Conformance
Fail
Trend
Stable
What's Being Tested
Availability
HTTP health check to the service endpoint
Responded with HTTP 401 in 121ms
ConformanceNot tested
MCP initialize handshake + tools/list
Performance
MCP ping + zero-arg tool invocation benchmarking
P95 latency: 167ms, task completion: 0%
Improvement Tips
  • -Improve uptime (currently 96.4%, target 99%+)
Recent Probe Results
TimestampStatusLatencyConformance
Apr 3, 2026success121.2msPass
Apr 3, 2026success139.6msPass
Apr 2, 2026success119.6msPass
Apr 2, 2026success139.8msPass
Apr 2, 2026success111.2msPass
Apr 2, 2026success149.3msPass
Apr 2, 2026success126.4msPass
Apr 2, 2026success168msPass
Apr 2, 2026success122.9msPass
Apr 2, 2026success132.7msPass
Source Registries
mcp-registry
First Seen
Mar 25, 2026
Last Seen
Apr 1, 2026
Last Probed
Apr 3, 2026