Daten und Suche · Remote-MCP-Server
SpecProof
SpecProof: Search standards specs with MCP-ready precision.
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
ai.specproof/specproof-mcp- Version
- 1.0.0
- Status
- Aktiv
- Kategorie
- Daten und Suche
- Transport
- Streamable HTTP
- Veröffentlicht
- 1. Februar 2026
- Aktualisiert
- 1. Februar 2026
- Herausgeber
- ai.specproof
- Namensraum
- Namensraum von der MCP Registry über die Domain specproof.ai verifiziert · So wird verifiziert
- Website
- specproof.ai
- Repository
- github.com/ibouazizi/specproof.git
- Quelle
- Eintrag in der Registry-API
Remote-Endpunkte
| Transport | URL | Deklarierte Header |
|---|---|---|
| Streamable HTTP | https://mcp.specproof.ai/ | 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 200)
- Handshake
- 3gpp-spec-server 1.29.0 · Protokoll 2025-06-18
- Gefundene Tools
17 - Namen anzeigen
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- Geprüft am
- 5. Oktober 2026
So verbinden Sie SpecProof
SpecProof ist ein Remote-MCP-Server: Es muss nichts installiert werden. Sein Endpunkt ist https://mcp.specproof.ai/, 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 Daten und Suche
| Server | Ausführung |
|---|---|
| SparkbitesSearch 500+ curated design websites and install DESIGN.md files directly from your AI agent. | Lokal · stdio |
| SparkForge - 20+ Utility APIs with x402 Micropayments20+ pay-per-use APIs: image gen, crypto data, email verify, SSL check, web scraping, and more. | Remote · HTTPLive-Prüfung: ✗ kein Handshake |
| Spatial IndiaDistrict-level open data for India - Census, NFHS-5, NCRB, RBI and more, joined onto one geography. | Remote · HTTPLive-Prüfung: ✓ Handshake |
| SpeclockAI Constraint Engine - enforces CLAUDE.md and.cursorrules as laws. 51 MCP tools. | Lokal · stdio |
| Spectre MarketsLive NQ/ES gamma levels, session paths and trade ideas from SPECTRE Markets. Research only. | Remote · HTTPLive-Prüfung: ✓ Handshake |
| Spectrum Data DigitalData marketplace for AI agents: quality-scored datasets, compliance checks, x402 USDC payments. | Remote · HTTPLive-Prüfung: Anmeldung erforderlich |
| speedvault.ioRun web performance audits, get code-level fixes, crawl for SEO, and read real-user Core Web Vitals. | Lokal · stdio |
| Speko AIManage Speko voice-AI agents, sessions, calls, phone numbers, knowledge bases, evals, and docs. | Remote · HTTPLive-Prüfung: Anmeldung erforderlich |