com.axiomatic-ai/proverother

prover

Verified · 11 days ago

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

Install

claude mcp add --transport http prover https://prover.axiomatic-ai.com/mcp/

Our take

This is a Lean 4 and Mathlib MCP server for compiling code, checking proofs, and formalizing mathematics. It is for researchers, students, and engineers already comfortable with theorem proving or learning that ecosystem. The functionality is concrete and technically serious, but the zero-star signal suggests early-stage adoption or limited visibility rather than broad maturity.

reviewed by hand · 2026-07-14

Something wrong or dead here? Report it

Verification record

last verified
11 days ago
github stars
0
last commit
6 mo ago
archived
no
in registry since
2026-02-23

github.com/Axiomatic-AI/ax-prover-base-mcp

More in other

browse all →
chrome-devtools-mcpother

Chrome DevTools MCP

Verified · 3 days ago

MCP server for Chrome DevTools

hand-reviewed49k starschecked 3 days ago

reactive-resumeother

Reactive Resume

Verified · 3 days ago

Free open-source resume builder with remote MCP tools for resumes and job applications.

hand-reviewed41k starschecked 3 days ago

mcp-server-commandsother

mcp-server-commands

Verified · 3 days ago

An MCP server to run arbitrary commands

hand-reviewed39k stars221 dl/wkchecked 3 days ago

mcpother

PostHog MCP Server

Verified · 5 days ago

Official PostHog MCP Server for product analytics, feature flags, experiments, and more.

hand-reviewed38k starschecked 5 days ago

mcpother

Keploy

Verified · 18 days ago

End-to-end API testing — generate and run tests from OpenAPI, curl, Postman, or real user traffic.

hand-reviewed18k starschecked 18 days ago

coderother

Coder

Verified · 19 days ago

Manage Coder workspaces, templates, and cloud development environments

hand-reviewed14k starschecked 19 days ago