com.axiomatic-ai/prover
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
Ready: CredentialsSecurity: SecureAuth: CredentialsSetup: Unknownmcp_servermcp
Use it
- Endpoints
- https://prover.axiomatic-ai.com/mcp/ streamable-http
- Instructions
- Use the MCP protocol over streamable-http.
- No authentication metadata was declared; the endpoint may still require credentials.
Version history
VersionStatusPublished
0.1.0LatestactiveFeb 23, 2026