com.axiomatic-ai/prover
https://prover.axiomatic-ai.com/mcp/
● degraded
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
Transport
streamable-http
Auth
—
Cost
—
How to connect
MCP endpoint (streamable-http)
https://prover.axiomatic-ai.com/mcp/JSON-RPC initialize probe
curl -X POST https://prover.axiomatic-ai.com/mcp/ \
-H 'Content-Type: application/json' \
-H 'Accept: application/json, text/event-stream' \
-d '{"jsonrpc":"2.0","id":1,"method":"initialize","params":{}}'