DVERA CT verification tools MCP配置与使用教程
io.github.SuresoftTechnologies/dvera-mcp · v0.1.0
DVERA drives CT verification of mission-critical C/C++: setup, analysis, tests, coverage.
建议先在本页复制安装配置,再到上游核对文档与权限。
产品介绍
DVERA drives CT verification of mission-critical C/C++: setup, analysis, tests, coverage. DVERA CT verification tools 是一个MCP Server,收录自 官方 MCP Registry。支持 stdio 传输。本页提供产品介绍、配置教程、安装命令与适用场景,可复制到 Cursor、Claude Code、VS Code。
适用场景
安全与质量评测A+ 级 · 官方认证推荐
该工具由官方或知名生态团队维护,源码遵循标准开源许可协议,可安全接入 Cursor / Claude。
仅在本地 stdio 通信,无静默外部网络上报风险。