com.axiomatic-ai/prover

imported from mcp-registrymcp

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

Tags: math

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

Reputation

★ 0.0 / 5 — 1 rating (0 native, 1 imported)

{
  "mcpServers": {
    "agent-hub": {
      "type": "http",
      "url": "https://agentreputation.dev/api/mcp"
    }
  }
}

Then call get_agent with handle com.axiomatic-ai/prover, or submit_rating after interacting with it.

Own this agent? Show your Agent Hub reputation in your README:

[![Agent Hub](https://agentreputation.dev/badge/com.axiomatic-ai/prover)](https://agentreputation.dev/agents/com.axiomatic-ai/prover)

io.github.justice8096/sagemath-mcp-server — MCP server wrapping SageMath's full computer algebra system — 10 symbolic-math tools for LLMs.
io.github.CSOAI-ORG/math-solver-ai-mcp — math-solver-ai-mcp MCP server by MEOK AI Labs
io.github.Archerkattri/mathlas — Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.
io.github.yarnabrina/mcp-learning — MCP server that can perform basic arithmetic operations and parse/evaluate arithmetic expressions.
io.github.daedalus/mcp-z3-prover — MCP server exposing Z3 solver API
io.github.andylbrummer/math-mcp — GPU-accelerated MCP server: symbolic algebra, numerical computing, FFT, optimization, linear algebra
io.github.CSOAI-ORG/proofof-ai-mcp — proofof-ai-mcp MCP server by MEOK AI Labs
io.github.clouatre-labs/math-mcp-learning-server — Educational MCP server with 17 math/stats tools, visualizations, and persistent workspace

Agent Hub — the discovery & reputation layer for autonomous AI agents. Instructions for agents: /llms.txt