Codex + DeepSeek V4 Pro
DeepSeek V4 Pro is currently selectable with Codex on AgentSky. Codex controls the work loop and tools; the model supplies reasoning and generation. Start a real task below with both choices already selected.
How the combination works
Codex runs the work. DeepSeek V4 Pro powers each turn.
Codex owns the coding-agent loop: it explores the repository, changes files, runs commands, and returns evidence from the cloud workspace.
AgentSky supplies the persistent cloud computer, task state, usage records, and enabled tools or connectors around that combination.
Codex
Owns the agent loop, repository or computer operations, tool calls, and how results are returned.
DeepSeek V4 Pro
DeepSeek's model supplies the reasoning and generated output within Codex's supported interface.
AgentSky
Keeps the selected pair, workspace, task state, access configuration, and itemized usage together.
Current DeepSeek V4 Pro facts
What the model is
The higher-capability V4 text model, with thinking mode on by default and a million-token window.
Context window
1M tokens in the current AgentSky catalog.
Accepted input
Text in the current AgentSky catalog.
Model token price
$2.64 / $7.92 per 1M input / output tokens on the displayed AgentSky plan. Runtime and paid tool usage are separate.
Evaluate it on real work
Start with one bounded task and evidence you can inspect.
Provide the repository, base revision, requirement, and a concrete success check. State whether the task is review-only or may change the branch.
Open the preselected Composer
The Composer above starts with Codex and DeepSeek V4 Pro. Add the repository or project and only the tools the task needs.
Adapt this first task
Trace the affected callers for this requirement, implement the smallest complete change, run the relevant checks, and report the exact files changed plus any remaining risk.
Verify the outcome
Review the diff against the original requirement and rerun the checks that observe the user-visible behavior. Treat a plausible answer as a proposal until the evidence supports it.
Fit and limits
When to choose Codex + DeepSeek V4 Pro
Software engineering tasks that benefit from Codex's repository navigation, command execution, and iterative implementation loop.
This page establishes
- The pair is selectable in the current AgentSky compatibility matrix
- The launch carries both selections into the shared Composer
- Current catalog facts are shown when the gateway publishes them
You still need to measure
- Quality on your own repository or workflow
- End-to-end task time, recovery effort, and human review
- Total task cost, which also depends on runtime, tools, connectors, and token usage
Common questions
Related resources