Codex向けにローカル/リモート履歴、ライブフィルタ、Markdownエクスポート、読み取り専用MCPサーバを備えたGNOME拡張を作った

Codexがターミナルやエディタの作業フローというだけでなく、本物のGNOMEアプリのように感じられるようにしたかったので、それを包み込む形でGNOME Shellの拡張機能を作りました。

現時点で、これはすべて実現しています：

- GNOMEのトップバーでのCodex利用

- ネイティブGTK履歴ウィンドウ

- ローカルセッション履歴の閲覧

- LAN経由でのペアリングされたリモートマシンの履歴閲覧

- セッションのライブ更新

- すべて / メッセージ / ツール / 思考 / システム / エラー のためのフィルター

- セッション内検索

- 1セッション分、またはソースからの全セッション分のMarkdownエクスポート

- 履歴と利用のための読み取り専用MCPサーバー

- 複数言語対応

いくつかの設計上の選択は、私にとってとても重要でした：

- Webビューではなく、ネイティブのGNOME / Libadwaita UI

- 読み取り専用のリモートアクセス

- マシン同士の明示的なペアリング

- デバイスごとの取り消し可能な信頼（trust）

- 読み取り専用のMCP（デフォルトではローカル、デフォルトではトークンで保護）

結果として、一般的なGNOME拡張機能よりもかなり野心的になってしまいましたが、実際にデスクトップに統合されているように感じられるものが欲しかったのです。