¿Qué hace dvera-plugin?
Habilidades del agente DVERA para flujos de trabajo de verificación CT C/C++: configuración de proyectos, análisis, generación de pruebas, cobertura, informes y regresión.
Configuración del proyecto
El plugin permite configurar automáticamente un proyecto C/C++ para verificación. Utiliza el comando:
dvera setup --project-dir <ruta>
Análisis de código
Ejecuta análisis estático sobre el código fuente:
dvera analyze --config <archivo_config>
Generación de pruebas
Genera casos de prueba basados en los resultados del análisis:
dvera generate-tests --output-dir <directorio_salida>
Cobertura
Evalúa la cobertura de las pruebas generadas:
dvera coverage --report <formato>
Informes
Genera informes detallados de verificación:
dvera report --type <tipo> --output <archivo>
Regresión
Gestiona ciclos de regresión para verificar cambios:
dvera regression --baseline <etiqueta> --target <rama>
Soporte de plataformas
Este plugin es compatible con agentes de IA como Claude Code, Cursor y Codex, permitiendo integración directa en entornos de desarrollo.
Documentación adicional
Consulta el archivo SKILL.md completo para más detalles sobre comandos y parámetros específicos.