Ligar o REA ao seu agente
Testar sem instalar com npx, rodar o setup com --dry-run e conferir só o que vai usar com o doctor.
O problema
Quando a IA cria um app do zero, ela adivinha o que você quer.
Com o programa original ao lado, o agente tem uma resposta certa para comparar. Sem método, os problemas abaixo aparecem.
- O agente lê o que estiver à mão, chuta o resto e não diz o que não sabe.
- Binário nativo é uma caixa-preta e o descompilador parece coisa de especialista.
- Pedir "reverta o app inteiro" dá uma resposta vaga que não se testa.
- Claude, Codex e Gemini às vezes recusam partes de uma engenharia reversa legítima.
- Você clona a tela e descobre depois que o motor estava no servidor.
Depois da formação
Ao fim da trilha, você consegue:
Escolher a ferramenta pelo tipo de app
Electron e JavaScript pelo analisador do REA, de graça; binário nativo pelo Ghidra, Hopper ou IDA.
Separar visto de inferido
Cada achado marcado como visto, inferido ou desconhecido, com o trecho citado e as limitações declaradas.
Reconstruir uma função por vez
Resumo primeiro, um módulo, uma função, e cada achado vira teste contra o original.
Rodar sem recusa
Modelo aberto local no Ollama ou numa plataforma pré-paga no estilo da OpenRouter, sabendo quando o código sai da máquina.
Saber o limite
O que roda no servidor não se abre: banco, regras de preço, prompts e pagamentos ficam de fora.
5 guias em ordem · do conceito ao teste real
Cinco passos, do que é ao seu primeiro teste.
Não há curso: a formação é o guia do INEMA, lido em ordem, com o passo a passo, o método, o caminho sem recusa e o nosso teste real. Os vídeos acompanham cada parte.
- 1
Guia
O que é o REA e por que funciona
A ponte entre o seu agente e o Ghidra: abre, entende, prova e reconstrói, como CLI e como servidor MCP, e o que fica fora de alcance.
- 2
Guia
Passo a passo
Pré-requisitos, custo de cada descompilador e os 4 passos: análise sem instalar, setup com --dry-run, doctor com escopo e o pedido ao agente.
- 3
Guia
O método: uma função por vez
Uma função, não o app inteiro; resumo primeiro; visto, inferido ou desconhecido; e cada achado testado contra o original.
- 4
Guia
REA sem travas
Modelos abertos sem recusa, o dsh e os modelos locais testados, e duas plataformas pré-pagas para quem não tem máquina.
- 5
Teste real
Teste real 6.4.0
O app Electron que travava na 6.3.0 analisado em 94,5 s na 6.4.0: 202 arquivos lidos, 0 falhas e 13.500 achados.
Para quem é
Feita para você se
- Você usa o Claude Code ou o Codex e quer entender como um programa funciona por dentro.
- Você quer fazer a sua versão de um programa do dia a dia, com código seu.
- Você cria apps e quer saber o que qualquer agente consegue mapear no seu.
- Você precisa analisar um binário nativo e nunca abriu o Ghidra.
Ainda não é para você se
- Você quer copiar código, ícones ou marca de um programa: reconstruir não é copiar.
- Você quer clonar o que roda no servidor de outra empresa: isso não aparece no app.
Incluído na formação
Você não sai só com a teoria.
O guia, os resultados do teste e o script para rodar isolado estão no repositório do INEMA. O repositório oficial e o site do REA vêm junto, com os vídeos do conceito ao técnico.
Projetos e kits
Vídeos
Por que esta formação
O que muda em relação a ver um vídeo viral sobre o REA.
Testado aqui
Rodamos o REA isolado, com teto de memória e de tempo. Na 6.3.0 um app travou; na 6.4.0 o mesmo app foi analisado inteiro.
Com franqueza
Num teste de terceiros, o agente sem o REA terminou primeiro. Para apps simples, às vezes ele nem é necessário, e a trilha diz isso.
Cuidados antes do comando
Só programas seus ou com permissão, pasta de teste isolada e leitura da origem de cada achado.
Do leigo ao técnico
Um roteiro para Windows a partir do Obsidian para quem não programa, e o REA 6.4 por dentro para quem programa.
Perguntas
Antes de começar.
Preciso saber engenharia reversa?
Não. Precisa de um agente, do Node.js e de um programa que você pode analisar. O REA opera o descompilador por você.
Em que ordem eu faço?
1 → 2 → 3 e depois o 4, se o seu agente recusar. O 5 mostra o que esperar de um teste real. Comece pelo vídeo de 6 minutos se quiser a visão geral.
Quais ferramentas preciso?
Node.js 22.19+, 24.11+ ou 26+ (as versões 23 e 25 não são suportadas) e o Claude Code, o Codex ou outro agente com MCP. Para binário nativo, o Ghidra, que é grátis, ou o Hopper ou o IDA.
Funciona no Windows?
Sim. A trilha tem um roteiro para Windows a partir do Obsidian. Se der erro, use o WSL ou uma VPS.
É legal?
Só com programas seus ou com permissão. Licenças de uso podem proibir engenharia reversa. Estudar para uso pessoal é o terreno seguro; distribuir ou copiar código, ícones e textos, não.
Escolha um programa seu e peça ao agente para explicar como ele funciona.
Comece pelo guia. Com o Node instalado, o primeiro teste roda com um npx, sem Ghidra e sem executar o app.