REA là bộ công cụ đảo ngược kỹ thuật dựa trên MCP, giúp các agent kiểm tra ứng dụng, tệp nhị phân và hành vi khi chạy, rồi giải thích kèm theo bằng chứng cho những gì chúng phát hiện.
REA là một dự án TypeScript phục vụ đảo ngược kỹ thuật trên nhiều loại mục tiêu khác nhau, gồm tệp nhị phân gốc, ứng dụng JavaScript/Electron, assembly .NET, website, hiện vật WASM, bytecode EVM và các vụ crash Linux đã ghi lại. Công cụ này cung cấp năng lực qua MCP để agent có thể điều tra cục bộ, trả về kết quả có kèm bằng chứng, rồi tiếp tục suy luận, hỏi tiếp hoặc hỗ trợ triển khai lại tính năng.
Nó giải quyết bài toán khó khi phải hiểu phần mềm hoạt động ra sao mà không có mã nguồn, hoặc khi cần kiểm chứng trực tiếp hành vi lúc chạy, cấu trúc nhị phân hay chi tiết triển khai. Thay vì tự ghép nối thủ công giữa disassembly, kiểm tra ứng dụng và dấu vết thực thi, REA cung cấp cho agent một cách có cấu trúc để thu thập và diễn giải các manh mối đó.
Về mặt khái niệm, agent gọi REA qua MCP để kiểm tra mục tiêu, lần theo đoạn mã liên quan và nhận lại kết quả kèm bằng chứng cùng các giới hạn được nêu rõ. Cùng một quy trình đó cũng có thể dùng từ terminal; quá trình cài đặt sẽ đăng ký REA với các agent được hỗ trợ và thêm các hướng dẫn quy trình tương ứng. Với một số loại mục tiêu, REA dựa vào các công cụ bên ngoài như Hopper, Ghidra, IDA, pwntools hoặc WABT tùy theo đối tượng đang phân tích.
Dự án đang thu hút chú ý vì nằm ở giao điểm giữa AI agents, MCP và đảo ngược kỹ thuật, đồng thời hứa hẹn một quy trình thực tế để hiểu hành vi phần mềm thật chứ không chỉ đọc mã nguồn. README cũng nhấn mạnh phạm vi mục tiêu rộng, phân tích cục bộ, kết quả có bằng chứng và quy trình cài sẵn cho các công cụ agent phổ biến như Claude Code, Codex, Cursor và Gemini CLI, nên tạo cảm giác có thể dùng ngay.
README nhắc đến các công cụ và môi trường quen thuộc như Hopper, Ghidra, IDA, pwntools và WABT như những thành phần hỗ trợ hơn là phương án thay thế trực tiếp. Trên thực tế, các lựa chọn gần nhất là quy trình đảo ngược kỹ thuật thủ công truyền thống trong những công cụ đó, hoặc tự dựng một bộ agent riêng mà không có gói MCP và quy trình làm việc nhấn mạnh bằng chứng như REA; tuy nhiên README không nêu một đối thủ trực tiếp tương đương từng-một.
Do AI giải thích · dựa trên README của từng kho