REA Safe Agent: проведение статического анализа между двумя изолированными процессами.

Вопрос

Как агент может запросить REA, если доступ к входным данным, инструментам хоста и запросам моделей остается ограниченным?

Что сделал REA

Реализация запускает REA и его принимающий агент в отдельных контейнерах Docker и ретранслирует вызовы MCP из белого списка через хост-контроллер. Замороженные входные снимки, проверки tool/path и ограниченные результаты ограничивают то, что пересекает границу; REA предоставляет фактический статический анализ.

Результаты, сообщенные автором

Датированные macOS ARM64 квитанции сообщают об успешных вызовах 11 REA с Клодом и 9 с Codex на одном и том же безопасном ELF, проверке его хэша, констант FNV-1a и декодированной строки на соответствие известному источнику. В записи проверки отдельно сообщается об успешных вызовах 39 REA для живого анализа F-Droid 2.0.2.

Ограничения и непроверенные претензии

Это опубликованные автором протоколы, а не независимая сертификация безопасности. Статический анализ не запускает исследуемый файл. Изоляция зависит от Docker и контроллера на хосте; анализируемый текст передаётся сервису модели, а интеграция Docker в Windows остаётся экспериментальной. Находки уязвимостей в полных образах сохраняются, несмотря на отдельный чистый аудит npm.

Чему научиться

Отдельные тесты ложной политики, вызовы реальных инструментов и запуски реальных моделей; прикрепите каждую претензию к датированной цели, принимающей стороне и квитанции.

Доказательства использования REA в источнике

"rea_version": "6.7.0",

Форматирование выдержки упрощено. Прочтите первоисточник для полного контекста.

Первоисточники

• Первоисточник/закрепленные доказательства
• Проект/демо
• Дополнительный источник 1
• Дополнительный источник 2
• Дополнительный источник 3
• Дополнительный источник 4

Независимое редакционное резюме. Кредит принадлежит первоначальным авторам. Целевое программное обеспечение, установщики и полный вывод декомпилятора здесь не перераспределяются.