Dati · Server MCP remoto
SpecProof
SpecProof: Search standards specs with MCP-ready precision.
Cosa indica il MCP Registry
La voce come pubblicata nel MCP Registry ufficiale (consultazione: 4 ottobre 2026), ultima versione.
- Nome nel registro
ai.specproof/specproof-mcp- Versione
- 1.0.0
- Stato
- Attivo
- Categoria
- dati
- Trasporto
- Streamable HTTP
- Pubblicato
- 1 febbraio 2026
- Aggiornato
- 1 febbraio 2026
- Editore
- ai.specproof
- Namespace
- Namespace verificato dal MCP Registry tramite il dominio specproof.ai · come funziona
- Sito web
- specproof.ai
- Repository
- github.com/ibouazizi/specproof.git
- Fonte
- Voce nell’API del registro
Endpoint remoti
| Trasporto | URL | Header dichiarati |
|---|---|---|
| Streamable HTTP | https://mcp.specproof.ai/ | 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 200)
- Handshake
- 3gpp-spec-server 1.29.0 · protocollo 2025-06-18
- Strumenti trovati
17 - mostra i nomi
get_spec_references,get_spec_dependents,get_relationship_graph,get_spec_metadata,get_most_referenced_specs,get_series_overview,search_specifications,semantic_search,get_document_content,list_documents,get_requirements,generate_tests,diff_spec_versions,get_schema_definitions,get_rfc_lineage,build_cross_spec_suite,get_database_stats- Data della verifica
- 5 ottobre 2026
Come collegare SpecProof
SpecProof è un server MCP remoto: non c’è niente da installare. Il suo endpoint, servito tramite Streamable HTTP, è https://mcp.specproof.ai/. 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 dati
| Server | Esecuzione |
|---|---|
| SparkbitesSearch 500+ curated design websites and install DESIGN.md files directly from your AI agent. | Locale · stdio |
| SparkForge - 20+ Utility APIs with x402 Micropayments20+ pay-per-use APIs: image gen, crypto data, email verify, SSL check, web scraping, and more. | Remoto · HTTPVerifica live: ✗ nessun handshake |
| Spatial IndiaDistrict-level open data for India - Census, NFHS-5, NCRB, RBI and more, joined onto one geography. | Remoto · HTTPVerifica live: ✓ handshake |
| SpeclockAI Constraint Engine - enforces CLAUDE.md and.cursorrules as laws. 51 MCP tools. | Locale · stdio |
| Spectre MarketsLive NQ/ES gamma levels, session paths and trade ideas from SPECTRE Markets. Research only. | Remoto · HTTPVerifica live: ✓ handshake |
| Spectrum Data DigitalData marketplace for AI agents: quality-scored datasets, compliance checks, x402 USDC payments. | Remoto · HTTPVerifica live: accesso richiesto |
| speedvault.ioRun web performance audits, get code-level fixes, crawl for SEO, and read real-user Core Web Vitals. | Locale · stdio |
| Speko AIManage Speko voice-AI agents, sessions, calls, phone numbers, knowledge bases, evals, and docs. | Remoto · HTTPVerifica live: accesso richiesto |