Directory / prover.axiomatic-ai.com
com.axiomatic-ai/prover working · auth
https://prover.axiomatic-ai.com/mcp/
Before you pay
- Advice
ok_requires_auth- Protocol
- mcp · streamable-http
- Last check
- 2 min ago · 40 ms · HTTP 401
- Detail
- requires authorization
Reliability
- Uptime 24 h
- 100.0%
- Uptime 7 days
- 100.0% (13 checks)
- Uptime 30 days
- 100.0% (signed daily)
- Listed by
- mcp-registry
- First seen
- 2026-11-05 22:05 UTC
Description (from the catalogue, unverified)
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
Signed history
| When | Statement | Log index |
|---|---|---|
| 2026-11-06 00:12 UTC | 313dd391…816b95 daily summary | 37515 |
Verify any statement offline: how.
For agents and owners
JSON: https://alalanet.com/v1/services/m2fz2qw5iflu34uw
Badge:
<a href="https://alalanet.com/s/m2fz2qw5iflu34uw"><img src="https://alalanet.com/badge/m2fz2qw5iflu34uw" alt="alalanet status"></a>Own this service? Get verified. Do not want it checked? See the prober page.