Servers›com.axiomatic-ai/prover
P

com.axiomatic-ai/prover✓

com.axiomatic-ai/prover · v0.1.0
● Remote
v0.1.0▦ remote🌐 https://prover.axiomatic-ai.com/mcp/↗ Repository
ⓘOverview</>Integrate{}server.json
ⓘAbout

Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.

＋Endpoints
streamable-httphttps://prover.axiomatic-ai.com/mcp/