Données et recherche · Serveur MCP distant
SpecProof
SpecProof: Search standards specs with MCP-ready precision.
Ce qu’indique le MCP Registry
L’entrée telle que publiée dans le MCP Registry officiel (consultée le 4 octobre 2026), dernière version.
- Nom dans le registre
ai.specproof/specproof-mcp- Version
- 1.0.0
- Statut
- Actif
- Catégorie
- données et recherche
- Transport
- Streamable HTTP
- Publié
- 1 février 2026
- Mis à jour
- 1 février 2026
- Éditeur
- ai.specproof
- Espace de noms
- Espace de noms vérifié par le MCP Registry via le domaine specproof.ai · comment
- Site web
- specproof.ai
- Dépôt
- github.com/ibouazizi/specproof.git
- Source
- Entrée dans l’API du registre
Points de terminaison distants
| Transport | URL | En-têtes déclarés |
|---|---|---|
| Streamable HTTP | https://mcp.specproof.ai/ | Aucun |
Vérification en direct
Cet annuaire s’est connecté à chaque point de terminaison distant et lui a demandé sa liste d’outils. La vérification se limite à la connexion et à la liste des outils ; elle n’exécute aucun outil, ne se connecte à aucun compte et ne teste pas la sécurité.
- Joignable
- Oui (HTTP 200)
- Poignée de main
- 3gpp-spec-server 1.29.0 · protocole 2025-06-18
- Outils trouvés
17 - afficher les noms
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- Vérifié le
- 5 octobre 2026
Comment connecter SpecProof
SpecProof est un serveur MCP distant : il n’y a rien à installer. Son point de terminaison, servi en Streamable HTTP, est https://mcp.specproof.ai/. Dans un assistant qui accepte les serveurs MCP distants (souvent dans un paramètre nommé connecteurs, intégrations ou outils), ajoutez un nouveau serveur et indiquez-lui cette URL ; dans un client configuré par fichier, ajoutez-le comme serveur distant (HTTP) avec la même URL.
L’entrée du registre ne déclare aucun en-tête. Si le serveur vous demande de vous connecter, un client qui prend en charge l’autorisation MCP ouvre la page de connexion du service lui-même lors du premier accès.
Déduit de l’entrée du registre ; la vérification en direct ci-dessus indique seulement si le point de terminaison a répondu. Ce que fait le serveur, et à quelles conditions, relève de son éditeur ; consultez son dépôt ou son site web avant de lui donner accès à vos comptes ou à vos fichiers. Comment ajouter un serveur MCP à un assistant · Avant de connecter un serveur
Autres serveurs : données et recherche
| Serveur | Exécution |
|---|---|
| SparkbitesSearch 500+ curated design websites and install DESIGN.md files directly from your AI agent. | Local · stdio |
| SparkForge - 20+ Utility APIs with x402 Micropayments20+ pay-per-use APIs: image gen, crypto data, email verify, SSL check, web scraping, and more. | Distant · HTTPVérification en direct : ✗ pas de poignée de main |
| Spatial IndiaDistrict-level open data for India - Census, NFHS-5, NCRB, RBI and more, joined onto one geography. | Distant · HTTPVérification en direct : ✓ poignée de main |
| SpeclockAI Constraint Engine - enforces CLAUDE.md and.cursorrules as laws. 51 MCP tools. | Local · stdio |
| Spectre MarketsLive NQ/ES gamma levels, session paths and trade ideas from SPECTRE Markets. Research only. | Distant · HTTPVérification en direct : ✓ poignée de main |
| Spectrum Data DigitalData marketplace for AI agents: quality-scored datasets, compliance checks, x402 USDC payments. | Distant · HTTPVérification en direct : connexion requise |
| speedvault.ioRun web performance audits, get code-level fixes, crawl for SEO, and read real-user Core Web Vitals. | Local · stdio |
| Speko AIManage Speko voice-AI agents, sessions, calls, phone numbers, knowledge bases, evals, and docs. | Distant · HTTPVérification en direct : connexion requise |