hal-9000 plugin for Codex
Opinionated AI coding agent and dev environment automation for macOS
How to install hal-9000 in Codex
We didn't find a Codex manifest at the repo root, so there's no one-line install. Follow the install steps in the repo README.
What it contains
Component list not published in a manifest we can read. See the repo README.
About this listing
hal-9000 is a community plugin on GitHub by vinta, tagged codex-plugin. It passed the CodexStacks quality filter (at least 10 stars, pushed in the last 180 days, not a fork, has a description and a manifest or README). OpenAI hasn't reviewed it and we haven't tested it. It's one of 79 listings in the Developer Tools category (category assigned by CodexStacks from the repo's topics and description).
Get new Codex plugins like hal-9000 every week
The weekly CodexStacks drop: what's new and updated in the directory, in one short email.
You'll get a confirmation email first. Unsubscribe anytime.
hal-9000 FAQ
How do I install hal-9000 in Codex?
We didn't find a Codex manifest at the repo root, so there's no one-line install. Follow the install steps in the repo README.
Is hal-9000 an official Codex plugin?
No. hal-9000 is a community repo on GitHub by vinta. 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 hal-9000 include?
Component list not published in a manifest we can read. See the repo README.
Details
- Type
- Plugin
- Category
- Developer Tools (assigned by us)
- Source
- Community
- Author
- vinta
- License
- MIT
- GitHub stars
- 139 (at last sync)
- Last push
- 2026-10-15
- GitHub topics
- agent-skills, ai-agents, ansible-playbooks, claude-code, claude-code-plugin, cli, developer-tools, dotfiles, macos, python
- Source
- https://github.com/vinta/hal-9000
- Listed via
- GitHub topic codex-plugin
- 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 hal-9000? Add the badge; it links to this page.
Markdown
[](https://codexstacks.com/p/hal-9000/)HTML
<a href="https://codexstacks.com/p/hal-9000/"><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/hal-9000/" 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">hal-9000</span><span style="display:block;margin:2px 0 8px;font-size:12px;color:#b5a9a1">Community Codex plugin</span><span style="display:block;margin:0 0 10px;color:#ddd3cc">Opinionated AI coding agent and dev environment automation for macOS</span><span style="font-size:12px;font-weight:600;color:#ffb347">View on CodexStacks →</span></a>Markdown summary
**[hal-9000 on CodexStacks](https://codexstacks.com/p/hal-9000/)**: Community Codex plugin.More on badges, embeds and keeping your listing up to date: CodexStacks for plugin authors.
Also in Developer Tools
dashi-taskboard
现代化可灵活嵌入的任务面板，支持 Codex、DeepSeek Harness
pstack-claude
Claude Code, Codex, Copilot, Pi, OpenCode, Gemini, and Prime Agent versions of Poteto's pstack. Rigorous agent workflows with Cursor primitives translated for other harnesses.
Citadel Harness
Codex-native agent orchestration harness for durable campaigns, skills, hooks, telemetry, and parallel work.
AGY Staff
Delegate work to Google's Antigravity CLI (agy) with fast Gemini access - five personas: staffer (general), researcher, reviewer (code and plans), implementer, ask.
abide
Make your coding agent abide by all your project rules
zapier-mcp
Official plugin distribution for the hosted Zapier MCP server. Install it in your AI client and connect to thousands of apps.