Trust Directory / report
com.axiomatic-ai/prover UNKNOWN
No anonymous handshake observed — endpoints behind authentication are expected to show this result; it does not mean the server is broken.
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
| Registry name | com.axiomatic-ai/prover (v0.1.0) |
|---|---|
| Endpoint | https://prover.axiomatic-ai.com/mcp/ |
| Reported server | — |
| Protocol version | not negotiated |
| Tools exposed | unknown |
| Checked at | 2026-10-11T03:29:00.052Z |
Findings
- UNKNOWN
NO_RESPONSE— Endpoint did not complete MCP initialize + tools/list within timeout
Reproduce this report
npx @eidonze/mcpdoctor schema https://prover.axiomatic-ai.com/mcp/
Embed status: <img src="https://xka0085-byte.github.io/mcp-doctor/trust/badge/com.axiomatic-ai-prover.svg"> · Machine-readable: /api/com.axiomatic-ai-prover.json
Generated by mcpdoctor — read-only MCP initialize + tools/list. No tools were called, no payments attempted. Static schema checks do not predict model tool selection or prove behavior across all clients. Scanned: 2026-10-11.