← 返回列表

dvera-plugin

MCP 服务器Claude Code 技能包 低风险

面向 CT C/C++ 验证工作流的 DVERA agent skills:项目搭建、分析、测试生成、覆盖率、报告与回归。

DVERA agent skills for CT C/C++ verification workflows: project setup, analysis, test generation, coverage, reporting, and regression.

怎么安装

Claude Code git clone https://github.com/SuresoftTechnologies/dvera-plugin ~/.claude/skills/dvera-plugin

简介

DVERA — CT Verification Skills for C/C++ Coding Agents 한국어: README.ko.md DVERA (Dynamic Verification Agent) brings CT C/C++ verification work into coding agents such as Claude Code, Codex CLI, Cursor, and GitHub Copilot. It uses the working context of source code, requirements, build information, source changes, and existing test assets to prepare and request CT verification work. CT (Controller Tester) is a test automation solution for unit, integration, and code-based testing of mission-critical C/C++ software. It brings together test-environment setup, test design and generation, execution,…

推荐参考

42 工具本身 · 参考星标、下载量、最近更新、安全检查和文档情况
– 用户关注 · 参考最近的查看、安装命令复制和外链访问
42 推荐程度
0访问
0独立访客
0复制安装命令
0下载点击
0外链跳转

信息

协议
MIT
语言
Python
GitHub 星标
0
月下载
–
最近更新
2026-09-22
创建于
2026-09-01

链接

GitHub ↗ 报告问题 ↗

基础安全检查

检查结果
curated 收录但无 npm 包/安装命令
收录来源
curated:punkpeye/awesome-mcp-servers
主题标签
c, claude-code, claude-code-plugin, claude-code-plugins, claude-skills, code-coverage, cpp, embedded, mcp, mcp-server, static-analysis, test-automation, unit-testing

同类推荐

Claude Code
推荐92

superpowers

obra/superpowers

一套行之有效的智能体技能框架和软件开发方法论

☆ 291.2K ↓ 1.5K 技能包 ↗
Claude CodeMCP 服务器
推荐89

rulesync

dyoshikawa/rulesync

面向 AI 编码代理的实用 CLI 工具

☆ 1.5K ↓ 914.9K 技能包 ↗
Claude Code
推荐83

dev-browser

SawyerHood/dev-browser

一个Claude技能,让你的智能体具备使用网页浏览器的能力

☆ 6.6K ↓ 14.2K 技能包 ↗
Claude CodeDeepSeek HarnessCodexMCP 服务器
推荐80

ruflo

ruvnet/claude-flow

🌊 原始的代理元框架。部署智能多智能体群体,协调自主工作流,构建对话式AI系统。具备自适应记忆、自学习智能、RAG集成,并原生集成Claude Code / Codex / Hermes等。

☆ 73.2K ↓ 77.2K 技能包 ↗