Desarrollo · Servidor MCP local
DVERA CT verification tools
DVERA drives CT verification of mission-critical C/C++: setup, analysis, tests, coverage.
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
io.github.SuresoftTechnologies/dvera-mcp- Versión
- 0.1.4
- Estado
- Activo
- Categoría
- desarrollo
- Transporte
- stdio (proceso local)
- Paquete
- MCP Bundle (.mcpb)
- Publicado
- 22 de septiembre de 2026
- Actualizado
- 22 de septiembre de 2026
- Editor
- SuresoftTechnologies (GitHub)
- Espacio de nombres
- Espacio de nombres verificado por el MCP Registry mediante GitHub (github.com/SuresoftTechnologies) · cómo
- Repositorio
- github.com/SuresoftTechnologies/dvera-plugin
- Fuente
- Entrada en la API del registro
Paquetes
| Registro | Paquete | Versión | Transporte |
|---|---|---|---|
| MCP Bundle (.mcpb) | https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.4/dvera-mcp.mcpbIndica suma de comprobación SHA-256 | - | stdio |
Cómo conectar DVERA CT verification tools
DVERA CT verification tools se ejecuta en local a partir de un MCP Bundle: un único archivo descargable que contiene un servidor local y un manifiesto que lo describe: https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.4/dvera-mcp.mcpb. Usa MCP mediante stdio, así que el cliente lo inicia como programa y se comunica con él a través de la entrada y salida estándar. Necesita un cliente que instale MCP Bundles; el archivo se abre en ese cliente o se añade a él.
Obtenido de la entrada del registro, sin probar aquí. 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 desarrollo
| Servidor | Ejecución |
|---|---|
| DugganUSA CLI - Local STDIO MCPLocal STDIO MCP for DugganUSA threat intel. 1.13M IOCs. Read-only. npm: dugganusa-cli. | Local · stdio |
| dungbeetle.devVisual regression & snapshot testing for AI agents - list runs, read semantic diffs, review. | Local · stdio |
| Duplicati MCPMCP server for Duplicati backup management - list, run, monitor and configure jobs from an LLM. | Local · HTTP |
| DvalincodeDeterministic security scanning, no model or API key, plus offline-verifiable proof a fix worked. | Local · stdio |
| DvtDashboards as data. Author, validate, render, and share dvt dashboards from any MCP client. | Remoto · HTTPComprobación en directo: requiere inicio de sesión |
| dxpert.ai - free UNS tools (no API key)Free Sparkplug B topic linting, UNS naming checks and AI-readiness screening. No API key. | Local · stdio |
| DynadotMCP server for Dynadot domain registrar - domain search, registration, DNS, and transfers. | Local · stdio |
| Dynamic Health MonitorGive it one seed; it finds every service and checks HTTP, TCP, SSL and DNS. | Remoto · HTTPComprobación en directo: ✓ negociación inicial |