{"server":{"id":"suresofttechnologies-dvera-plugin-86f943221cbf","name":"SuresoftTechnologies/dvera-plugin","title":"SuresoftTechnologies/dvera-plugin","description":"Drives Controller Tester (CT) C/C++ verification: project setup, analysis, test generation and execution, statement/branch/MC-DC coverage and report export.","category":"Development","transport":"Local","pricing":"Unknown","website":"https://github.com/SuresoftTechnologies/dvera-plugin","repository":"https://github.com/SuresoftTechnologies/dvera-plugin","version":"0.1.4","manifest":"{\"name\":\"io.github.SuresoftTechnologies/dvera-mcp\",\"version\":\"0.1.4\",\"repository\":{\"url\":\"https://github.com/SuresoftTechnologies/dvera-plugin\"},\"remotes\":[],\"packages\":[{\"registryType\":\"mcpb\",\"identifier\":\"https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.4/dvera-mcp.mcpb\",\"version\":\"\",\"transport\":{\"type\":\"stdio\"},\"environmentVariables\":[]}]}","sourceName":"punkpeye/awesome-mcp-servers","sourceUrl":"https://github.com/punkpeye/awesome-mcp-servers","status":"approved","seoTitle":"SuresoftTechnologies/dvera-plugin MCP server","seoDescription":"Drives Controller Tester (CT) C/C++ verification: project setup, analysis, test generation and execution, statement/branch/MC-DC coverage and report export.","createdAt":"2026-11-04T07:18:56.463Z","updatedAt":"2026-11-04T07:58:36.806Z"}}