dvera-mcp

DVERA — Habilidades de Verificación CT para Agentes de Codificación en C/C++

한국어: README.ko.md

DVERA (Agente de Verificación Dinámica) integra el trabajo de verificación CT de C/C++ en agentes de codificación como Claude Code, Codex CLI, Cursor y GitHub Copilot. Utiliza el contexto de trabajo del código fuente, los requisitos, la información de compilación, los cambios en el código fuente y los activos de prueba existentes para preparar y solicitar trabajos de verificación CT.

CT (Controller Tester) es una solución de automatización de pruebas para pruebas unitarias, de integración y basadas en código de software C/C++ de misión crítica. Reúne la configuración del entorno de pruebas, el diseño y la generación de pruebas, la ejecución, el análisis de cobertura de código, la generación de informes y la gestión de trazabilidad.

DVERA no reemplaza los resultados de verificación de CT. El agente de codificación ayuda a preparar y coordinar el trabajo de verificación; CT realiza el análisis, la compilación, la ejecución de pruebas y la agregación de resultados. Las pruebas generadas deben revisarse en cuanto a la intención de la prueba, los datos y los resultados esperados, y luego confirmarse con los resultados de ejecución reales y la cobertura medida.

Lo que añade el flujo de trabajo CT y DVERA

Necesidad de verificación	Flujo de trabajo CT y DVERA
Entornos C/C++ complejos	Capturar las condiciones del compilador, macros, rutas de inclusión, cadena de herramientas, compilación y destino antes del análisis.
Verificación unitaria y de integración	Diseñar y ejecutar pruebas a nivel de función, módulo e interfaz, incluidos los activos existentes de GoogleTest cuando corresponda.
Evidencia revisable	Conectar la intención de la prueba, los resultados de ejecución, la cobertura de sentencias/ramas/MC/DC, los informes y los enlaces de requisitos para su revisión.
Verificación repetida de cambios	Volver a ejecutar las pruebas afectadas después de los cambios de código y revisar nuevos fallos y deltas de cobertura para el seguimiento de regresiones.
Trabajo de pruebas asistido por IA	Usar el código, los requisitos y el contexto de cambios para preparar el trabajo de pruebas y luego mejorarlo con el análisis de CT y los resultados medidos.

Flujo de trabajo de un vistazo

1. Preparar el contexto del compilador, macros, rutas de inclusión, cadena de herramientas y destino para un proyecto CT.
2. Analizar el proyecto y resolver problemas de entorno o configuración mediante un bucle de retroalimentación controlado.
3. Generar, ejecutar y mejorar pruebas unitarias o de integración utilizando la compilación, la ejecución y la retroalimentación de cobertura.
4. Revisar la cobertura y los resultados, producir informes y volver a ejecutar la verificación afectada después de los cambios en el código fuente.

Las Skills de este repositorio documentan ese flujo de trabajo conectado al producto. No son reemplazos independientes de una instalación de CT.

Instalación

En Claude Code:

/plugin marketplace add SuresoftTechnologies/dvera-plugin
/plugin install dvera@suresofttech

O desde una terminal:

claude plugin marketplace add SuresoftTechnologies/dvera-plugin
claude plugin install dvera@suresofttech

Las Skills se cargan entonces como /dvera:ct-init-project, /dvera:ct-test-loop, y así sucesivamente. El plugin añade alrededor de 620 tokens a cada sesión; el cuerpo de cada Skill se lee solo cuando esa Skill se ejecuta.

Las acciones respaldadas por el producto requieren un entorno CT implementado. Sin uno, una Skill se detiene en su comprobación de instalación y muestra cómo contactar con el soporte del producto.

Solicitudes de ejemplo

Ejemplos de activación de la guía del usuario de CT. Las respuestas pueden variar según el modelo de IA y el contexto de la conversación; si el resultado difiere de lo esperado, reformula la solicitud con más detalle y vuelve a intentarlo.

Solicitud	Skill
Create a CT project and start verification.	ct-init-project
Run tests in CT.	ct-init-project
Generate tests for the calculate_checksum function.	ct-test-loop
Find functions without tests and generate tests for them.	ct-test-loop
Run regression tests.	ct-regression
Open CT.	ct-open

Skills

Todas las Skills requieren un entorno CT implementado para sus acciones respaldadas por el producto y se detienen con un aviso de instalación cuando no se encuentra ninguna.

