I'm curious what you all think of using Grok. I have to admit I quite like the UX, and also the Grok Build coding agent. I'm quite impressed by it for research with something like Grok Heavy, and also for planning out and implementing features as a worker model, not to mention how fast it is :) I wouldn't be surprised to see 4.6 coming in early to mid-August. I was playing with Grok 4.5 a little yesterday and used the Codex CLI with a Sol model for verification and review. I feel it's not as powerful as something like Opus 5 or Sol. For Sol, I still have the feeling that it wants to write too much code. And I really don't like talking to Opus 5 yet, in terms of its verbosity and the language it uses, but I like the code it writes. I do really feel OpenAI has some work to do on the harness to really make these models shine.. So right now I've gone for the Codex mid-tier with Grok Heavy (they had a nice offer for 3 months), and I can use some Claude for work as well. Maybe I should give Cursor Ultra a try once again in the future. I haven't tried that in a long time. I feel like OpenAI is really generous with their limits, though. I keep hearing that it's not about changing models and trying new ones all the time, but more about what you ship. I do agree with that: to commit to the tooling you're comfortable with and go with that. It's just that there is a lot of choice available and hard to pick and choose sometimes. But it makes me curious to keep learning as well :)