Praxen — плагин
Плагин проверки поведения ИИ-агента: сверяет заявленные полномочия с кодом и настройками и пишет отчет о расхождениях.
- 64 ★ репозитория
- Последний коммит
- Apache-2.0
Минимальный доступ
Почему такой уровень
- Плагин читает рабочую папку агента, включая конфигурации и возможные секреты, и пишет отчеты только в `./reports/`.
Установка
- Работает в
В терминале, через SkillFoxx CLI
npx skillfoxx add plugins/praxenОпределит агенты на машине, покажет уровень доступа и зафиксирует версию.
Другие способы установки
Доступ и проверки
Как мы проверяемМинимальный доступИнструмент ничего не запускает и не ходит в сеть.
- Плагин читает рабочую папку агента, включая конфигурации и возможные секреты, и пишет отчеты только в `./reports/`.
Это чужой код. Посмотрите файлы в репозитории перед установкой.
Что делает
Praxen проверяет, что агент делает свою работу и только ее. Сначала вы описываете задачу агента в документе Worker Remit: миссию, разрешенные инструменты, одобренные каналы, контрагентов и запрещенные действия. Документ можно написать вручную или поручить Praxen составить черновик. Затем указываете улики: исходный код, состояние развертывания, журналы поведения или документы управления. Плагин читает рабочую папку агента на месте, не меняя ее, и записывает отчеты в `./reports/` в виде HTML, JSON и текстового резюме. Он ищет расхождения между политикой и реализацией, утечки секретов, пробелы в настройках вроде автоодобрения команд, дрейф возможностей и цепочки находок, которые вместе образуют опасный путь атаки. Находки сопоставлены с OWASP Top 10 для LLM-приложений и для агентных систем 2026 года и с оценкой зрелости RAISE.
Для кого. Командам безопасности и разработчикам, которые выпускают ИИ-агентов и перед релизом хотят проверить, делают ли агенты только то, что для них разрешено.
Подходит, если
- Перед релизом агента надо сверить код с описанием его полномочий.
- В проекте подозревают открытые секреты и опасные настройки вроде автоодобрения исполнения команд.
- Новая версия добавила инструменты и исходящие адреса, которых нет в утвержденной базе.
- Подключены сторонние плагины и непривязанные зависимости, и надо проверить цепочку поставок.
- Для аудита нужен отчет в HTML и JSON с привязкой к OWASP.
Не подходит, если
- Нужен мониторинг уже работающего агента: Praxen проверяет до развертывания и на каждом релизе.
- Агент на слабой модели: проверка опирается на модель уровня Sonnet или выше.
- Ждете автоматический вердикт пройден или нет: отчет задуман как заметки старшего рецензента.
Пример запроса к агенту
Запусти анализ поведения Praxen для ./my-agent: найди Worker Remit или спроси меня и подготовь отчет.Ограничения
Нужны кодинг-агент с хорошим следованием инструкциям (проверен на Claude Code и OpenAI Codex) и Python 3.9 или новее для сборки отчетов. Praxen работает на модели высокого уровня: Sonnet или выше в Claude Code и сопоставимый класс в Codex, на малых моделях сверка удается плохо. Оценки зрелости RAISE и результаты между запусками могут расходиться. Проверка идет до развертывания, мониторинг в рабочей среде в проект не входит. Примеры в каталоге `examples/` содержат готовые отчеты, а не цели сканирования.
Как отключить. Выполните `claude plugin uninstall praxen@open-agent-ai-security` в Claude Code или аналогичную команду Codex. Каталог `./reports/` с отчетами остается, его удаляют вручную.
Частые вопросы
Как установить Praxen в Claude Code?
Две команды: `claude plugin marketplace add open-agent-ai-security/plugins` и `claude plugin install praxen@open-agent-ai-security`. Для OpenAI Codex аналогично: `codex plugin marketplace add open-agent-ai-security/plugins` и `codex plugin add praxen@open-agent-ai-security`.
Что такое Worker Remit?
Документ в формате Markdown с описанием работы агента: миссия, разрешенные инструменты, одобренные каналы, контрагенты и запрещенные действия. Praxen сверяет с ним код и поведение, а шаблон лежит в файле `WORKER_REMIT_template.md`.
Меняет ли Praxen код агента?
Нет. Плагин читает рабочую папку агента на месте и пишет находки только в `./reports/`. Ничего не отправляется наружу.
Какой формат у отчета?
Самодостаточный HTML, машиночитаемый JSON и текстовое резюме. Каждая находка отвечает на вопрос, совпадает ли наблюдаемое поведение с заявленным намерением, и помечена по OWASP и RAISE.
Работает ли Praxen с другими агентами?
Да. Без маркетплейса достаточно показать любому агенту репозиторий. Подходит агент с вызовом инструментов и выполнением многошаговых инструкций, но проверен проект на Claude Code и Codex.
Обсуждение
Вопросов и отзывов пока нет.
Похожие
ПлагиныПлагин проверяет команды, адреса и запись файлов, которые запускает ИИ-агент, и блокирует опасные до выполнения
Статический сканер уязвимостей в коде ИИ-агентов и конфигурациях MCP с 66 правилами по OWASP Agentic Top 10
Agentic Radar разбирает код многоагентных систем на LangGraph, CrewAI, n8n, OpenAI Agents и AutoGen и собирает HTML-отчет об инструментах и уязвимостях
Prowler — плагин для Claude Code
Prowler for Claude Code
Плагин ведет облачный аккаунт к соответствию CIS, PCI-DSS и другим стандартам: берет отчет Prowler Cloud, чинит нарушения и предлагает повторный скан
Плагин безопасности кода: ищет уязвимости, пытается опровергнуть находки, подтверждает эксплуатацию и чинит патчем с перепроверкой
Сканер безопасности для агентов: проверяет код, MCP-серверы, промпты и пакеты, выдуманные моделью, и ставит оценку от A до F.
Коротко о README
Название происходит от греческого praxis, перехода теории в практику: проект сверяет заявленное намерение агента с его наблюдаемым поведением. Спонсор проекта, Exabeam, передал начальный код и продолжает его поддерживать.