← MCPLookup
Remoteactivev0.1.0

com.axiomatic-ai/prover

com.axiomatic-ai/prover

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

No blockers found

assessed on 1 of 4 dimensions

  • ProvenanceOrigin linked to a public source repository.Official MCP Registry · as of Feb 23, 2026
    Pass
  • Behavioral trustEndpoint uptime and reputation not yet ingested.
    Pending
  • MaintenanceRepository maintenance signals not yet ingested.
    Pending
  • Manifest integrityLive manifest not yet captured — the rug-pull baseline begins at first probe.
    Pending
  • Supply chainNo installable package to scan.
    Not applicable

Connect

Remote endpoint
https://prover.axiomatic-ai.com/mcp/streamable-http

Provenance

  • Official MCP Registry · as of Feb 23, 2026 · registry-tos

Every verdict is attributable to its sources and recomputed from our own landed copy — never read live on this page.