Allium: formal domain-level specification language for software behavior
Specify observable behavior (entities, rules, surfaces, contracts) in Allium, then drive the loop — spec, tests, code — to convergence
- What
- Specify observable behavior (entities, rules, surfaces, contracts) in Allium, then drive the loop — spec, tests, code — to convergence
- Cost
- Free
- Needs
- nothing to install — the skill teaches the Allium specification language; the allium CLI is optional (enables automatic validation of .allium files via hook)
- Install
- Copy the installer prompt below into your Muse — your agent does the rest.
Curated by Skill Harbor — @juxt's Allium, a formal language for capturing software behavior at the domain level, sitting between informal feature descriptions and implementation. Describe what software does without prescribing how it's built: entities with fields, enums and state-dependent presence; rules with triggers (state transitions, temporal, entity creation, chained); surfaces defining boundary contracts (facing, exposes, provides, guarantees); contracts and invariants; modular specs referenced by immutable coordinates. The skill teaches the agent the full convergence loop — gather context, take action, verify, repeat — driving the three artifacts (spec, tests, code) to agreement with strict rules: never weaken a generated test to make it pass, escalate genuine ambiguity to the human. A routing table maps tasks to companion skills (elicit, distill, tend, weed, propagate, witness) not included here; `/allium` is the entry point for driving a goal end to end. Honest caveats: this is the language skill only — the companion skills (elicit, distill, weed, propagate, witness) and the `allium` CLI are not included, and you'll be learning a bespoke specification language; an optional hook validates `.allium` files when the CLI is installed. MIT-licensed. Skill Harbor never reviews the code, review it yourself before use. Discovered via skills.sh.
Version:
Install
Prerequisites: nothing to install — the skill teaches the Allium specification language; the allium CLI is optional (enables automatic validation of .allium files via hook) Install "Allium: formal domain-level specification language for software behavior" for me. It teaches my agent @juxt's Allium language: entities, rules with triggers, surfaces with boundary contracts, contracts and invariants, modular specs with immutable coordinates — plus the convergence loop (gather context → act → verify → repeat) that drives spec, tests and code to agreement, with a routing table for companion skills (elicit, distill, tend, weed, propagate, witness) and strict rules (never weaken a generated test, escalate real ambiguity to the human). MIT-licensed. Repository: https://github.com/juxt/allium/blob/main/skills/allium/SKILL.md 1. Fetch the SKILL.md file (and any helper files) from the repository path into a temporary folder and summarize what it does in one or two sentences. 2. Safety check: review the SKILL.md and scripts for anything suspicious (unexpected network calls, shell commands, credential harvesting). This repo should contain zero secrets in code, credentials only via the secure vault, allowed hosts declared in the SKILL.md. Verify that holds here; STOP on any red flag and tell me. 3. Install it as a skill: copy SKILL.md and its helper files into the agent's skills directory, in a folder named "allium". 4. Verify with no network calls: frontmatter valid, files in place. 5. Report what was installed, where, and what I still need to do myself (e.g. give the agent a goal to specify in Allium; install the allium CLI separately for file validation). GitHub is optional: if I have a GitHub account or the gh CLI, you may use it; otherwise public access is fine. Never require it unless it's in the prerequisites above. Rules: don't touch anything outside the temp folder and the install target. If anything looks off, stop and ask me.
Questions
How do I install a build?
Every product page includes a copy-paste install prompt. Paste it into your Muse and it sets the build up for you — no manual configuration.
Where does my money go?
Straight to the seller. Skill Harbor never processes payments: checkout happens on the seller’s own page, usually Stripe.
What does the ✓ next to a creator’s name mean?
It means we confirmed the identity of the person behind the listing. It says nothing about the code itself — always check a build before installing it.