← all MCP servers
com.axiomatic-ai/prover
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
remote endpoints
- streamable-http https://prover.axiomatic-ai.com/mcp/
details
- version
- 0.1.0
- stars
- 0
- last commit
- 2026-03-01
- published
- 2026-02-23
last synced 2026-07-29