listed
com.axiomatic-ai/prover
com.axiomatic-ai · com.axiomatic-ai
MCP
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
MCP
streamable-http
https://prover.axiomatic-ai.com/mcp/
ATTRIBUTION
- mcp · last seen 2026-09-24T02:47:13.750355Z · fetched 2026-09-24T02:47:13.750355Z · https://registry.modelcontextprotocol.io/
This listing is taken from the catalogues and the provider named above. The price is what that source advertised.