プラグイン

実際のVSCodeエディター（code-server、または同梱のブリッジ拡張機能経由のローカルデスクトップVS Code）をGUIタブとして埋め込みます。エージェントによるファイル編集はターン単位の赤／緑diffとして開かれ、タブを閉じたりページを再読み込みした後も保持されます。エージェントの書き込み中はファイルをロックし、監視スーパーバイザーが孤立プロセスをゼロに保ちます。

code-server（VSCode の Web 版）を dsh 内のプラグインとしてパッケージ化・インストールし、プロフェッショナルなファイル編集を素早く実現します。