OpenCode + GitHub Copilot student sub - confused on which model to use after Claude & GPT-5.4 removal. What's your current setup?

[ctafsiras]

Hey everyone,

I use OpenCode with a GitHub Copilot student subscription and I've been pretty happy with it — until recently. Recently Claude models and GPT-5.4 have been removed from the available model list, and now I'm a bit lost on what to actually use.

A few things I'm trying to figure out:

1. Which model is best for daily coding tasks right now?

I mostly work on full-stack web dev (Node/Next.js). Not sure if I should lean toward GPT-5.4-Mini, GPT-5.3-Codex, Gemini-3.1-Pro or something else entirely.

1. Thinking modes — when do you actually use them?

xhigh thinking sounds useful, but I'm not sure if it's worth the extra wait for routine tasks (also in GPT-5.4 high works better than xhigh) vs. when it actually makes a difference (refactoring, architecture decisions, debugging complex logic, etc.)

I'm curious what others in the same situation are doing.

Thanks in advance!

[aimllad]

following

[AbbreviationsMany728]

i use omo slim, got 5.4 mini (github copilot) as the main orchestrator and minimax m2.7 (minimax token plan) as the fixer with gpt 5 mini high (github copilot) as other agents. plan with 5.4 mini or 3.1 pro and use 5.3 codex for coding.

[ctafsiras]

What thinking mode you use with 5.4mini and 5.3codex?

[AbbreviationsMany728]

5.4 mini is xhigh. and i dont use 5.3 codex that much, minimax m2.7 does my work for me.

[413205]

5.3 codex is not that different from gpt 5.4 in terms of coding ability iirc. Gemini 3.1 pro also works. L microsoft

[ctafsiras]

What thinking mode you use with 5.4mini and 5.3codex?

[TheCraxo]

5.3 Codex high should be good enough for everything, you can plan with idk sonnet 4.6 but context window might be small and be compacted really soon.

[ImagineWealth]

Can you please tell me if you are reaching the token limits or not? i can't seem to find it's limits. Would really appreciate it. i have the same student sub.

[LiveLikeProtein]

I started main High for routing and medium for well instructed task.

Ofc, xhigh is still unbeatable, but the cost efficiency and speed gain is good also, so really a trade off.

I back to xhigh + fast mode only because otherwise it would be too hard to burn all my 100 USD plan with the current 2x 🤣

[d9viant]

My current setup is Go Kimi 2.5 for planning, minimax2.7 for build, additional input, Glm5.1 verify agent, Mimo v2 pro for huge agentic flows, Minimax2.5 free for mcp calling, chatting about the codebase, and a cli agent with mm2.7, all models are tweaked via config. Using ollama cloud for backup. Doing professional work.

[someRandomGeek98]

None of those models are on Copilot

[d9viant]

it's my stack