com.axiomatic-ai
prover
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
Hosted
Streamable HTTPofficialserviceDeployment
Hosted
streamable-http
https://prover.axiomatic-ai.com/mcp/Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
https://prover.axiomatic-ai.com/mcp/