I'm similar but not really a programmer. I've been a linux sysadmin for a few decades but for whatever reason I prefer using Codex via the desktop app rather than the TUI. The desktop app on linux is fine for me. Note: i've not used it anywhere else but since linux was the last to get the desktop client i'm assuming it's at least as good on other operating systems.

On looking at Prospero it's ... simpler than this is so maybe not robust enough for your wants.