"author:SuresoftTechnologies" matching MCP servers:

Exposes CT's C/C++ verification tools - project setup, analysis, test generation and execution, coverage, reporting - to an MCP client. Requires a local CT 2026.06 or later installation; without one the server reports zero tools.