dvera-mcp

DVERA — Habilidades de Verificação CT para Agentes de Codificação C/C++

한국어: README.ko.md

DVERA (Agente de Verificação Dinâmica) traz o trabalho de verificação CT C/C++ para agentes de codificação como Claude Code, Codex CLI, Cursor e GitHub Copilot. Ele utiliza o contexto de trabalho do código-fonte, requisitos, informações de build, alterações de código e ativos de teste existentes para preparar e solicitar trabalhos de verificação CT.

CT (Controller Tester) é uma solução de automação de testes para testes unitários, de integração e baseados em código de software C/C++ de missão crítica. Ele reúne configuração de ambiente de teste, design e geração de testes, execução, análise de cobertura de código, relatórios e gerenciamento de rastreabilidade.

DVERA não substitui os resultados de verificação do CT. O agente de codificação ajuda a preparar e coordenar o trabalho de verificação; o CT realiza a análise, o build, a execução de testes e a agregação de resultados. Os testes gerados devem ser revisados quanto à intenção do teste, dados e resultados esperados, e então confirmados com os resultados reais de execução e cobertura medida.

O que o fluxo de trabalho CT e DVERA adiciona

Necessidade de verificação	Fluxo de trabalho CT e DVERA
Ambientes C/C++ complexos	Capturar condições de compilador, macro, caminho de inclusão, toolchain, build e alvo antes da análise.
Verificação unitária e de integração	Projetar e executar testes nos níveis de função, módulo e interface, incluindo ativos GoogleTest existentes quando aplicável.
Evidências revisáveis	Conectar intenção de teste, resultados de execução, cobertura de declaração/ramo/MC/DC, relatórios e links de requisitos para revisão.
Verificação repetida de alterações	Reexecutar testes afetados após alterações de código e revisar novas falhas e deltas de cobertura para acompanhamento de regressão.
Trabalho de teste assistido por IA	Usar código, requisitos e contexto de alterações para preparar o trabalho de teste e, em seguida, melhorá-lo com análise CT e resultados medidos.

Fluxo de trabalho em resumo

1. Prepare o contexto de compilador, macro, caminho de inclusão, toolchain e alvo para um projeto CT.
2. Analise o projeto e resolva problemas de ambiente ou configuração por meio de um loop de feedback controlado.
3. Gere, execute e melhore testes unitários ou de integração usando feedback de build, execução e cobertura.
4. Revise cobertura e resultados, produza relatórios e reexecute a verificação afetada após alterações de código.

As Skills neste repositório documentam esse fluxo de trabalho conectado ao produto. Elas não são substitutos autônomos para uma instalação CT.

Instalação

No Claude Code:

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

Ou a partir de um terminal:

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

As Skills então carregam como /dvera:ct-init-project, /dvera:ct-test-loop e assim por diante. O plugin adiciona cerca de 620 tokens a cada sessão; o corpo de cada Skill é lido somente quando essa Skill é executada.

Ações apoiadas pelo produto exigem um ambiente CT implantado. Sem um, uma Skill para em sua verificação de instalação e mostra como entrar em contato com o suporte do produto.

Exemplos de solicitações

Exemplos de acionamento do guia do usuário CT. As respostas podem variar com o modelo de IA e o contexto da conversa; se o resultado for diferente do esperado, reformule a solicitação com mais detalhes e tente novamente.

Solicitação	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 as Skills exigem um ambiente CT implantado para suas ações apoiadas pelo produto e param com um aviso de instalação quando nenhum é encontrado.

Skill	Estágio do fluxo de trabalho CT
ct-init-project	Iniciar ou preparar um projeto de verificação CT.
ct-extract-macro	Capturar macros do compilador alvo e fatos do ambiente de build.
ct-make-conf	Preparar a configuração de análise para o toolchain selecionado.
ct-setup-project	Criar o projeto CT e aplicar entradas de build.
ct-analysis-loop	Analisar o projeto e resolver problemas de configuração ou toolchain.
ct-test-loop	Gerar, executar e melhorar testes.
ct-kb-update	Registrar observações de fluxo de trabalho verificadas após uma execução CT concluída.
ct-regression	Reexecutar testes existentes após uma alteração de código e revisar deltas.
ct-self-healing	Executar coleta de evidências de regressão e identificar candidatos a revisão de Self-Healing do CT.
ct-run-gtest	Reexecutar ativos GoogleTest registrados no CT e revisar resultados e cobertura.
ct-req-to-test	Gerar e executar um teste de IA do CT a partir de requisitos aprovados.
ct-report	Exportar evidências de execução e cobertura.
ct-open	Abrir o projeto CT para inspeção visual.
ct-orchestrator	Retomar o estágio apropriado de um fluxo de trabalho de verificação em andamento.