Skill	Etapa del flujo de trabajo CT
ct-init-project	Iniciar o preparar un proyecto de verificación CT.
ct-extract-macro	Capturar macros del compilador de destino y hechos del entorno de compilación.
ct-make-conf	Preparar la configuración de análisis para la cadena de herramientas seleccionada.
ct-setup-project	Crear el proyecto CT y aplicar las entradas de compilación.
ct-analysis-loop	Analizar el proyecto y resolver problemas de configuración o cadena de herramientas.
ct-test-loop	Generar, ejecutar y mejorar pruebas.
ct-kb-update	Registrar observaciones verificadas del flujo de trabajo después de una ejecución CT completada.
ct-regression	Volver a ejecutar pruebas existentes después de un cambio de código y revisar los deltas.
ct-self-healing	Ejecutar la recopilación de evidencia de regresión e identificar candidatos de revisión de Auto-Curación de CT.
ct-run-gtest	Volver a ejecutar activos de GoogleTest registrados en CT y revisar resultados y cobertura.
ct-req-to-test	Generar y ejecutar una prueba de IA de CT a partir de requisitos aprobados.
ct-report	Exportar evidencia de ejecución y cobertura.
ct-open	Abrir el proyecto CT para inspección visual.
ct-orchestrator	Reanudar la etapa apropiada de un flujo de trabajo de verificación en curso.

Flujo de trabajo respaldado por el producto

DVERA funciona con un entorno CT y DVERA implementado. Este repositorio documenta el flujo de trabajo de verificación e incluye un servidor MCP que reenvía llamadas de herramientas a una instalación local de CT, pero no incluye el tiempo de ejecución de CT ni la instalación del producto.

Sin el entorno implementado, los usuarios pueden inspeccionar el flujo de trabajo documentado de este repositorio, pero una Skill que necesite acciones de CT se detiene en su comprobación de instalación. No debe afirmar que se ha producido análisis de CT, ejecución, medición de cobertura o generación de informes.

Herramientas MCP

Proporciona al agente las herramientas de verificación de CT directamente. Con el servidor MCP (scripts/dvera-mcp.py) conectado, puede crear el proyecto, ejecutar análisis, generar y ejecutar pruebas, y leer la cobertura sin salir de la conversación: las mismas herramientas que CT expone a su propio agente. Las llamadas van al punto de entrada ct_tool.py de CT, y el servidor no mantiene ningún proceso propio entre ellas.

Conéctalo de una de dos maneras.

Apunta un cliente MCP al intérprete que CT ya incluye — sin instalación adicional:

{
  "mcpServers": {
    "dvera": {
      "command": "C:/Program Files/Suresoft/CT 2026/python/python.exe",
      "args": ["/path/to/dvera-plugin/scripts/dvera-mcp.py"]
    }
  }
}

En Linux, el intérprete está en <CT install>/python/python3. Cualquier Python 3.8 o posterior funciona si prefieres usar el tuyo propio. Reemplaza la ruta del script con donde se encuentre este repositorio: clónalo o usa la copia que instaló el gestor de plugins (claude plugin list muestra dónde viven los plugins). El servidor toma el directorio fuente del directorio de trabajo del cliente, así que ejecuta el cliente desde el proyecto que quieras verificar.

O instala el paquete desde los lanzamientos de este repositorio: descarga dvera-mcp.mcpb y ábrelo con un cliente que instale paquetes MCP. Resuelve su propio Python, por lo que no hay que instalar nada primero.

Establece CT_HOME si CT está instalado fuera de la ubicación predeterminada. El servidor es seguro de dejar configurado en cualquier máquina: se inicia de cualquier manera y simplemente no ofrece herramientas hasta que CT esté presente.

Requisitos para la verificación respaldada por el producto

• CT 2026.06 o posterior
• Una licencia válida de CT
• Un entorno de compilación y destino C/C++ compatible
• Integración de DVERA proporcionada como parte del entorno CT implementado

Para una demostración del producto, compra o consulta de implementación, contacta con bizcenter@suresofttech.com.

Política de privacidad

El servidor MCP de este repositorio se ejecuta completamente en tu máquina.

• No envía nada a Suresoft Technologies ni a terceros. No hay telemetría, ni análisis, ni llamadas de red propias.
• Los argumentos de las herramientas se pasan a la instalación de CT en la misma máquina, y la respuesta de CT se devuelve a tu cliente MCP. No se escribe nada fuera del propio espacio de trabajo de CT.
• No almacena credenciales ni lee archivos más allá del directorio de instalación de CT y las rutas que nombra una llamada de herramienta.
• Cualquier cosa que CT mismo registre — espacios de trabajo, salida de análisis, informes — se rige por el propio manejo de esos datos por parte de CT, no por este repositorio.

Las Skills son documentación: no contienen código que se ejecute en tu máquina.

La política completa está en PRIVACY.md. Las preguntas sobre el manejo de datos en el producto CT en sí van a bizcenter@suresofttech.com.

Licencia y marcas comerciales

Este repositorio está licenciado bajo la Licencia MIT. La licencia cubre todo en este repositorio: la documentación, los archivos de Skills y el código fuente del servidor MCP. No cubre CT en sí: CT y DVERA son productos de Suresoft Technologies, y ninguna funcionalidad del producto ni licencia del producto se otorga mediante este repositorio.

GoogleTest es una marca comercial de Google LLC. Este repositorio no está afiliado, patrocinado ni respaldado por Google. Otros nombres de productos pueden ser marcas comerciales de sus respectivos propietarios.