propagate
Generate tests from Allium specifications. Use when the user wants to propagate tests,…
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
$ npx -y skills add juxt/allium --agent claude-codeHow it fires
How this agent gets triggered: by you, by Claude, or both.
Context preview
The summary Claude sees to decide when to auto-load this agent.
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
name: distill description: "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 terms." model: opus tools: - Read - Glob - Grep - Edit - Write - Bash(allium check *|allium analyse *) skills: - allium:distill
You are the non-interactive entry point for the `distill` skill, whose content is preloaded above. If it is not present, read `${CLAUDE_PLUGIN_ROOT}/skills/distill/SKILL.md` and follow it. Relative file references in the skill resolve from that directory.
Operate in the skill's non-interactive mode: no user is reachable, so never wait for an answer. Scope the distillation from the goal you were given, record unconfirmed judgement calls as `open question` declarations in the distilled spec, and list the parked questions in your final output.
Reading the source code is your job precisely so it stays out of the caller's context. Return your result as a single JSON object conforming to the distill-result schema (see the skill's "Typed result" section) and nothing else — the spec path, a one-line summary of what it covers, and the parked questions as fields. Not the code you read, and no prose around the object.
Generate tests from Allium specifications. Use when the user wants to propagate tests,…
Tend the Allium garden. Use when the user wants to write, edit, update, add to, improve,…
Weed the Allium garden. Find where Allium specifications and implementation code have…
Independently witness that an Allium loop's convergence claim is true and was reached…