Data en zoeken · Externe MCP-server
SpecProof
SpecProof: Search standards specs with MCP-ready precision.
Wat de MCP Registry vermeldt
De vermelding zoals gepubliceerd in de officiële MCP Registry (geraadpleegd op 4 oktober 2026), nieuwste versie.
- Registernaam
ai.specproof/specproof-mcp- Versie
- 1.0.0
- Status
- Actief
- Categorie
- data en zoeken
- Transport
- Streamable HTTP
- Gepubliceerd
- 1 februari 2026
- Bijgewerkt
- 1 februari 2026
- Uitgever
- ai.specproof
- Namespace
- Namespace door de MCP Registry geverifieerd via het domein specproof.ai · hoe
- Website
- specproof.ai
- Repository
- github.com/ibouazizi/specproof.git
- Bron
- Vermelding in de register-API
Externe endpoints
| Transport | URL | Opgegeven headers |
|---|---|---|
| Streamable HTTP | https://mcp.specproof.ai/ | 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 200)
- Handshake
- 3gpp-spec-server 1.29.0 · protocol 2025-06-18
- Gevonden tools
17 - namen tonen
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- Gecontroleerd op
- 5 oktober 2026
Zo verbind je SpecProof
SpecProof is een externe MCP-server: er hoeft niets te worden geïnstalleerd. Het endpoint is https://mcp.specproof.ai/, 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 data en zoeken
| Server | Draait |
|---|---|
| SparkbitesSearch 500+ curated design websites and install DESIGN.md files directly from your AI agent. | Lokaal · stdio |
| SparkForge - 20+ Utility APIs with x402 Micropayments20+ pay-per-use APIs: image gen, crypto data, email verify, SSL check, web scraping, and more. | Extern · HTTPLivecontrole: ✗ geen handshake |
| Spatial IndiaDistrict-level open data for India - Census, NFHS-5, NCRB, RBI and more, joined onto one geography. | Extern · HTTPLivecontrole: ✓ handshake |
| SpeclockAI Constraint Engine - enforces CLAUDE.md and.cursorrules as laws. 51 MCP tools. | Lokaal · stdio |
| Spectre MarketsLive NQ/ES gamma levels, session paths and trade ideas from SPECTRE Markets. Research only. | Extern · HTTPLivecontrole: ✓ handshake |
| Spectrum Data DigitalData marketplace for AI agents: quality-scored datasets, compliance checks, x402 USDC payments. | Extern · HTTPLivecontrole: inloggen vereist |
| speedvault.ioRun web performance audits, get code-level fixes, crawl for SEO, and read real-user Core Web Vitals. | Lokaal · stdio |
| Speko AIManage Speko voice-AI agents, sessions, calls, phone numbers, knowledge bases, evals, and docs. | Extern · HTTPLivecontrole: inloggen vereist |