public evidence dossier
com.axiomatic-ai/prover
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
Latest visible observation: 2026-08-30T22:30:41.080Z
Identity
namespacedomain · observed 2026-02-23T22:16:23.957805Z
registry statusactive · observed 2026-02-23T22:16:23.957805Z
origin systemsgithub, hosted_endpoint, registry · observed 2026-08-30T22:30:41.080Z
Distribution
repositoryhttps://github.com/Axiomatic-AI/ax-prover-base-mcp · observed 2026-07-07T15:08:43.719250+00:00
npm packageUnknown · observed 2026-07-07T15:08:43.719250+00:00
PyPI packageUnknown
hosted endpointhttps://prover.axiomatic-ai.com/mcp/ · observed 2026-07-22T13:46:08.693Z
Maintenance and public findings
repository pushed2026-03-01T21:28:56Z · observed 2026-03-01T21:28:56Z
repository archivedNo · observed 2026-07-07T15:08:43.719250+00:00
npm deprecatedUnknown · observed 2026-07-07T15:08:43.719250+00:00
OSV package advisoryUnknown · observed 2026-07-07T15:08:43.719250+00:00
Hosted liveness
last endpoint observationhealthy · observed 2026-07-22T13:46:08.693Z
reported MCP revisionunknown · observed 2026-08-30 09:07:59
Limits
This dossier reports public evidence. It is not a safety, code, permission, scope, runtime, or penetration-test verdict. Missing evidence remains unknown.