com.axiomatic-ai/prover
streamable-httpremote
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
Details
- Publisher
- com.axiomatic-ai
- Canonical name
- com.axiomatic-ai/prover
- Transports
- streamable-http
- Runtime
- remote
- Auth model
- none
- Status
- active