MCP MCP server · com.axiomatic-ai
com.axiomatic-ai/prover
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
- host stars
- 0
- 30-day movement
- starts with the next reading
- Related entries
- 1
- Connections
- 3
remotestreamable-http
- Runs
- hosted — you connect to it
- Transport
- streamable-http
- Tools
- 3
- Version
- 0.1.0
- Last release
- 2026-02-23