allium
01Skill Claude CodeCodex
Give your AI agents something more useful than a prompt. Velocity through clarity.
477 5d ago A 18 tokens
original MIT
477Stars on the repository
15Mods indexed here, across every type
5d agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown
distill
02Skill Claude CodeCodex
Extract an Allium specification from an existing codebase. Use when the user has existing code and wants to distil behaviour into a spec, reverse engineer a specification from implementation, generate a spec from code, turn implementation into a behavioural specification, or document what a codebase does in Allium…
477 5d ago B 63 tokens
original MIT
elicit
03Skill Claude CodeCodex
Run a structured discovery session to build an Allium specification through conversation. Use when the user wants to create a new spec from scratch, elicit or gather requirements, capture domain behaviour, specify a feature or system, define what a system should do, or is describing functionality and needs help…
477 5d ago A 66 tokens
original MIT
propagate
04Skill Claude CodeCodex
Generate tests from Allium specifications. Use when the user wants to propagate tests, generate test files from a spec, write tests for a specification, create property-based tests, produce state machine tests, check test coverage against spec obligations, or understand what tests a specification requires.
477 5d ago A 57 tokens
original MIT
tend
05Skill Claude CodeCodex
Tend the Allium garden. Use when the user wants to write, edit, update, add to, improve, clarify, refine, restructure, fix or migrate Allium specs. Covers adding entities, rules, triggers, surfaces and contracts, fixing syntax or validation errors, renaming or refactoring within specs, migrating specs to a new…
477 5d ago A 90 tokens
original MIT
weed
06Skill Claude CodeCodex
Weed the Allium garden. Find where Allium specifications and implementation code have diverged, and help resolve the divergences. Use when the user wants to check spec-code alignment, compare specs against implementation, audit for spec drift or violations, sync specs with code or code with specs, or verify whether…
477 5d ago A 71 tokens
original MIT
witness
07Skill Claude CodeCodex
Independently witness that an Allium loop's convergence claim is true and was reached honestly. Use when the user wants to verify a loop's self-report, confirm tests really pass and no generated test was weakened, produce a convergence certificate or witness record, gate CI on a trustworthy signal, or check that an…
477 5d ago A 75 tokens
original MIT