Fluxo de trabalho apoiado pelo produto

DVERA trabalha com um ambiente CT e DVERA implantado. Este repositório documenta o fluxo de trabalho de verificação e fornece um servidor MCP que encaminha chamadas de ferramentas para uma instalação CT local, mas não inclui o runtime CT ou a instalação do produto.

Sem o ambiente implantado, os usuários podem inspecionar o fluxo de trabalho documentado deste repositório, mas uma Skill que precisa de ações CT para em sua verificação de instalação. Ela não deve afirmar que análise CT, execução, medição de cobertura ou relatórios ocorreram.

Ferramentas MCP

Dê ao agente as ferramentas de verificação do CT diretamente. Com o servidor MCP (scripts/dvera-mcp.py) conectado, ele pode criar o projeto, executar análise, gerar e executar testes e ler a cobertura de volta sem sair da conversa - as mesmas ferramentas que o CT expõe ao seu próprio agente. As chamadas vão para o ponto de entrada ct_tool.py do CT, e o servidor não mantém nenhum processo próprio entre elas.

Conecte-o de uma das duas maneiras.

Aponte um cliente MCP para o interpretador que o CT já fornece - sem instalação extra:

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

No Linux, o interpretador está em <CT install>/python/python3. Qualquer Python 3.8 ou posterior funciona se você preferir usar o seu próprio. Substitua o caminho do script por onde este repositório está localizado: clone-o ou use a cópia que o gerenciador de plugins instalou (claude plugin list mostra onde os plugins ficam). O servidor obtém o diretório de origem do diretório de trabalho do cliente, portanto, execute o cliente a partir do projeto que você deseja verificar.

Ou instale o pacote dos releases deste repositório: baixe dvera-mcp.mcpb e abra-o com um cliente que instala pacotes MCP. Ele resolve seu próprio Python, então nada precisa ser instalado primeiro.

Defina CT_HOME se o CT estiver instalado fora do local padrão. O servidor é seguro para deixar configurado em qualquer máquina: ele inicia de qualquer maneira e simplesmente não oferece ferramentas até que o CT esteja lá.

Requisitos para verificação apoiada pelo produto

• CT 2026.06 ou posterior
• Uma licença CT válida
• Um ambiente de build e alvo C/C++ suportado
• Integração DVERA fornecida como parte do ambiente CT implantado

Para uma demonstração do produto, compra ou consultoria de implantação, entre em contato com bizcenter@suresofttech.com.

Política de Privacidade

O servidor MCP neste repositório é executado inteiramente na sua máquina.

• Ele não envia nada para a Suresoft Technologies ou para terceiros. Não há telemetria, nem análises, nem chamadas de rede próprias.
• Os argumentos das ferramentas são passados para a instalação CT na mesma máquina, e a resposta do CT é retornada ao seu cliente MCP. Nada é gravado fora do espaço de trabalho do próprio CT.
• Ele não armazena credenciais e não lê arquivos além do diretório de instalação do CT e dos caminhos nomeados por uma chamada de ferramenta.
• Qualquer coisa que o próprio CT registra - espaços de trabalho, saída de análise, relatórios - é regida pelo próprio tratamento desses dados pelo CT, não por este repositório.

As Skills são documentação: elas não contêm código que é executado na sua máquina.

A política completa está em PRIVACY.md. Perguntas sobre o tratamento de dados no produto CT em si devem ser enviadas para bizcenter@suresofttech.com.

Licença e marcas registradas

Este repositório é licenciado sob a Licença MIT. A licença cobre tudo neste repositório - a documentação, os arquivos de Skill e o código-fonte do servidor MCP. Ela não cobre o CT em si: CT e DVERA são produtos da Suresoft Technologies, e nenhuma funcionalidade do produto ou licença do produto é concedida por este repositório.

GoogleTest é uma marca registrada da Google LLC. Este repositório não é afiliado, patrocinado ou endossado pelo Google. Outros nomes de produtos podem ser marcas registradas de seus respectivos proprietários.