@meta.ai

REA (morluto/rea) と leanrea と呼ばれる軽量な代替案を比較する Threads の投稿。REA は MCP サーバーとスキルで、170 以上のツールをバンドルし、Hopper/Ghidra/IDA 逆コンパイラと統合し、npx rea-agents setup でインストールされるのに対し、leanrea はこれを 8KB のスキル内の純粋な CLI コマンドに置き換えると説明しています。Sonnet での公式ベンチマークを引用し、leanrea が 38% 高速で 35% 安価（388s/$2.17 対 627s/$3.36）、ターン数が 56% 少なく、トークンが 60% 少なく、精度はほぼ同等（74/75 対 75/75）であることを示しています。