CORAL plugin for Codex
Open-source autoresearch powered by autonomous coding agents. Run Claude Code, OpenCode, and Codex with grading, shared knowledge, and multi-agent evolution. Accepted at COLM 2026.
How to install CORAL in Codex
1. Add the repo as a Codex plugin marketplace:
codex plugin marketplace add Human-Agent-Society/CORAL2. Install the plugin from it:
codex plugin add coral@coral-marketplaceThis repo ships a Codex marketplace file (.agents/plugins/marketplace.json). The first command adds it as a marketplace (Codex CLI reference); the second installs the plugin 'coral'. 'coral-marketplace' is the marketplace name from that file. Check the repo README too. Command format: Codex CLI reference.
What it contains
Plugins in this marketplace (1)
coral— Author and run CORAL tasks from Codex. Teaches the coral CLI workflow (init/validate, start/status/resume/log/show) and checks coral is installed on session start.
About this listing
CORAL is a community plugin on GitHub by Human-Agent-Society. Its README documents a Codex install and the repo ships a Codex plugin manifest. It passed the CodexStacks quality filter for repos found this way (at least 500 stars, pushed in the last 90 days, not a fork or a list). OpenAI hasn't reviewed it and we haven't tested it. From its files we found 1 plugin. It's one of 175 listings in the Productivity category.
Stacks Weekly: every new Codex and Grok Build plugin, every Tuesday.
One short email for GrokStacks and CodexStacks readers, with each new plugin's install line and what it ships. Subscribe and get the free starter list: 20 Codex plugins worth installing first.
You'll get a confirmation email first. Unsubscribe anytime.
CORAL FAQ
How do I install CORAL in Codex?
Add the repo as a Codex plugin marketplace with codex plugin marketplace add Human-Agent-Society/CORAL, then install it with codex plugin add coral@coral-marketplace. Commands: the command format from the Codex CLI reference; check the repo README too.
Is CORAL an official Codex plugin?
No. CORAL is a community repo on GitHub by Human-Agent-Society. It passed the CodexStacks quality filter, but OpenAI hasn't reviewed it and we haven't tested it, so read the code before you install it.
What does CORAL include?
From its manifest and repo files, CORAL includes 1 plugin: coral.
Details
- Type
- Plugin
- Category
- Productivity
- Source
- Community
- Author
- Human-Agent-Society
- License
- Apache-2.0
- GitHub stars
- 1,072 (at last sync)
- Last push
- 2026-09-08
- Manifest
.agents/plugins/marketplace.json- GitHub topics
- agent-framework, agent-orchestration, agentic-ai, ai-agents, alpha-evolve, autonomous-agents, autoresearch, claude-code, code-generation, coding-agent, evolutionary-algorithm, large-language-models
- Source
- https://github.com/Human-Agent-Society/CORAL
- Website
- https://coral.compounding-intelligence.ai
- Listed via
- GitHub search: README documents a Codex install
- Tested by CodexStacks
- Not yet
Something wrong or missing? Submit or improve this listing. Listings also refresh automatically every night.
For maintainers: badge and embeds
Maintain CORAL? Add the badge; it links to this page.
Markdown
[](https://codexstacks.com/p/coral/)HTML
<a href="https://codexstacks.com/p/coral/"><img src="https://codexstacks.com/badge.svg" alt="Listed on CodexStacks" width="172" height="28"></a>Embed card (static HTML and inline CSS, no JavaScript). Preview:
<a href="https://codexstacks.com/p/coral/" style="display:block;max-width:380px;box-sizing:border-box;padding:14px 16px;border:1px solid #3a2c26;border-radius:12px;background:#0d0b0a;color:#f3ece6;font:14px/1.45 -apple-system,Segoe UI,Roboto,Helvetica,Arial,sans-serif;text-decoration:none"><span style="display:block;font-size:16px;font-weight:700;color:#f3ece6">CORAL</span><span style="display:block;margin:2px 0 8px;font-size:12px;color:#b5a9a1">Community Codex plugin · 1 plugin</span><span style="display:block;margin:0 0 10px;color:#ddd3cc">Open-source autoresearch powered by autonomous coding agents. Run Claude Code, OpenCode, and Codex with grading…</span><span style="font-size:12px;font-weight:600;color:#ffb347">View on CodexStacks →</span></a>Markdown summary
**[CORAL on CodexStacks](https://codexstacks.com/p/coral/)**: Community Codex plugin with 1 plugin.More on badges, embeds and keeping your listing up to date: CodexStacks for plugin authors.
Also in Productivity
ECC
Harness-native ECC workflows for Codex: shared skills, production-ready MCP configs, and selective-install-aligned conventions for TDD, security scanning, code review, and autonomous development.
ponytail
Lazy senior dev mode. Forces the simplest, shortest solution that actually works: YAGNI, stdlib first, no unrequested abstractions.
Agent Skills
Production-grade engineering skills for AI coding agents covering the full software development lifecycle from spec to ship.
Pake
🤱🏻 Turn any website into a tiny, fast desktop app.
gbrain
Personal knowledge brain for your coding agent — hybrid search, synthesis, graph traversal, and durable cross-session memory over Postgres/PGLite with pgvector, plus a curated brain-first skill set.
context-mode
MCP server that saves 98% of your context window with session continuity. Sandboxed code execution in 11 languages, FTS5 knowledge base with BM25 ranking, and automatic state restore across compactions.