Amp doesn't have a conventional model selector - you choose fast vs smart (I think that's what it is called).

In smart mode it explores with Gemini Flash and writes with Opus.

Opus is roughly the same speed as Codex, depending on thinking settings.