REA Safe Agent: intermediando análise estática entre dois processos contidos

A questão

Como um agente pode consultar REA enquanto o acesso a entradas, ferramentas de host e solicitações de modelo permanece limitado?

O que REA fez

A implementação executa REA e seu agente de recebimento em contêineres Docker separados e retransmite chamadas MCP permitidas na lista de permissões por meio de um controlador de host. Instantâneos de entrada congelados, verificações tool/path e resultados limitados restringem o que atravessa o limite; REA fornece a análise estática real.

Resultados relatados pelo autor

Recibos macOS ARM64 datados relatam chamadas REA bem-sucedidas de 11 com Claude e 9 com Codex no mesmo ELF benigno, verificando seu hash, constantes FNV-1a e string decodificada em relação à fonte conhecida. O registro de validação relata separadamente 39 chamadas REA bem-sucedidas para uma análise F-Droid 2.0.2 ao vivo.

Limitações e reivindicações não verificadas

Estes são registros publicados pelo autor, não uma certificação de segurança independente. A análise estática não executa o alvo. O isolamento depende do Docker e do controlador no host; o texto analisado é enviado ao serviço do modelo, e a integração do Docker no Windows é experimental. Persistem vulnerabilidades nas imagens completas, apesar da auditoria separada do npm sem problemas apontados.

O que aprender

Testes de políticas simuladas separados, chamadas de ferramentas reais e execuções de modelos em tempo real; anexe cada reivindicação a um destino datado, host e recibo.

Evidência de uso de REA na fonte

"rea_version": "6.7.0",

A formatação do trecho é simplificada. Leia a fonte original para o contexto completo.

Fontes originais

• Fonte primária/evidência fixada
• Projeto / demonstração
• Fonte adicional 1
• Fonte adicional 2
• Fonte adicional 3
• Fonte adicional 4

Resumo editorial independente. O crédito pertence aos autores originais. O software alvo, os instaladores e a saída completa do descompilador não são redistribuídos aqui.