4DA
Работа с зависимостями проекта: поиск известных уязвимостей, оценка состояния пакетов, планирование обновлений и сохранение решений.
MCP-сервер
Proof-of-behavior enforcement for AI agents. Define behavioral covenant rules (permit/forbid/require), enforce at runtime before execution, get SHA-256 hash-chained tamper-evident audit logs, and verify compliance independently. Cross-agent verification handshake — no proof, no transaction. MIT licensed, 4,244 tests