DVERA（Dynamic Verification Agent）是一组面向 CT（Controller Tester）C/C++ 验证工作流的编码智能体技能，由 Suresoft Technologies 维护。它把 CT 的验证工作带入 Claude Code、Codex CLI、Cursor、GitHub Copilot 等编码智能体，利用源代码、需求、构建信息、源码变更和现有测试资产等工作上下文来准备并发起 CT 验证工作。
CT（Controller Tester）是一套面向关键任务 C/C++ 软件的测试自动化解决方案，覆盖单元测试、集成测试和基于代码的测试，集成了测试环境搭建、测试设计与生成、执行、代码覆盖率分析、报告和可追溯性管理。DVERA 并不替代 CT 的验证结果：编码智能体帮助准备和协调验证工作，CT 负责分析、构建、测试执行和结果汇总。生成的测试必须经过测试意图、数据和预期结果的审查，再以实际执行结果和实测覆盖率进行确认。
在使用方式上，该仓库的技能记录了与产品联通的验证工作流，本身并不是 CT 安装的独立替代品。在 Claude Code 中或以终端方式安装后，技能以 /dvera:ct-init-project、/dvera:ct-test-loop 等命令加载。插件会为每个会话增加约 620 个 token，每个技能正文仅在该技能运行时读取。产品化操作需要已部署的 CT 环境；若没有该环境，技能会在安装检查处停止，并提示如何联系产品支持。
工作流概览包括：为 CT 项目准备编译器、宏、包含路径、工具链和目标上下文；分析项目并通过受控反馈循环解决环境或配置问题；利用构建、执行和覆盖率反馈生成、执行并改进单元或集成测试；查看覆盖率与结果、生成报告，并在源码变更后重新运行受影响的验证。仓库提供触发示例，但响应可能因 AI 模型和对话上下文而异，若结果与预期不符，可补充细节后重试。
产品化工作流依赖已部署的 CT 和 DVERA 环境。本仓库记录了验证工作流并附带一个 MCP 服务器，把工具调用转发到本地 CT 安装，但不包含 CT 运行时或产品安装。没有部署环境时，用户可以查看仓库中记录的工作流，但需要 CT 操作的技能会在安装检查处停止，且不得声称已发生 CT 分析、执行、覆盖率测量或报告。
MCP 服务器（scripts/dvera-mcp.py）可让智能体直接使用 CT 的验证工具。连接后，智能体无需离开对话即可创建项目、运行分析、生成并执行测试、读取覆盖率，这些工具与 CT 暴露给自身智能体的工具相同。调用会转到 CT 的 ct_tool.py 入口点，服务器在调用之间不保留自身进程。连接方式有两种：其一，将 MCP 客户端指向 CT 自带的解释器，无需额外安装；Linux 上解释器位于 <CT install>/python/python3，也可使用任意 Python 3.8 或更高版本，脚本路径替换为本仓库所在位置（自行克隆或使用插件管理器安装的副本，claude plugin list 可显示插件位置），服务器从客户端工作目录获取源目录，因此需在待验证项目目录中运行客户端。其二，从本仓库的 releases 下载 dvera-mcp.mcpb，用支持安装 MCP 捆绑包的客户端打开，它会自行解析 Python，无需预先安装。若 CT 安装在默认位置之外，请设置 CT_HOME。该服务器可在任何机器上安全保留配置：无论是否安装 CT 都能启动；没有 CT 时只提供一个工具 dvera_check_environment，用于报告缺失项及处理办法；有 CT 时该工具同样存在，当验证工具未出现时应先运行它。
产品化验证的要求包括：CT 2026.06 或更高版本；有效的 CT 许可证；受支持的 C/C++ 构建与目标环境；作为已部署 CT 环境一部分提供的 DVERA 集成。产品演示、购买或部署咨询可联系 bizcenter@suresofttech.com。
该仓库中的 MCP 服务器完全在用户本机运行，不向 Suresoft Technologies 或任何第三方发送任何内容，没有遥测、分析或自身网络调用。工具参数会传递给同一台机器上的 CT 安装，CT 的响应返回给 MCP 客户端，除 CT 自身工作区外不写入任何内容。它不存储凭据，也不读取 CT 安装目录及工具调用指定路径之外的文件。CT 本身记录的任何内容（工作区、分析输出、报告）受 CT 自身的数据处理方式约束，而非本仓库。技能属于文档，不在用户机器上运行任何代码。完整政策见 PRIVACY.md；关于 CT 产品自身数据处理的问题可发送至 bizcenter@suresofttech.com。
许可证与商标方面，本仓库采用 MIT 许可证，覆盖仓库内所有内容，包括文档、技能文件和 MCP 服务器源码，但不覆盖 CT 本身：CT 和 DVERA 是 Suresoft Technologies 的产品，本仓库不授予任何产品功能或产品许可。GoogleTest 是 Google LLC 的商标，本仓库与 Google 无关联、未获其赞助或认可；其他产品名称可能是各自所有者的商标。
