← Back to list

dvera-plugin

MCP ServerClaude Code Skills Low risk

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

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

How to install

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

About

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,…

Recommendation signals

42 Tool quality · Based on stars, downloads, maintenance, security and docs
– User interest · Adjusted by in-site views, install copies and download clicks
42 Overall
0views
0unique visitors
0install copies
0download clicks
0outbound clicks

Meta

License
MIT
Language
Python
GitHub stars
0
mo. downloads
–
Last push
2026-09-22
Created
2026-09-01

Links

GitHub ↗ Report issue ↗

Basic safety check

Findings
curated 收录但无 npm 包/安装命令
Sources
curated:punkpeye/awesome-mcp-servers
Topics
c, claude-code, claude-code-plugin, claude-code-plugins, claude-skills, code-coverage, cpp, embedded, mcp, mcp-server, static-analysis, test-automation, unit-testing

Related plugins

Claude Code
Score92

superpowers

obra/superpowers

An agentic skills framework & software development methodology that works.

☆ 291.2K ↓ 1.5K Skills ↗
Claude CodeMCP Server
Score89

rulesync

dyoshikawa/rulesync

A Utility CLI for AI Coding Agents

☆ 1.5K ↓ 914.9K Skills ↗
Claude Code
Score83

dev-browser

SawyerHood/dev-browser

A Claude Skill to give your agent the ability to use a web browser

☆ 6.6K ↓ 14.2K Skills ↗
Claude CodeDeepSeek HarnessCodexMCP Server
Score80

ruflo

ruvnet/claude-flow

🌊 The original agent harness. Deploy intelligent multi-player swarms, coordinate autonomous workflows, and build conversational AI systems. Features adaptive memory, self-learning intelligence, federation, vector RAG integration, and native Claude Code / Codex / Hermes and many more Integrated

☆ 73.2K ↓ 77.2K Skills ↗