# dvera-plugin

> dvera-plugin — suresofttechnologies-dvera-plugin. Use this tool when you need to streamline C/C++ verification workflows, as it provides core functionality for project setup, analysis, test generation, and reporting, accepting inputs from git and outputting coverage and regression results. It solves problems related to CT C/C++ verification, such as inefficient project setup and inadequate test coverage. Ideal for use in software development contexts where automated testing and verification are crucial.

Canonical page: https://skillsregistry.net/skills/suresofttechnologies-dvera-plugin  
JSON: https://api.skillsregistry.net/v1/skills/suresofttechnologies-dvera-plugin

## Description

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

## Trust

- **Trust score (0–1):** 0.98
- **Verification tier:** verified
- **Last scanned:** 2026-09-28

## Facts

- **Version:** 1.0.0
- **Skill type:** atomic
- **Execution layer:** container
- **Runtime environment:** vm
- **License:** MIT
- **Updated:** 2026-09-28

## Source

- **Source listing:** [GitHub](https://github.com/SuresoftTechnologies/dvera-plugin)

## Use it

Resolve this record through the SkillsRegistry MCP server (no auth, read-only):

```
claude mcp add --transport http --scope user skillsregistry https://api.skillsregistry.net/mcp
```

```json
{
  "jsonrpc": "2.0",
  "id": 1,
  "method": "tools/call",
  "params": {
    "name": "get_skill",
    "arguments": {
      "slug": "suresofttechnologies-dvera-plugin"
    }
  }
}
```

REST: `GET https://api.skillsregistry.net/v1/skills/suresofttechnologies-dvera-plugin` · pull for local use: `GET https://api.skillsregistry.net/v1/skills/suresofttechnologies-dvera-plugin/pull`

---
SkillsRegistry indexes agent skills from public registries and GitHub. Skills we have analysed are scanned with Circle-IR and scored on six dimensions; each listing states its scan coverage. More: https://skillsregistry.net/llms.txt