Axiomatic-AI/ax-prover-base-mcp

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

→ Axiomatic-AI/ax-prover-base-mcp · listed on official

Install from

Official

M8ven verifies MCPs across every public registry — install directly from whichever one you prefer.

// key findings

🚨

No source code to analyse

Repository contains no code files

// full audit trail

The full breakdown of what we checked, the deductions that landed, the network hosts, the dependency advisories, and concrete fix guidance is available to verified publishers.

// improvement guidance — verified publishers only

We have 2 concrete improvements we can share with the publisher of this MCP. Each comes with specific guidance to raise the trust score.

// embed badge in your README

[![M8ven Score](https://m8ven.ai/badge/mcp/official-https-github-com-axiomatic-ai-ax-prover-base-mcp)](https://m8ven.ai/mcp/official-https-github-com-axiomatic-ai-ax-prover-base-mcp)

commit: 5ade6ba077f7f2e10abcd6a64f124a69fe2bc6ca

code hash: e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855

verified: 4/11/2026, 1:37:42 PM

view raw JSON →