Datos y búsqueda · Servidor MCP remoto
SpecProof
SpecProof: Search standards specs with MCP-ready precision.
Lo que indica el MCP Registry
La entrada tal como está publicada en el MCP Registry oficial (consultada el 4 de octubre de 2026), última versión.
- Nombre en el registro
ai.specproof/specproof-mcp- Versión
- 1.0.0
- Estado
- Activo
- Categoría
- datos y búsqueda
- Transporte
- Streamable HTTP
- Publicado
- 1 de febrero de 2026
- Actualizado
- 1 de febrero de 2026
- Editor
- ai.specproof
- Espacio de nombres
- Espacio de nombres verificado por el MCP Registry mediante el dominio specproof.ai · cómo
- Sitio web
- specproof.ai
- Repositorio
- github.com/ibouazizi/specproof.git
- Fuente
- Entrada en la API del registro
Endpoints remotos
| Transporte | URL | Encabezados declarados |
|---|---|---|
| Streamable HTTP | https://mcp.specproof.ai/ | Ninguno |
Comprobación en directo
Este directorio se conectó a cada endpoint remoto y pidió su lista de herramientas. La comprobación solo se conecta y lista las herramientas; no ejecuta herramientas, no inicia sesión ni prueba la seguridad.
- Accesible
- Sí (HTTP 200)
- Negociación inicial
- 3gpp-spec-server 1.29.0 · protocolo 2025-06-18
- Herramientas encontradas
17 - mostrar nombres
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- Comprobado el
- 5 de octubre de 2026
Cómo conectar SpecProof
SpecProof es un servidor MCP remoto: no hay nada que instalar. Su endpoint es https://mcp.specproof.ai/, servido mediante Streamable HTTP. En un asistente que acepte servidores MCP remotos (a menudo en un ajuste llamado conectores, integraciones o herramientas), basta con añadir un servidor nuevo e indicar esta URL; en un cliente que se configura mediante un archivo, se añade como servidor remoto (HTTP) con la misma URL.
La entrada del registro no declara encabezados. Si el servidor exige iniciar sesión, un cliente compatible con la autorización de MCP abre la página de inicio de sesión del propio servicio al conectarse por primera vez.
Obtenido de la entrada del registro; la comprobación en directo de arriba solo muestra si el endpoint respondió. Lo que hace el servidor, y en qué condiciones, lo determina su editor; conviene revisar su repositorio o sitio web antes de darle acceso a cuentas o archivos propios. Cómo añadir un servidor MCP a un asistente · Antes de conectar
Más servidores de datos y búsqueda
| Servidor | Ejecución |
|---|---|
| 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. | Remoto · HTTPComprobación en directo: ✗ sin negociación inicial |
| Spatial IndiaDistrict-level open data for India - Census, NFHS-5, NCRB, RBI and more, joined onto one geography. | Remoto · HTTPComprobación en directo: ✓ negociación inicial |
| 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. | Remoto · HTTPComprobación en directo: ✓ negociación inicial |
| Spectrum Data DigitalData marketplace for AI agents: quality-scored datasets, compliance checks, x402 USDC payments. | Remoto · HTTPComprobación en directo: requiere inicio de sesión |
| 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. | Remoto · HTTPComprobación en directo: requiere inicio de sesión |