terminal
rune Tool
A terminal editor built for working alongside coding agents -- markdown-first with syntax highlighting, Obsidian-style vaults and wikilinks, tables, task lists, auto-merge and crash recovery. Its author rewrote all 65,000 lines from Go to Rust for about $400 using Claude Fable.
Terminal-Bench 3.0 Tool
Continuously versioned agent benchmark with 74 tasks across seven domains, from databases and CUDA to Lean proofs, CAD, and music notation. Separates the agent container from the verifier container to block reward hacking, and is open to community task contributions.
Recursive-Task-Synthesis Tool
A public set of 37,484 verified long-horizon terminal-agent tasks, each a runnable bundle with instruction, environment, reference solution and hidden verifier, plus a companion set of 327,000 agent trajectories and three fine-tuned Qwen3.5 checkpoints.
FACET terminal-agent task set Tool
A public release of 6,020 synthesized terminal-agent tasks plus three fine-tuned checkpoints. Each task bundles an instruction, an initialized environment, a reference solution, and an executable verifier, all grounded in the same container state so they cannot drift apart. Directly usable as reinforcement-learning environments for coding and shell agents.