Server record / com.axiomatic-ai/prover
prover
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
Remote endpoints
https://prover.axiomatic-ai.com/mcp/streamable-httpTool inventory
No publishable tool enumeration has been recorded.
Recent observations
This server has Registry metadata but no public verification run yet.