Repo2RLEnv
Pipelines

Pipelines

Every way Repo2RLEnv turns repositories, pull requests and task seeds into Harbor tasks, grouped by the kind of task you get.

Edit on GitHub

A pipeline turns source material, such as a repository, its pull requests or an existing task, into Harbor tasks. They're grouped here by the kind of task they produce. Each card shows the reward, whether the pipeline runs on your machine or on a remote worker, and its status. If you're not sure which to use, start with Choose a pipeline.

flagship · agenticExperimental

Tasksmith

Point an agent at a merged pull request and get a verified Harbor environment back. Tasksmith investigates the repository, builds its environment, designs the task, then reviews and repairs its own work until the controls pass.

  1. 01

    Investigate

    Reads the PR, its diff and the repository around it.

  2. 02

    Bootstrap

    Builds the repository’s environment on a remote worker.

  3. 03

    Design

    Writes the instruction and a private verifier.

  4. 04

    Construct

    Assembles the Harbor task; the merged code is the oracle.

  5. 05

    Review and repair

    Runs the controls and a blind solver, then fixes what fails.

Repository repair

7 pipelines

Fix real code in a real repository. The repository’s own tests decide the reward. Tasksmith, above, is the agentic route.

Implementation and reconstruction

6 pipelines

Write or restore functionality, graded by hidden or differential tests.

Patch similarity

1 pipeline

Reproduce a real change. The patch is scored against the merged one, no test suite needed.

Terminal tasks

7 pipelines

Work in a shell to reach a state a verifier can check.

Reasoning and optimization

2 pipelines

Problems without a repository: exact answers, or open objectives with graded scores.

How you run each kind

KindCommandWhere it runs
Native pipelinerepo2rlenv generate --repo <repo> --pipeline <name>Your machine. pr_diff needs neither Docker nor an LLM; the others need Docker and --llm to bootstrap the repository once.
Tasksmithrepo2rlenv tasksmith run <panel> --campaign … --output … --runtime-wheel …A Modal or Daytona worker. See Tasksmith.
Research reciperepo2rlenv generate --config <file> with pipeline.name and pipeline.recipe setA Modal or Daytona worker; there's no local fallback. See Run research recipes.

The native datasets are historical inventories, and native results records what was and wasn't validated. The recipe and Tasksmith datasets hold 1,330 tasks in 15 datasets, each with per-task evaluation labels. CodeMidas and FrontierSmith collections are staged locally and reported separately. See published datasets and yield and cost.

Planned or deferred

ProposalWhat it would doStatus
SEC-bench (cve_patches recipe)Reconstruct a vulnerable build and reproduction input, then emit an isolated repair taskDeferred; not implemented
RFC 0007: native pr_to_envOne Harbor environment per PR URL you supply, verified like pr_runtimeDraft
RFC 0008: env_setupMake a bare repository's test suite build and run from scratchDraft
RFC 0009: test_synthesisWrite the test that catches a broken variant of a functionDraft
RFC 0010: issue_runtimeMine closed issues linked to fixing PRs, graded by the PR's testsDraft

Where to go next

  • Tasks and Rewards explain the task layout and reward kinds every pipeline shares.
  • Run with Harbor runs any of these tasks with the oracle, a no-op agent or a real agent.
  • Quality and verification covers how a generated task becomes a verified one.
  • Add a pipeline walks through the pipeline contract, options model, tests and doc page.