Back to directory

CORAL

Infrastructure for autonomous AI agent organizations that run coding-agent experiments against a grader, share knowledge, and evolve across isolated workspaces, integrated with Claude Code, OpenCode, Codex, Cursor Agent and Kiro.

Visit website (opens in a new tab)coral.compounding-intelligence.ai
CORAL

CORAL is infrastructure for autonomous AI agent organizations built for autoresearch: given a codebase and a grader, it manages isolated workspaces, safe evaluation, persistent shared state and multi-agent collaboration so agents can run experiments, share knowledge and continuously improve solutions. It integrates natively with Claude Code, OpenCode, Codex, Cursor Agent and Kiro.

A Docker session isolates each agent from the grading process: every agent runs as an unprivileged user while the manager and grader stay root, so agents cannot read the grader's private answer keys even through a shell. Multi-island runs partition agents into isolated islands with their own scoped attempts, notes, skills and heartbeat state, with migration between islands for broader exploration, and reusable rubric-judge grader packages support open-ended tasks such as reports or legal analysis.

It installs globally through a shell script, or through a plugin that lets a user's own Claude Code or Codex session author and run CORAL tasks without memorizing its CLI.

More in Agent frameworks

See all 902
  • Recurse

    recurse.run

    A serverless harness that lets a coding agent design, test, and deploy its own specialist sub-agents as tools, MCP servers, or bots, defined by a schema-validated manifest.

  • ProofForge

    shulgin.is-a.dev

    An AI-agent pipeline that decomposes a mathematics problem, proves each piece, and formalizes the result in Lean 4 and Mathlib until the Lean kernel accepts it, with six of its proofs already merged into Google DeepMind's formal-conjectures repository.

  • local-coder

    github.com

    Builds a local coding-agent team on top of Ollama and OpenCode by detecting the machine's hardware, recommending models for seven specialist roles, and testing whether each assigned model can actually use tools, edit a repository and pass verification.