io.github.SuresoftTechnologies/dvera-mcp
DVERA обеспечивает верификацию критически важных C/C++ проектов: настройку, анализ, тесты и покрытие. Сервер поддерживает работу с инструментами CT verification для повышения надежности кода.
AISuresoftTechnologies
Подключение
DevTools
official
Активность: 14 дн. назад
Что это
DVERA обеспечивает верификацию критически важных C/C++ проектов: настройку, анализ, тесты и покрытие. Сервер поддерживает работу с инструментами CT verification для повышения надежности кода.
Как подключить
1Официальный package
mcpb · https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.4/dvera-mcp.mcpb
В Registry нет package, endpoint или доказательной команды. Используйте официальную инструкцию по ссылке.