搜尋結果

Windows 上的實驗環境：固定工具版本、跑健康檢查並提供小型挑戰，用來量測 REA 與 Ghidra 實際能給代理人什麼。

本機的 MCP 伺服器與命令列工具，附可分頁的證據，是以 Python 獨立實作的同類構想。

從開源驗證器 Aegis 已發佈的 APK 追出六位數驗證碼的計算方式，並用示範時鐘說明為何每 30 秒換一次。

Claude Code 外掛：把 REA 回傳的證據整理成案例簿，要求每項結論都引用真實的 evidence id，並可匯出 Markdown。

零相依的靜態分析工具，涵蓋執行檔、應用與網頁打包檔，附精簡的 MCP 伺服器、命令列與網頁介面。

一篇關於用代理人重建三款東方遊戲的文章：驗證怎麼做、代理人幫得上哪裡，以及經驗如何在專案之間累積。

跟著一支韓文影片做的練習：自己寫小型 Electron 應用與 C 程式，再用 REA、Ghidra 與 Claude Code 分析。

以 Rust 與 Bevy 淨室移植，資產從使用者自己的 Steam 安裝讀取。

代理人只看開源益智遊戲的 Windows 執行檔，寫下發現並鎖定，重建成網頁版，再用真實原始碼評分（54 項主張中 52 項正確）。

動手教學手冊：以最小的 Electron 目標為例，擷取附檔案行號的證據、探測 MCP 伺服器並重建功能。

多語系、每日更新的 REA 案例排行榜。

把 REA 的概念延伸到二進位之外的實驗：從 x86 還原行為、改寫成 VHDL 並做形式驗證；衍生自上游專案並沿用其授權。