DVERA CT verification tools MCP Server

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