Altro · Server MCP remoto
Prover
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
Cosa indica il MCP Registry
La voce come pubblicata nel MCP Registry ufficiale (consultazione: 4 ottobre 2026), ultima versione.
- Nome nel registro
com.axiomatic-ai/prover- Versione
- 0.1.0
- Stato
- Attivo
- Categoria
- altro
- Trasporto
- Streamable HTTP
- Pubblicato
- 23 febbraio 2026
- Aggiornato
- 23 febbraio 2026
- Editore
- com.axiomatic-ai
- Namespace
- Namespace verificato dal MCP Registry tramite il dominio axiomatic-ai.com · come funziona
- Repository
- github.com/Axiomatic-AI/ax-prover-base-mcp
- Fonte
- Voce nell’API del registro
Endpoint remoti
| Trasporto | URL | Header dichiarati |
|---|---|---|
| Streamable HTTP | https://prover.axiomatic-ai.com/mcp/ | Nessuno |
Verifica live
Questa directory si è collegata a ogni endpoint remoto e ne ha richiesto l’elenco degli strumenti. La verifica si limita a collegarsi e a elencare gli strumenti; non li esegue, non effettua l’accesso e non testa la sicurezza.
- Raggiungibile
- Sì (HTTP 401)
- Handshake
- Non completato: accesso richiesto
- Accesso richiesto
- Sì - HTTP 401; OAuth annunciato (la risposta rimanda ai suoi metadati di autorizzazione)
- Data della verifica
- 5 ottobre 2026
Come collegare Prover
Prover è un server MCP remoto: non c’è niente da installare. Il suo endpoint, servito tramite Streamable HTTP, è https://prover.axiomatic-ai.com/mcp/. In un assistente che accetta server MCP remoti (spesso in un’impostazione chiamata connettori, integrazioni o strumenti) si aggiunge un nuovo server indicando questo URL; in un client configurato tramite file lo si aggiunge come server remoto (HTTP) con lo stesso URL.
La voce del registro non dichiara alcun header. Se il server richiede l’accesso, un client che supporta l’autorizzazione MCP apre la pagina di accesso del servizio alla prima connessione.
Ricavato dalla voce del registro; la verifica live riportata sopra mostra solo se l’endpoint ha risposto. Cosa fa il server, e a quali condizioni, lo stabilisce il suo editore; prima di concedergli l’accesso ai propri account o file conviene consultarne il repository o il sito web. Come aggiungere un server MCP a un assistente · Prima di collegare un server
Altri server della categoria altro
| Server | Esecuzione |
|---|---|
| ProvelSenior design & engineering studio for AI and Web3. Free quotes, website audits and NDAs. | Remoto · HTTPVerifica live: accesso richiesto |
| Provenance MCPWash-traffic risk checks for Algorand x402 endpoints before your agent trusts or pays them. | Locale · stdio |
| ProvenonceCryptographic identity, SIGIL naming, heartbeat, and passports for AI agents. | Locale · stdio |
| ProvenSkills LabsAgent skills from the ProvenSkills Labs store, delivered with updates over one connector. | Remoto · HTTPVerifica live: accesso richiesto |
| Provider Trust - Verify a Source or ProviderVerify a source or provider before an AI agent trusts it. Evidence only; unknown stays unknown. | Remoto · HTTPVerifica live: ✓ handshake |
| Proximens Oracle1000+ Generative Engine Optimization (GEO) principles exposed via MCP for AI agents. | Remoto · HTTPVerifica live: ✓ 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. | Locale · stdio |
| Proxmox VEManage Proxmox VE nodes, VMs, containers, storage and snapshots. Read-only by default. | Locale · stdio |