MCPServerStatus

Checker Directory Specs Docs Why join Pricing

Checker Directory Specs Docs Why join Pricing Sign in / Dashboard

Home/Directory/com.axiomatic-ai

com.axiomatic-ai

MCP Servers

com.axiomatic-ai/prover

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

MCPServerStatus.com

Technical infrastructure for Model Context Protocol.

Privacy Policy Terms of Service