Overig · Externe MCP-server
Prover
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
Wat de MCP Registry vermeldt
De vermelding zoals gepubliceerd in de officiële MCP Registry (geraadpleegd op 4 oktober 2026), nieuwste versie.
- Registernaam
com.axiomatic-ai/prover- Versie
- 0.1.0
- Status
- Actief
- Categorie
- overig
- Transport
- Streamable HTTP
- Gepubliceerd
- 23 februari 2026
- Bijgewerkt
- 23 februari 2026
- Uitgever
- com.axiomatic-ai
- Namespace
- Namespace door de MCP Registry geverifieerd via het domein axiomatic-ai.com · hoe
- Repository
- github.com/Axiomatic-AI/ax-prover-base-mcp
- Bron
- Vermelding in de register-API
Externe endpoints
| Transport | URL | Opgegeven headers |
|---|---|---|
| Streamable HTTP | https://prover.axiomatic-ai.com/mcp/ | Geen |
Livecontrole
Deze directory heeft verbinding gemaakt met elk extern endpoint en om de lijst met tools gevraagd. De controle maakt alleen verbinding en vraagt de tools op; ze voert geen tools uit, logt niet in en test de beveiliging niet.
- Bereikbaar
- Ja (HTTP 401)
- Handshake
- Niet voltooid: inloggen vereist
- Inloggen vereist
- Ja - HTTP 401; OAuth aangeboden (het antwoord verwijst naar de autorisatiemetadata)
- Gecontroleerd op
- 5 oktober 2026
Zo verbind je Prover
Prover is een externe MCP-server: er hoeft niets te worden geïnstalleerd. Het endpoint is https://prover.axiomatic-ai.com/mcp/, aangeboden via Streamable HTTP. Voeg in een assistent die externe MCP-servers accepteert (vaak onder een instelling met de naam connectors, integraties of tools) een nieuwe server toe en geef die deze URL; voeg hem in een client die via een bestand wordt geconfigureerd toe als externe (HTTP-)server met dezelfde URL.
De registervermelding geeft geen headers op. Als je voor de server moet inloggen, opent een client die MCP-autorisatie ondersteunt bij de eerste verbinding de eigen inlogpagina van de dienst.
Afgeleid van de registervermelding; de livecontrole hierboven laat alleen zien of het endpoint antwoordde. Wat de server doet en onder welke voorwaarden, bepaalt de uitgever; bekijk de repository of website voordat je de server toegang geeft tot je accounts of bestanden. Een MCP-server aan een assistent toevoegen · Voordat je verbinding maakt
Meer servers in de categorie overig
| Server | Draait |
|---|---|
| ProvelSenior design & engineering studio for AI and Web3. Free quotes, website audits and NDAs. | Extern · HTTPLivecontrole: inloggen vereist |
| Provenance MCPWash-traffic risk checks for Algorand x402 endpoints before your agent trusts or pays them. | Lokaal · stdio |
| ProvenonceCryptographic identity, SIGIL naming, heartbeat, and passports for AI agents. | Lokaal · stdio |
| ProvenSkills LabsAgent skills from the ProvenSkills Labs store, delivered with updates over one connector. | Extern · HTTPLivecontrole: inloggen vereist |
| Provider Trust - Verify a Source or ProviderVerify a source or provider before an AI agent trusts it. Evidence only; unknown stays unknown. | Extern · HTTPLivecontrole: ✓ handshake |
| Proximens Oracle1000+ Generative Engine Optimization (GEO) principles exposed via MCP for AI agents. | Extern · HTTPLivecontrole: ✓ handshake |
| Proximo - the Proxmox MCP you can hand the keysThe Proxmox MCP you can hand the keys: VE/PBS/PMG/PDM. Plan, prove, undo, diagnose. MCP/A2A/API. | Lokaal · stdio |
| Proxmox VEManage Proxmox VE nodes, VMs, containers, storage and snapshots. Read-only by default. | Lokaal · stdio |