com.axiomatic-ai/prover
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
endpoint: https://prover.axiomatic-ai.com/mcp/
registry: com.axiomatic-ai/prover
D
recent success 0% (30 probes) ·
MCP handshake FAILED
· protocol —
TLS valid (65d left) · latency 93.0 ms ·
HTTP 401 · auth required ·
tools —
manifest —
· drift events seen here: 0
Embed this grade
<a href="https://golemreach.com/trust/s/1967"> <img src="https://golemreach.com/trust/badge/1967.svg" alt="golemreach trust grade"></a>
Recent probes
| time (UTC) | ok | grade | mcp | latency | tls | tools | hash |
|---|---|---|---|---|---|---|---|
| 2026-10-13T15:27:20Z | ✗ | D | ✗ | 93.0 ms | 65d | — | — |
| 2026-10-13T09:26:42Z | ✗ | D | ✗ | 122.0 ms | 65d | — | — |
| 2026-10-13T03:25:32Z | ✗ | D | ✗ | 79.0 ms | 65d | — | — |
| 2026-10-12T21:25:10Z | ✗ | D | ✗ | 131.0 ms | 66d | — | — |
| 2026-10-12T15:24:46Z | ✗ | D | ✗ | 111.0 ms | 66d | — | — |
| 2026-10-12T09:22:25Z | ✗ | D | ✗ | 106.0 ms | 66d | — | — |
| 2026-10-12T03:19:13Z | ✗ | D | ✗ | 226.0 ms | 66d | — | — |
| 2026-10-11T21:18:46Z | ✗ | D | ✗ | 132.0 ms | 67d | — | — |
| 2026-10-11T15:18:24Z | ✗ | D | ✗ | 238.0 ms | 67d | — | — |
| 2026-10-11T09:16:47Z | ✗ | D | ✗ | 250.0 ms | 67d | — | — |
| 2026-10-11T03:15:06Z | ✗ | D | ✗ | 160.0 ms | 67d | — | — |
| 2026-10-10T21:14:45Z | ✗ | D | ✗ | 136.0 ms | 68d | — | — |
| 2026-10-10T15:12:59Z | ✗ | D | ✗ | 212.0 ms | 68d | — | — |
| 2026-10-10T09:11:18Z | ✗ | D | ✗ | 149.0 ms | 68d | — | — |
| 2026-10-10T03:09:42Z | ✗ | D | ✗ | 166.0 ms | 68d | — | — |
| 2026-10-09T21:08:42Z | ✗ | D | ✗ | 175.0 ms | 69d | — | — |
| 2026-10-09T15:07:59Z | ✗ | D | ✗ | 188.0 ms | 69d | — | — |
| 2026-10-09T09:07:05Z | ✗ | D | ✗ | 149.0 ms | 69d | — | — |
| 2026-10-09T03:06:11Z | ✗ | D | ✗ | 268.0 ms | 69d | — | — |
| 2026-10-08T21:05:49Z | ✗ | D | ✗ | 137.0 ms | 70d | — | — |
| 2026-10-08T15:04:15Z | ✗ | D | ✗ | 132.0 ms | 70d | — | — |
| 2026-10-08T09:03:10Z | ✗ | D | ✗ | 104.0 ms | 70d | — | — |
| 2026-10-08T03:02:23Z | ✗ | D | ✗ | 92.0 ms | 70d | — | — |
| 2026-10-07T21:01:05Z | ✗ | D | ✗ | 106.0 ms | 71d | — | — |
| 2026-10-07T15:00:50Z | ✗ | D | ✗ | 306.0 ms | 71d | — | — |
| 2026-10-07T08:59:12Z | ✗ | D | ✗ | 176.0 ms | 71d | — | — |
| 2026-10-07T02:58:12Z | ✗ | D | ✗ | 182.0 ms | 71d | — | — |
| 2026-10-06T20:57:09Z | ✗ | D | ✗ | 137.0 ms | 72d | — | — |
| 2026-10-06T14:56:24Z | ✗ | D | ✗ | 168.0 ms | 72d | — | — |
| 2026-10-06T08:54:46Z | ✗ | D | ✗ | 82.0 ms | 72d | — | — |