# prover MCP server

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

## Links
- Registry page: https://www.getdrio.com/mcp/com-axiomatic-ai-prover
- Repository: https://github.com/Axiomatic-AI/ax-prover-base-mcp

## Install
- Endpoint: https://prover.axiomatic-ai.com/mcp/
- Auth: Not captured

## Setup notes
- Remote endpoint: https://prover.axiomatic-ai.com/mcp/

## Tools
Not captured

## Resources
Not captured

## Prompts
Not captured

## Metadata
- Owner: com.axiomatic-ai
- Version: 0.1.0
- Runtime: Streamable Http
- Transports: HTTP
- License: Not captured
- Language: Not captured
- Stars: Not captured
- Updated: Feb 23, 2026
- Source: https://registry.modelcontextprotocol.io