com.axiomatic-ai/prover

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

com.axiomatic-ai/prover · Repository · version 0.1.0 · 0 stars · listed from registry

Install

Hosted endpoint, so there is nothing to install. The probe connects straight to it:

https://prover.axiomatic-ai.com/mcp/

Results by platform

Linux

needs credentials2026-08-15 · probed over remote-http

3 recorded runs, oldest first.

handshake failed: HTTP 401: Streamable HTTP error: Error POSTing to endpoint: {"error": "invalid_token", "error_description": "Authentication required"} (endpoint reachable but requires credentials the harness does not send)

macOS

needs credentials2026-08-15 · probed over remote-http

3 recorded runs, oldest first.

handshake failed: HTTP 401: Streamable HTTP error: Error POSTing to endpoint: {"error": "invalid_token", "error_description": "Authentication required"} (endpoint reachable but requires credentials the harness does not send)

Windows

needs credentials2026-08-15 · probed over remote-http

3 recorded runs, oldest first.

handshake failed: HTTP 401: Streamable HTTP error: Error POSTing to endpoint: {"error": "invalid_token", "error_description": "Authentication required"} (endpoint reachable but requires credentials the harness does not send)

Badge

Paste this into the project README to show the current result:

[![does it install](https://img.shields.io/endpoint?url=https://doesitinstall.com/badge/com.axiomatic-ai__prover.json)](https://doesitinstall.com/s/com.axiomatic-ai__prover.html)