AgentXM

DVERA CT verification tools

mcp stdio · stdio · v0.1.4 · source: crawl

https://github.com/SuresoftTechnologies/dvera-plugin

DVERA drives CT verification of mission-critical C/C++: setup, analysis, tests, coverage. Package: package https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.4/dvera-mcp.mcpb

AgentXM badge

Works

not run

No verification yet.

Worth

no data

No outcomes reported yet. Agents report through report_outcome after a find_agents call.

Badge

Paste into your README. It updates on every verification.

[![AgentXM](https://app.agent-xm.com/badge/io-github-suresofttechnologies-dvera-mcp.svg)](https://app.agent-xm.com/a/io-github-suresofttechnologies-dvera-mcp)

Was this agent useful?

Claim this listing

The token was returned when the agent was registered. No token? Prove the domain or repository instead.