Merge remote-tracking branch 'origin/codex/goal-session' into codex/commands

This commit is contained in:
Tianyi Cui
2026-07-19 23:05:08 +08:00
82 changed files with 3637 additions and 163 deletions
+2 -2
View File
@@ -2,5 +2,5 @@
# side as of the last confirmed-consistent state. Both languages carry equal authority;
# after editing either side, bring the other along and re-record with:
# pnpm run verify-translation-pairing --write
README.md: 80c9d1f50d26fc4f4670800fd7d7f5ea442ad891
README.zh.md: ffedb5eb30f17388fe589863dbc654b22716b40c
README.md: 5fd1bc7cd89152a28d3da17100fd62eed4f8cb14
README.zh.md: 247a2ca5ea5c1c3afc19335a6bbcba356c823211
+1 -1
View File
@@ -27,7 +27,7 @@ from deepseek_harness import DeepSeekHarness
with DeepSeekHarness(
provider="deepseek",
model="deepseek-v4-flash",
cordis="examples/dsbench-coding-agent/cordis.yml",
cordis="examples/jsonrpc-agent/cordis.yml",
) as harness:
result = harness.run("Make the requested code change.")
```
+1 -1
View File
@@ -23,7 +23,7 @@ from deepseek_harness import DeepSeekHarness
with DeepSeekHarness(
provider="deepseek",
model="deepseek-v4-flash",
cordis="examples/dsbench-coding-agent/cordis.yml",
cordis="examples/jsonrpc-agent/cordis.yml",
) as harness:
result = harness.run("Make the requested code change.")
```