4DA
Работа с зависимостями проекта: поиск известных уязвимостей, оценка состояния пакетов, планирование обновлений и сохранение решений.
MCP-сервер
Human sign-off + trust receipts for AI agents: requires a named human's approval before an irreversible action (payment release, record change, deploy), then mints an offline-verifiable Ed25519 Trust Receipt. Also exposes trust profiles, receipt verification, disputes, and delegation. Apache-2.0; policy engine formally verified