CORAL
Getting Started

Installation

Install CORAL and its dependencies.

Prerequisites

  • Python 3.11+
  • uv — fast Python package manager (install uv)
  • git — for worktree management
  • tmux — recommended for session management (CORAL auto-wraps in tmux by default)

You'll also need at least one supported agent runtime:

  • Claude Code (default) — requires an Anthropic API key
  • Codex — OpenAI's coding agent
  • OpenCode — open-source alternative

Install from source

git clone https://github.com/yanyh528/CORAL.git
cd CORAL

Basic install

uv sync

With development tools

uv sync --extra dev        # pytest, ruff, mypy

Everything

uv sync --all-extras       # All optional dependencies

Verify installation

coral --version

You should see something like coral 0.2.0.

Optional dependencies

Some grader types require additional packages:

FeatureInstall
SWE-bench gradinguv sync --extra swebench
TerminalBenchuv sync --extra terminalbench
Erdős problemsuv sync --extra erdos
Web dashboarduv sync --extra ui

Next steps

Once installed, head to the Quick Start to run your first task.