Home › Servers › Com Axiomatic Ai Prover

Com Axiomatic Ai Prover

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

development

Quick Install

npx -y com.axiomatic-ai/prover

Version

0.1.0

Package

com.axiomatic-ai/prover

Repository

Axiomatic-AI/ax-prover-base-mcp

About Com Axiomatic Ai Prover

Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib. This MCP server enables AI assistants like Claude, ChatGPT, and other MCP-compatible clients to interact with Com Axiomatic Ai Prover functionality directly.