Odel

axiomatic-ai

1 module published

External
ax prover base mcp
ax prover base mcp
📦Integrations
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.