Odel
Home
Market
Chat
Dev
Docs
Pricing
About
Sign In
Sign Up
Home
Modules
axiomatic-ai
axiomatic-ai
1 entry
External
ax prover base mcp
📦
Remote
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
