com.axiomatic-ai/prover
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
skipped · conformance unknown · last checked 2026-11-09T20:14:27Z · uptime 33.33% (3 checks, 1 up)
Host: prover.axiomatic-ai.com
Sources
mcp-registry
Listings
- mcp-registry · com.axiomatic-ai/[email protected]
Daily rollups
| Day | Checks | Up | Status | Conformance |
|---|---|---|---|---|
| 2026-11-08 | 1 | 0 | skipped | unknown |
| 2026-11-09 | 1 | 0 | skipped | unknown |
Recent checks
| When (UTC) | Status | Conformance | HTTP |
|---|---|---|---|
| 2026-11-09T20:14:27Z | skipped | unknown | |
| 2026-11-08T16:07:30Z | skipped | unknown | |
| 2026-10-31T23:59:54Z | up | pass | 401 |
This page was generated from the snapshot and is readable without JavaScript.