ax prover base mcp

@axiomatic-aiIntegrationsUpdated 3mo ago

Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.

Probing this server's capabilities…