com.axiomatic-ai/prover
com.axiomatic-ai/prover
Stale
updated 6 months ago
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
Status
Stale
Heuristic on registry updatedAt: alive ≤ 90 days, stale ≤ 365, dead older. Not a security judgment.
Last verified
2026-02-23 (6 months ago)
From registry metadata (updatedAt / publishedAt).
Project activity
github.com/Axiomatic-AI/ax-prover-base-mcp
GitHub vitals (stars, last push, releases) are the next enrichment pass.
Project context
Official / community classification is not automated yet.
Registry details
| Registry name | com.axiomatic-ai/prover |
|---|---|
| Version | 0.1.0 |
| Published | 2026-02-23 |
| Updated | 2026-02-23 |
| Registry status | active |
| Repository | https://github.com/Axiomatic-AI/ax-prover-base-mcp |
| Remote endpoint | https://prover.axiomatic-ai.com/mcp/ |
| Transports | streamable-http |
| Last checked | 2026-08-24 — from the registry snapshot this page was generated from |
Source: official MCP registry. Status labels are freshness heuristics, not security judgments.