Raw values for com.axiomatic-ai/prover
com.axiomatic-ai/prover · Registry status: active
What the source declared verbatim, unchanged and uninterpreted. The derived values on the overview page are computed from these.
Evidence for this page: The values on this page come from several collections. Each row therefore states its own origin.
| Description (raw) | Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib. Source: MCP-Register · collected on 2026-08-26 · self-declared |
|---|---|
| Environment variables (raw) | confirmed absent Source: MCP-Register · collected on 2026-08-06 · self-declared |
| Required secret variables (raw) | confirmed absent Source: MCP-Register · collected on 2026-08-06 · self-declared |
| Transports (raw) | streamable-http Source: MCP-Register · collected on 2026-08-06 · self-declared |
| Path arguments (raw) | confirmed absent Source: MCP-Register · collected on 2026-08-06 · self-declared |
| Repository (raw) | https://github.com/Axiomatic-AI/ax-prover-base-mcp Source: MCP-Register · collected on 2026-08-06 · self-declared |
| Package registries (raw) | confirmed absent Source: MCP-Register · collected on 2026-08-06 · self-declared |
| Required secret headers (raw) | confirmed absent Source: MCP-Register · collected on 2026-08-16 · self-declared |
| Path environment variables (raw) | confirmed absent Source: MCP-Register · collected on 2026-08-16 · self-declared |
| Remote URLs (raw) | https://prover.axiomatic-ai.com/mcp/ Source: MCP-Register · collected on 2026-08-16 · self-declared |
| Remote hosts (raw) | prover.axiomatic-ai.com Source: MCP-Register · collected on 2026-08-16 · self-declared |
| Registry status message (raw) | confirmed absent Source: MCP-Register · collected on 2026-08-16 · self-declared |
| First listed in the registry (raw) | 2026-02-23 Source: MCP-Register · collected on 2026-08-16 · self-declared |
| Last changed in the registry (raw) | 2026-02-23 Source: MCP-Register · collected on 2026-08-16 · self-declared |
| Schema version of the raw record (raw) | https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json Source: MCP-Register · collected on 2026-08-16 · self-declared |
| Delivery form (raw) | remote Source: MCP-Register · collected on 2026-08-16 · self-declared |
| Repository platform (raw) | github Source: MCP-Register · collected on 2026-08-16 · self-declared |
| Repository subfolder (raw) | confirmed absent Source: MCP-Register · collected on 2026-08-16 · self-declared |
| Package identifiers (raw) | confirmed absent Source: MCP-Register · collected on 2026-08-16 · self-declared |
| Package versions (raw) | confirmed absent Source: MCP-Register · collected on 2026-08-16 · self-declared |
| Runtime hints (raw) | confirmed absent Source: MCP-Register · collected on 2026-08-16 · self-declared |
| Environment variable formats (raw) | confirmed absent Source: MCP-Register · collected on 2026-08-16 · self-declared |
| Environment variable descriptions (raw) | confirmed absent Source: MCP-Register · collected on 2026-08-16 · self-declared |
| Icon formats (raw) | confirmed absent Source: MCP-Register · collected on 2026-08-16 · self-declared |
| Connection paths (source structure) | {"packages":[],"remotes":[{"url":"https://prover.axiomatic-ai.com/mcp/","transport":"streamable-http","headers":[]}]} Source: MCP-Register · collected on 2026-09-08 · self-declared |
Position within the directory
How many of the 41,867 published entries carry the same measured value. A reference figure, not an assessment.
- Required secrets declaredno35,800 of 41,867 carry this value (86 %)View these entries
- Execution locationremote24,811 of 41,867 carry this value (59 %)View these entries
- Path argument presentno41,369 of 41,867 carry this value (99 %)View these entries
- Repository URL listedyes30,107 of 41,867 carry this value (72 %)View these entries
All 4 values together are carried by 12,814 of 41,867 entries.
tracevero · https://tracevero.com/mcp/com-axiomatic-ai-prover/rohangaben