allium plugin for Codex

Name: allium
Author: JUXT

CommunityPluginDeveloper Tools

Velocity through clarity.

How to install allium in Codex

1. Add the repo as a Codex plugin marketplace:

codex plugin marketplace add juxt/claude-plugins

2. Install the plugin from it:

codex plugin add allium@juxt-plugins

Commands copied from the repo README (the first adds the repo as a Codex marketplace; the second installs the plugin). Check the README for setup steps. Source: repo README.

What it contains

The plugin manifest doesn't list components inline. See the repo.

Example prompts from the manifest

Draft an Allium spec for this feature.
Review this .allium spec for gaps.
Generate test obligations from this spec.

About this listing

allium is a community plugin on GitHub by juxt. 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. The manifest says version 3.16.0. It's one of 160 listings in the Developer Tools category (category assigned by CodexStacks from the repo's topics and description).

allium FAQ

How do I install allium in Codex?

Add the repo as a Codex plugin marketplace with codex plugin marketplace add juxt/claude-plugins, then install it with codex plugin add allium@juxt-plugins. Commands: copied from the repo README; check the repo README too.

Is allium an official Codex plugin?

No. allium is a community repo on GitHub by juxt. 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 allium include?

The plugin manifest doesn't list components inline. See the repo.

Details

Type: Plugin
Category: Developer Tools (assigned by us)
Source: Community
Author: JUXT
Version: 3.16.0
License: MIT
GitHub stars: 513 (at last sync)
Last push: 2026-09-27
Manifest: .codex-plugin/plugin.json
GitHub topics: ai-agent-tools, behaviour-driven-development, formal-methods, spec-driven-development
Source: https://github.com/juxt/allium
Website: https://allium-lang.org
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 allium? Add the badge; it links to this page.

Markdown

[![Listed on CodexStacks](https://codexstacks.com/badge.svg)](https://codexstacks.com/p/allium/)

HTML

<a href="https://codexstacks.com/p/allium/"><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:

alliumCommunity Codex pluginVelocity through clarity.View on CodexStacks →

<a href="https://codexstacks.com/p/allium/" 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">allium</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">Velocity through clarity.</span><span style="font-size:12px;font-weight:600;color:#ffb347">View on CodexStacks →</span></a>

Markdown summary

**[allium on CodexStacks](https://codexstacks.com/p/allium/)**: Community Codex plugin.

More on badges, embeds and keeping your listing up to date: CodexStacks for plugin authors.