RL training environments with verifiable rewards for coding and computer-use agents.
You give it model-generated code. It runs the code in a sandbox, checks it against a verifier, and hands back a score. That score plugs straight into TRL, verl, OpenRLHF, or whatever you're using for GRPO/DAPO/PPO.
For agents, it keeps one sandbox alive for the whole episode (a shell or a full desktop), applies actions step by step, then scores the state the agent left behind.
pip install deepgymfrom deepgym import DeepGym, load_environment
dg = DeepGym(mode='local')
env = load_environment('coin_change')
solution = '''
def coin_change(coins, amount):
dp = [float('inf')] * (amount + 1)
dp[0] = 0
for coin in coins:
for x in range(coin, amount + 1):
dp[x] = min(dp[x], dp[x - coin] + 1)
return dp[amount] if dp[amount] != float('inf') else -1
'''
result = dg.run(env, model_output=solution)
print(f'Score: {result.score}, Passed: {result.passed}')prompt --> model --> DeepGym sandbox --> verifier --> score --> training loop
| |
Daytona / JSON protocol:
local subprocess score, passed, reward_components
Model writes code. DeepGym runs it. Verifier checks it. You get back a score and per-test-case breakdown showing exactly which tests passed and which didn't.
- 31 built-in environments (ship with pip install), including 5 computer-use tasks
- Computer-use episodes on a real Daytona desktop: screenshots in, mouse/keyboard out
- Live multi-turn sessions from Python (
dg.session()) or HTTP (/v1/sessions) - 2,350+ importable benchmarks (HumanEval, MBPP, BigCodeBench, EvalPlus)
- SWE-bench Pro support for repo-level patch RL tasks
- Terminal-Bench 2.0 support for shell/terminal RL tasks
- CyberBench/CyberGym support for local, artifact-backed cyber patch tasks
- MixedEnvironment routing for multi-benchmark training in one reward function
- Per-test-case reward traces (not just pass/fail -- you see which tests broke)
- Deterministic seeding (same input, same score, every time)
- Three runtime modes: local subprocess, self-hosted Daytona, cloud Daytona
- Drop-in reward functions for TRL, verl, OpenRLHF, plus a verl multi-turn tool
- lm-evaluation-harness task adapter (evaluate with
lm_eval --tasks deepgym_*) - HuggingFace Hub integration (share environments as HF datasets)
- Batch scoring for GRPO (score N completions in parallel)
- Gymnasium-style API if you prefer reset/step/state
from deepgym import DeepGym, load_environment
dg = DeepGym(mode='local')
env = load_environment('two_sum')
result = dg.run(env, model_output='def two_sum(nums, target): ...')
print(result.score, result.passed, result.reward_components)solutions = [model.generate(prompt) for _ in range(8)]
batch = dg.run_batch(env, solutions, max_parallel=8)
scores = [r.score for r in batch.results]
# GRPO advantage: (r - mean) / std
mean = sum(scores) / len(scores)
std = (sum((s - mean) ** 2 for s in scores) / len(scores)) ** 0.5
advantages = [(s - mean) / (std + 1e-8) for s in scores]from deepgym.integrations.trl import make_trl_reward_fn
from trl import GRPOTrainer
reward_fn = make_trl_reward_fn(env)
trainer = GRPOTrainer(model=model, reward_funcs=[reward_fn])
trainer.train()from deepgym.integrations.dapo import make_dapo_reward_fn
reward_fn = make_dapo_reward_fn(env)
scores = reward_fn(completions=['def solve(x): return x'])For verl-style DAPO recipes, DeepGym also exposes thin helpers to generate a reward module and a minimal config snippet:
from deepgym.integrations.dapo import (
generate_dapo_reward_module,
generate_dapo_verl_config,
)
reward_module = generate_dapo_reward_module('coin_change')
config_yaml = generate_dapo_verl_config(
train_files='data/train.parquet',
reward_module_path='reward_module.py',
)from deepgym import DeepGym, load_environment
dg = DeepGym(mode='auto')
env = load_environment('swebench_pro')
result = dg.run(
env,
model_output='''```diff\n... unified diff ...\n```''',
repo='owner/repo',
base_commit='abc123',
test_patch='diff --git ...',
fail_to_pass=['tests/test_bug.py::test_fix'],
pass_to_pass=['tests/test_smoke.py::test_smoke'],
)
print(result.score)from deepgym import DeepGym, load_environment
dg = DeepGym(mode='auto')
env = load_environment('terminal_bench_2')
result = dg.run(
env,
model_output='python solve.py --input data.txt > output.txt',
task_id='regex-log',
)
print(result.score)DeepGym can turn CyberGym Hugging Face metadata and artifacts into CyberBench-style RL tasks for defensive cyber training. Use it for local patch-repair, log-triage, forensics, and synthetic CTF-style tasks where the reward comes from a deterministic verifier, not from live targets.
Install the optional Hugging Face and Daytona dependencies:
pip install "deepgym[hf,daytona]"Keep provider keys local and untracked:
cp .env.example .env
# edit .env with DAYTONA_API_KEY, ZAI_API_KEY, ZAI_API_BASE, ZAI_MODELGenerate safe CyberBench seed specs from CyberGym metadata. Add --use-zai if
you want GLM/Z.ai to enrich the seed plans while preserving local-only safety
constraints:
python scripts/inspect_cybergym_hf.py --repo-id sunblaze-ucb/cybergym --limit 100
python scripts/generate_cyberbench_seeds.py --count 100 --use-zaiFor RL reward diagnostics, prefer artifact-backed patch tasks over metadata-only prompts. The runner downloads the vulnerable repository archive and reference patch, applies a model-produced unified diff in a sandbox, then scores application, touched-file overlap, changed-line similarity, minimality, and safety scope.
# Local verifier smoke/diagnostics
python scripts/run_cybergym_artifact_eval.py --count 100 --mode local --max-parallel 12
# Daytona-isolated execution for untrusted model outputs
python scripts/run_cybergym_artifact_eval.py --count 20 --mode daytona --max-parallel 4
# Ask GLM for candidate patches when rate limits allow
python scripts/run_cybergym_artifact_eval.py --count 20 --answer-source glm --fallback-to-referenceInside a trainer, load a CyberGym row, build a CyberGymPatchEnvironment, and
score model completions exactly like any other DeepGym environment:
from deepgym import DeepGym
from deepgym.cybergym_artifacts import CyberGymPatchEnvironment, load_cybergym_rows
dg = DeepGym(mode='auto') # Daytona when configured, local fallback otherwise
row = load_cybergym_rows(count=1)[0]
env = CyberGymPatchEnvironment.from_row(row)
candidate_patch = model.generate(env.task) # return a unified diff
result = dg.run(env, model_output=candidate_patch)
reward = result.scoreUse the generated data/cyberbench/*.jsonl files as curriculum inputs for
TRL/verl/OpenRLHF. Keep training and evaluation splits separate, use Daytona for
untrusted completions, and do not train on metadata-only scores; materialize
seed specs into artifact-backed environments with deterministic verifiers first.
See docs/cyberbench.md for the full workflow and current diagnostic numbers.
from deepgym import MixedEnvironment, load_environment
from deepgym.integrations.trl import make_trl_reward_fn
swe_env = load_environment('swebench_pro')
terminal_env = load_environment('terminal_bench_2')
humaneval_env = load_environment('coin_change')
mixed = MixedEnvironment([
(swe_env, 0.6),
(terminal_env, 0.2),
(humaneval_env, 0.2),
])
reward_fn = make_trl_reward_fn(mixed)Computer-use environments boot Daytona's desktop (xfce + Chromium), run a setup
script, and hand the agent a screenshot. Actions are clicks, typing, keys, scrolls
and drags in screenshot pixels. The verifier runs in the same sandbox and checks
what the agent changed (saved app state, files), never pixels. Needs DAYTONA_API_KEY.
from deepgym import Action, DeepGym, load_environment
dg = DeepGym(mode='daytona')
env = load_environment('settings_tabs')
with dg.session(env) as session:
obs = session.start() # obs.screenshot is a base64 PNG
while not session.done:
action = my_agent(obs) # e.g. Action(action_type='click', x=376, y=121)
obs, reward, done = session.step(action)
result = session.score()
print(result.score, result.output) # "3/3 changes made"Or in one call: trajectory, result = dg.run_episode(env, my_agent).
Each task has 8 seeded variants (different names, values, files) so a policy
can't memorize one answer: load_environment('todo_list', variant=3). The count
is in list_environments() under variants.
Verifiers split checks into progress (the changes the task asked for) and guards (work was saved, nothing else broke, no duplicate rows). Any failed guard scores 0, so neither doing nothing nor clicking Save on untouched state earns reward. Setup locks the desktop down before the agent starts: no terminal, run dialog, or browser devtools, and browser tasks get no file manager. Known gap: Thunar's "Open with custom command" still runs commands in the file-manager task.
The same session API runs shell-based multi-turn tasks (MultiTurnEnvironment),
and the local backend works for those without Daytona.
deepgym serve exposes sessions to trainers in any language:
POST /v1/sessions {"environment": "todo_list", "variant": 3} -> session_id, observation
POST /v1/sessions/{id}/step {"action_type": "type", "content": "Pay rent"}
POST /v1/sessions/{id}/score -> RunResult
DELETE /v1/sessions/{id}
environment can also be an inline MultiTurnEnvironment spec. Idle sessions
are closed after 30 minutes; at most 100 run at once.
from deepgym.integrations.verl import make_verl_compute_score
compute_score = make_verl_compute_score(env)
# In verl config: custom_reward_function.path = "your_reward_module.py"For multi-turn agent RL, use DeepGym's agent loop plus its session tool. verl's
stock ToolAgentLoop creates and releases a tool around every call, so the
deepgym_agent loop keeps one sandbox per rollout, sets reward_score from the
final verifier, and deletes the sandbox. Screenshots come back as images.
# agent_loop_config_path
- name: deepgym_agent
_target_: deepgym.integrations.verl_tool.DeepGymAgentLoop
# multi_turn.tool_config_path
tools:
- class_name: deepgym.integrations.verl_tool.DeepGymSessionTool
config: {type: native, environment: signup_form, mode: daytona}Dataset rows set agent_name: deepgym_agent. The first tool call starts the
episode and returns the starting screen, so prompt the model to begin with a
screenshot. Written against verl v0.9.1 and tested against a stand-in for its loop.
Pick the env and variant per dataset row with
extra_info.tools_kwargs.computer.create_kwargs: {environment: todo_list, variant: 3}.
from fastapi import FastAPI
from deepgym.integrations.openrlhf import create_openrlhf_router
app = FastAPI()
app.include_router(create_openrlhf_router(env, dg))
# Run with: uvicorn app:app --port 8000from deepgym.integrations.lm_eval import register_deepgym_tasks
register_deepgym_tasks() # registers deepgym_* tasks
# lm_eval --model hf --model_args pretrained=Qwen/Qwen2-0.5B-Instruct \
# --tasks deepgym_coin_change,deepgym_two_sumfrom deepgym.integrations.hf import push_environment_to_hub, load_environment_from_hub
# Push to HF Hub
push_environment_to_hub(env, repo_id='your-org/deepgym-coin-change', env_name='coin_change')
# Load from anywhere
env = load_environment_from_hub('your-org/deepgym-coin-change')from deepgym import DeepGym, Environment
dg = DeepGym(mode='local')
env = Environment(
task='Write a function `add(a, b)` that returns the sum of two numbers.',
verifier_code=(
'from deepgym_solution import load_solution\n'
'sol = load_solution(solution_path)\n'
'return 1.0 if hasattr(sol, "add") and sol.add(2, 3) == 5 else 0.0\n'
),
)
result = dg.run(env, model_output='def add(a, b):\n return a + b\n')Never import or run the solution yourself. load_solution(path) starts it in a
separate, isolated process and returns a proxy: sol.add(2, 3) runs there and
returns plain data. run_solution(path, cwd=..., env=...) runs it as a script,
writing only inside cwd; read its files back with read_output(path, cwd),
which refuses symlinks. Pass allow_subprocess=True if the script needs to
start other programs (macOS blocks forking otherwise). solution_source(path, name=None) reads the source
for static checks without running it.
How the solution is isolated:
- Daytona / Apple container: it runs as a separate Linux user that can't read the judge's files, touch the judge's process, or write to its output, with no network.
- Locally: it runs under
sandbox-execon macOS orbwrapon Linux, with the judge directory and the deepgym package hidden. If neither is available, you still get process separation and a warning.
What this blocks:
- Only plain data crosses the boundary, so an object that claims to equal everything can't fake a pass.
- A fake score line printed by the solution never reaches the judge's output.
- Patching the verifier at runtime has no effect.
Each call is bounded by case_timeout (default 10s) and by the run's timeout,
so a slow case fails on its own and the run still returns partial credit.
Verifier shape is detected by parsing, or set explicitly with verifier_mode:
script: has a__main__block that prints protocol JSON.verify_function: definesverify(solution_path, test_cases_path=None).body(the example above): the body of that function.
Return a float, bool, or dict; the wrapper normalizes it. from __future__
imports are fine in any mode.
Shared helper code goes in support_files (name to content). These files sit
next to the verifier, are importable by it, and are hidden from the solution. In
a registry env, list paths in metadata.json, for example
"support_files": ["../_shared/scoring.py"].
Coding (22):
- Array/String: reverse_string, palindrome_check, anagram_check, max_subarray, rotate_array, remove_duplicates, valid_parentheses
- Hash Map: group_anagrams, longest_consecutive, top_k_frequent
- DP: climbing_stairs, coin_change, longest_common_subsequence, house_robber
- Graph/Tree: binary_search, merge_intervals, level_order_traversal
- Practical: fizzbuzz, roman_to_integer, matrix_spiral
- Filesystem/CLI scripting: file_organizer, cli_task
Computer-use (5, multi-turn, Daytona desktop): signup_form, todo_list, settings_tabs, expense_sheet, file_manager
Tool-use (2): api_request, data_pipeline
Cyber (2): cyber/cve_2021_44228_log_triage, cyber/web_path_traversal_toy
Load by name:
from deepgym import load_environment
env = load_environment('coin_change')Run the import scripts to pull in standard benchmarks:
python scripts/import_humaneval.py # 164 problems
python scripts/import_evalplus.py # HumanEval+ (80x more tests) + MBPP+
python scripts/import_mbpp.py # 500 problems
python scripts/import_bigcodebench.py # 1,140 problemsAfter import, they're available through load_environment().
These names resolve directly through load_environment() and use custom execution paths:
swebench_pro: repo clone -> checkout -> patch apply -> test run -> score by pass fractionterminal_bench_2: execute terminal commands in a task sandbox -> verify expected output/state
MixedEnvironment lets you combine these with built-in or imported coding environments while keeping the same reward-function surface.
Verifiers output JSON to stdout:
{
"schema_version": "1.0",
"score": 0.85,
"passed": true,
"details": "12/14 tests passed",
"cases": [
{"id": "test_0", "passed": true, "score": 1.0, "input_summary": "coins=[1,2,5] amount=11"},
{"id": "test_1", "passed": false, "score": 0.0, "error": "expected 3, got -1"}
],
"seed": 42
}The cases field is the interesting part -- it tells you exactly which tests
passed and failed, so your training loop gets a denser signal than just 0 or 1.
Simple verifiers that return a float or bool get auto-wrapped to this format.
Training Framework (verl / OpenRLHF / TRL)
|
v
DeepGym (environments + verifiers + scoring)
|
v
Daytona sandbox / local subprocess
Four modes: local (subprocess, no deps, no isolation), daytona (real container isolation), apple (Apple container VMs on your Mac), auto (tries Daytona, falls back to local).
Local mode is fine for development. For anything shared or untrusted, use Daytona or Apple container.
Each run or session gets a throwaway Linux VM from Apple's container CLI. Same isolation as Daytona, no API key, no cloud.
brew install container
container system startdg = DeepGym(mode='apple') # or AsyncDeepGym(mode='apple')
dg.run(env, solution)- Image:
python:3.12-slim, override withDEEPGYM_CONTAINER_IMAGE. - Sessions run offline; servers inside the VM still work on localhost.
- Desktop (computer-use) envs need Daytona.
- Stop the service with
container system stop.
deepgym run --task task.md --verifier verifier.py --solution solution.py
# Dev mode
DEEPGYM_NO_AUTH=true deepgym serve --host 127.0.0.1 --port 8000 --allow-local-exec
# Production
DEEPGYM_API_KEY=your-key DAYTONA_API_KEY=your-key deepgym serve --port 8000The server won't start without auth configured. Set DEEPGYM_API_KEY for
production or DEEPGYM_NO_AUTH=true for local development.
--allow-local-exec is required when running without Daytona.
pip install -e ".[dev]" # install with test deps
pytest # 291 tests
ruff check src/ # lint
ruff format src/ # formatPyPI publishing is tag-driven in GitHub Actions.
git tag v0.3.0
git push origin v0.3.0Pushing a normal branch commit runs CI only. Pushing a v* tag runs the publish job and uploads the package to PyPI.
git clone https://github.com/daytonaio/daytona
docker compose -f docker/docker-compose.yaml up -d
# Set DAYTONA_API_URL and DAYTONA_API_KEYOr use Daytona cloud: get a key from app.daytona.io.
DeepGym is part of the Daytona Startup Grid.
We use Daytona to power fast, isolated execution for modern agent training and evaluation workflows.
MIT