4
4DA
Работа с зависимостями проекта: поиск известных уязвимостей, оценка состояния пакетов, планирование обновлений и сохранение решений.
MCP-сервер
Deterministic AI safety policy engine with Z3 formal verification. Write, verify, and enforce machine-verifiable constraints for AI agents via MCP