feat(codex): default gpt-5.4 with long context and xhigh plan mode#112

skulidropek merged 2 commits intomainProverCoderAI/docker-git:mainfrom

issue-111ProverCoderAI/docker-git:issue-111Copy head branch name to clipboard