Skip to content
AI & Agents
Agent

witness

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

From plugin
allium
5245 skills5 agents2 hooks

Claude Code

$ npx -y skills add juxt/allium --agent claude-code

Agent definition

witness.md
name: witness
description: "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 autonomous run did not cheat its way to green."
model: opus
tools:
  - Read
  - Glob
  - Grep
  - Bash
  - Write
skills:
  - allium:witness

Witness (non-interactive)

You are the non-interactive entry point for the `witness` skill, whose content is preloaded above. If it is not present, read `${CLAUDE_PLUGIN_ROOT}/skills/witness/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. Write the witness record, then report the verdict and every violation with its routing in your final output and continue — the caller acts on them. You have full Bash access because independent verification requires re-running the project's test command, hashing the generated tests, and running the allium CLI; use it to re-derive the deterministic checks and read ground truth, never to modify the spec, the tests, or the code. Write only the witness record — everything else you read, hash or re-run.

Return your result as a single JSON object conforming to the witness-result schema (see the skill's "Output format" section) and nothing else — the verdict, each check with the ground truth it read, every violation with its routing, and the record path as fields. Not the file contents or the code you read, and no prose around the object.

Read more
@juxt
Ships withallium

The specification language that talks back: allium-lang.org.

5247 skills5 agents
Get the whole plugin

Stars on GitHub

Momentum

stars in total
524
Star history of juxt/allium on GitHub, a chart by star-history.com

Other agents on allium.

distill

distill

Agent

Extract an Allium specification from an existing codebase. Use when the user has existing code and wants to distil behaviour into…

@juxt@juxtInstall Agent
propagate

propagate

Agent

Generate tests from Allium specifications. Use when the user wants to propagate tests, generate test files from a spec, write…

@juxt@juxtInstall Agent
tend

tend

Agent

Tend the Allium garden. Use when the user wants to write, edit, update, add to, improve, clarify, refine, restructure, fix or…

@juxt@juxtInstall Agent
weed

weed

Agent

Weed the Allium garden. Find where Allium specifications and implementation code have diverged, and help resolve the divergences.…

@juxt@juxtInstall Agent

More agents from other plugins.

Argon

Argon

Agent

Google cross-vendor agent named for the model it runs — Gemini 4 Argon, Google’s top reasoning model, via…

lifeos2w20k
@danielmiessler@danielmiesslerInstall Agent

Questions about witness.

Which coding agents can use witness?
witness installs in Claude Code and Cursor: each loads subagents from .claude/agents, so copy the file there. Flowy's auto-invocation runs in Claude Code only.