新着事例

凍結されたライブデバッグコアとREAスタイルの静的解析ドメインを、81のツールを備えた単一のMCPサーバーの背後に統合します。

Linux 上で Google の Quick Share プロトコルをオープンソースで実装したもの。AI の支援を受けながら Nearby 接続を研究して構築され、Linux から Android へファイルを送信できる。

Electronスタイルのアプリで機能がどこにあるかを見つけるための教育ガイド：目に見えるUIからプロセス境界を越えて、実際に処理を行うコードまで。

REA のアイデアをバイナリの先へと拡張する実験：x86 から挙動を復元し、それを VHDL として表現し、形式的に検証する。上流プロジェクトから派生し、それに応じたライセンスの下で提供される。

A Homebrew formula that installs rea-agents as an alternative to npx.

A show-and-tell thread on keeping token use down in REA workflows and what other people are using.

Short write-ups that each follow the same discipline: a target, a method and the evidence REA produced.

npm の整合性をピン留めし、Ghidra のダイジェストとオフラインローダーテストを備えた REA の Nix パッケージング。個人の NixOS 設定の一部。

おなじみのパーセントキーの癖を説明し、その説明を公開されたオープンソースの Calculator コードと照らし合わせて確認します。

エージェントを使ってソフトウェアを分析することから、機能を再構築するまでの流れを解説する韓国語のオンライン書籍の練習用コード。

スマートトイレのWeChatミニプログラムが話すBluetoothプロトコルをリバースエンジニアリングし、REAとCodexでメニューバーリモコンを構築（元のX投稿はショーケースからリンクされていない）。

How to run REA with local models on a single 12 GB GPU, and how five models compared.