MCP Server · Infrastructure

prover

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

Tier 1 sealed by lossy-channel-auto
Source
https://github.com/Axiomatic-AI/ax-prover-base-mcp
Registry namespace
com.axiomatic-ai/prover
Imported from
mcp-registry
Pricing
Open Source
Added
May 26, 2026

Seal evidence

Auto-sealed Tier 1 on import from the official MCP Registry. Lossy Channel layers 1–2 to be backfilled by the Foreman.

  • L1-wash

Pinned to 0.1.0

Similar tools

MCP Server Tier 1

fastmcpruntime-mcp

A paid remote MCP for hosted MCP server, built to return verdicts, receipts, usage logs, and audit-r

📦 Infrastructure
MCP Server Tier 1

chartforge

MCP server for ChartForge — generate stunning charts and diagrams from natural language

📦 Infrastructure
MCP Server Tier 1

CalmSEO

SEO MCP server for keyword research, SERP analysis, audits, and Search Console workflows.

📦 Infrastructure
MCP Server Tier 1

mcp

An MCP server that provides congressional transcripts

📦 Infrastructure