DVERA MCP
DVERA provides agent skills for Controller Tester (CT) C/C++ verification workflows. It enables coding agents to prepare and coordinate verification tasks, including project setup, static analysis, test generation, execution, coverage analysis, and reporting for mission-critical software.
Package and access
Local package with source-attributed installation metadata. Koskamo does not execute packages during review.
What you can do with it
- Prepare compiler and build context for CT projects
- Generate and execute unit or integration tests
- Analyze code coverage and verification results
- Re-run affected tests after source code changes
Source and maintenance
Community listingRegistry 0.1.4
- Maintenance checked
Packages and installation
Source-provided package data. Koskamo has not executed or live-probed this package.
https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.4/dvera-mcp.mcpb
mcpbSHA-256 supplied
https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.4/dvera-mcp.mcpb package definition
{
"transport": "stdio",
"fileSha256": "151a0d30e284c37e01a93080798cc25f975eff932055cc7919929bfd5cedc030",
"identifier": "https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.4/dvera-mcp.mcpb",
"registryType": "mcpb"
}Tools
Reported by the attributed source; not independently observed by Koskamo.
Let your agent find its tools
Find servers like DVERA MCP from your agent. Add Koskamo once to search the index for endpoints, access requirements, and client setup. Public discovery needs no key.