SuresoftTechnologies/dvera-plugin

Overview

A Python plugin that adds agent skills for C/C++ verification workflows using DVERA. It covers project setup, static analysis, test generation, coverage measurement, reporting, and regression testing. The plugin is hosted on GitHub under SuresoftTechnologies.

Best for

Best for
C/C++ teams using DVERA who want to automate verification tasks

Use cases

• Set up C/C++ verification projects
• Generate tests and measure coverage
• Run regression and reporting workflows

How to use

Tools exposed

• ct-init-project
• ct-extract-macro
• ct-make-conf
• ct-setup-project
• ct-analysis-loop
• ct-test-loop
• ct-kb-update
• ct-regression
• ct-self-healing
• ct-run-gtest
• ct-req-to-test
• ct-report
• ct-open
• ct-orchestrator

Tested with

Claude Code, Cursor

Notes

A Python plugin that adds agent skills for C/C++ verification workflows using DVERA. It covers project setup, static analysis, test generation, coverage measurement, reporting, and regression testing. The plugin is hosted on GitHub under SuresoftTechnologies.

0 stars on GitHub. Last updated 2026-09-22. Licensed MIT.

Use cases

• Set up C/C++ verification projects
• Generate tests and measure coverage
• Run regression and reporting workflows

Pros

• Covers the full verification lifecycle
• Python-based for easy integration and scripting
• Open source on GitHub

Cons

• No stars or community adoption yet
• Requires DVERA tooling to be useful
• Early stage with limited documentation

Indexed from awesome-mcp-servers-punkpeye and enriched against its public facts.