Sonstige · Remote-MCP-Server
Prover
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
Was die MCP Registry angibt
Der Eintrag, wie er in der offiziellen MCP Registry veröffentlicht ist (Stand: 4. Oktober 2026), neueste Version.
- Registry-Name
com.axiomatic-ai/prover- Version
- 0.1.0
- Status
- Aktiv
- Kategorie
- Sonstige
- Transport
- Streamable HTTP
- Veröffentlicht
- 23. Februar 2026
- Aktualisiert
- 23. Februar 2026
- Herausgeber
- com.axiomatic-ai
- Namensraum
- Namensraum von der MCP Registry über die Domain axiomatic-ai.com verifiziert · So wird verifiziert
- Repository
- github.com/Axiomatic-AI/ax-prover-base-mcp
- Quelle
- Eintrag in der Registry-API
Remote-Endpunkte
| Transport | URL | Deklarierte Header |
|---|---|---|
| Streamable HTTP | https://prover.axiomatic-ai.com/mcp/ | Keine |
Live-Prüfung
Dieses Verzeichnis hat sich mit jedem Remote-Endpunkt verbunden und dessen Tool-Liste abgefragt. Die Prüfung stellt nur die Verbindung her und listet Tools auf; sie führt keine Tools aus, meldet sich nicht an und testet nicht die Sicherheit.
- Erreichbar
- Ja (HTTP 401)
- Handshake
- Nicht abgeschlossen: Anmeldung erforderlich
- Anmeldung erforderlich
- Ja - HTTP 401; OAuth angekündigt (die Antwort verweist auf die Autorisierungsmetadaten)
- Geprüft am
- 5. Oktober 2026
So verbinden Sie Prover
Prover ist ein Remote-MCP-Server: Es muss nichts installiert werden. Sein Endpunkt ist https://prover.axiomatic-ai.com/mcp/, bereitgestellt über Streamable HTTP. In einem Assistenten, der Remote-MCP-Server akzeptiert (oft unter einer Einstellung namens Konnektoren, Integrationen oder Tools), fügen Sie einen neuen Server hinzu und geben diese URL an; in einem Client, der per Datei konfiguriert wird, fügen Sie ihn mit derselben URL als Remote-Server (HTTP) hinzu.
Im Registry-Eintrag sind keine Header deklariert. Verlangt der Server eine Anmeldung, öffnet ein Client mit Unterstützung für MCP-Autorisierung beim ersten Verbinden die Anmeldeseite des Dienstes.
Abgeleitet aus dem Registry-Eintrag; die Live-Prüfung oben zeigt nur, ob der Endpunkt geantwortet hat. Was der Server tut und zu welchen Bedingungen, legt sein Herausgeber fest; prüfen Sie sein Repository oder seine Website, bevor Sie ihm Zugriff auf Ihre Konten oder Dateien geben. So fügen Sie einem Assistenten einen MCP-Server hinzu · Vor dem Verbinden
Weitere Server der Kategorie Sonstige
| Server | Ausführung |
|---|---|
| ProvelSenior design & engineering studio for AI and Web3. Free quotes, website audits and NDAs. | Remote · HTTPLive-Prüfung: Anmeldung erforderlich |
| Provenance MCPWash-traffic risk checks for Algorand x402 endpoints before your agent trusts or pays them. | Lokal · stdio |
| ProvenonceCryptographic identity, SIGIL naming, heartbeat, and passports for AI agents. | Lokal · stdio |
| ProvenSkills LabsAgent skills from the ProvenSkills Labs store, delivered with updates over one connector. | Remote · HTTPLive-Prüfung: Anmeldung erforderlich |
| Provider Trust - Verify a Source or ProviderVerify a source or provider before an AI agent trusts it. Evidence only; unknown stays unknown. | Remote · HTTPLive-Prüfung: ✓ Handshake |
| Proximens Oracle1000+ Generative Engine Optimization (GEO) principles exposed via MCP for AI agents. | Remote · HTTPLive-Prüfung: ✓ 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. | Lokal · stdio |
| Proxmox VEManage Proxmox VE nodes, VMs, containers, storage and snapshots. Read-only by default. | Lokal · stdio |