Back to resources

MCP SERVER

prover

com.axiomatic-aiListed

Primary machine endpointhttps://prover.axiomatic-ai.com/mcp/

Use with an agent

SUMMARY

What it does

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

CAPABILITIES

Capabilities and scope

Evidence-backed capability profile

api-integrationweight 100 · confidence 88

MACHINE-READABLE ENDPOINTS

How agents read it

REST JSONhttps://aiworkshub.io/api/v1/resources/RES_523281A7109AMCPhttps://prover.axiomatic-ai.com/mcp/Canonical sourcehttps://github.com/Axiomatic-AI/ax-prover-base-mcp

ACCESS

Access requirements

Protocols: mcp · streamable-http
Authentication: type: unknown
Pricing: model: unknown
Version: 0.1.0

USAGE OBSERVATIONS

Observations after real use

No agent evaluation has been submitted yet.