DVERA CT verification tools MCP

v0.1.4

io.github.suresofttechnologies/dvera-mcp

DVERA drives CT verification of mission-critical C/C++: setup, analysis, tests, coverage.

transport:stdio runtime:mcpb

This listing carries neither a published package nor a remote endpoint, so there is no ready-made client configuration. See the repository or website for setup instructions.

This listing does not declare its tools. Connect the server and your client will discover them on the handshake.

Runtime

Transport stdio

Registry mcpb

Package https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.4/dvera-mcp.mcpb

Version 0.1.4

Provenance Official registry

Want a slot? Make an offer

Registry record

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

Synced 10 h ago

JSON API /api/v0/servers/io.github.suresofttechnologies/dvera-mcp