IAGA Sentinel

Уровень доказательств соответствия EU AI Act для AI-агентов.

Криптографически подписанные, воспроизводимо проверяемые доказательства каждого действия агента, проходящего через него, структурированные для поддержки ведения записей по статье 12 EU AI Act и документации Приложения IV.

Документация · Настройка одним промптом · Быстрый старт · Настройка автономного агента · Community vs Enterprise · Кто мы · Лицензия

Создано в ЕС тремя основателями (французом, немцем, итальянцем) и подтверждено исследованиями, а не маркетингом: рецензировано на AISEC 2026, Марракеш.

---

Настройка одним промптом

Вставьте это вашему кодирующему агенту. Он прочитает AGENTS.md и сделает всё остальное — соберёт бинарник, выведет ваши правила, попросит вас их одобрить, запустит сервер, подключится сам через MCP и совершит два живых вызова, которые вы увидите в дашборде.

```text copy the repo here https://github.com/IAGA-TEAM/IAGA-Sentinel and follow the AGENTS.MD STEP BY STEP ```

_{Он останавливается и ждёт вас дважды: один раз, чтобы вы одобрили правила, которые он будет применять, и один раз, чтобы подтвердить, что вы видите вызовы.}

…и выход одной командой

Выйти так же просто, как и войти, и он показывает, что сделает, прежде чем сделать это.

```powershell .\scripts\uninstall.ps1 # dry run: lists exactly what it would remove .\scripts\uninstall.ps1 -Yes # remove the install ```

_{Двойник на .sh принимает --yes. Он отказывается запускаться, пока управляемый процесс ещё активен, и сохраняет ваш ключ подписи, если вы явно не попросите об обратном — удалите его, и каждая квитанция, которую вы когда-либо экспортировали, станет навсегда непроверяемой. Здесь нет аккаунта для закрытия, не остаётся фонового демона и нет телеметрии: вся установка — это база данных, файл политик и ключ, который принадлежит вам.}

---

Что такое IAGA Sentinel

ИИ-агенты взаимодействуют с оболочкой, файловой системой, базами данных, сторонними API и секретами. Когда регулятор, аудитор или ваш собственный DPO просит доказать, что сделал агент, и доказать, что запись не была изменена задним числом, большинству команд нечего показать. IAGA Sentinel создаёт такие доказательства: он работает рядом с вашим стеком агентов (HTTP-сайдкар, MCP-прокси или iaga run) и превращает каждое решение о соответствии в квитанцию, подписанную Ed25519 и связанную в хэш-цепочку append-log, проверяемую офлайн, с воспроизводимыми решениями (детерминированными при фиксированных весах риска) и обнаружением дрейфа на основе воспроизведения. Запись структурирована для поддержки ведения журналов по статье 12 Закона ЕС об ИИ и помогает подготовить техническую документацию из Приложения IV, необходимую для систем высокого риска.

[!IMPORTANT] IAGA Sentinel управляет в цикле и жёстко опечатывает. Решения вычисляются до выполнения действия; с iaga run заблокированный процесс никогда не запускается, а разрешённый ограничивается напрямую — секреты вычищаются из его окружения, нет дампов ядра, нет повышения привилегий, процесс завершается вместе с родительским. Подписанные доказательства и офлайн-воспроизведение реальны и проверяемы уже сейчас, из чистого checkout. Ограничение на уровне ядра (посредничество системных вызовов и сети через eBPF/LSM) — это корпоративный уровень и не входит в эту открытую сборку: iaga kernel status честно сообщает о состоянии, и каждая квитанция содержит is_authoritative: false. Мы не рекламируем принуждение, которое не предоставляем.

_{Каждое решение о соответствии превращается в подписанную квитанцию, опечатанную Ed25519 и связанную в хэш-цепочку журнала.}

Что делает его особенным:

• Доказательство, а не показания. Квитанции Ed25519 + хэш-цепочка, проверяемые офлайн с помощью автономного бинарника iaga-verify: без сервера, без сети, без необходимости доверять IAGA.
• Честная позиция. Позиция принуждения записывается внутри самих подписанных доказательств (is_authoritative: false), а не прячется в сноске.
• Самостоятельный хостинг, без вендора в цикле. Работает полностью самостоятельно или в изолированной сети; BUSL-1.1 автоматически конвертируется в Apache-2.0; ни один сервис, управляемый IAGA, не хранит копию ваших доказательств.
• Создан под Закон ЕС об ИИ. Квитанции соответствуют логированию по статье 12; типизированные политики Dictum документируют ваши меры контроля рисков.

---

Быстрый старт