I built a GNOME extension for Codex with local/remote history, live filters, Markdown export, and a read-only MCP server
I wanted Codex to feel like a real GNOME app instead of just a terminal or editor workflow, so I built a GNOME Shell extension around it. It currently does all of this: – Codex usage in the GNOME top bar – native GTK history window – local sessio…