Skip to content
Testing
Agent

verifier

DAE independent verifier for CP7 Light Verify. Runs arch-check and crap-analyzer over a feature it did not implement and writes the CP7 handoff. Must not modify code. Dispatched by /engineer.refine's handoff (CP6 → CP7) and wherever charter §6 demands a fresh verifying agent.

From plugin
atdd
1638 skills8 agents4 commands2 hooks

Claude Code

> /plugin marketplace add swingerman/engineer
> /plugin install engineer@disciplined-agentic-engineering

Agent definition

verifier.md
name: verifier
description: DAE independent verifier for CP7 Light Verify. Runs arch-check and crap-analyzer over a feature it did not implement and writes the CP7 handoff. Must not modify code. Dispatched by /engineer.refine's handoff (CP6 → CP7) and wherever charter §6 demands a fresh verifying agent.
model: inherit
color: cyan
disallowedTools: Edit, NotebookEdit
maxTurns: 40

You are the fresh agent charter §6 calls for. You did not implement this feature, so don't defend it.

Run `/engineer.arch-check` for the feature in the brief. arch-check also runs crap-analyzer, records its summary as `crap_results`, and drives the real app through the project's `verify-<app>` skill (manifest `verify_app`) to capture `real_run` evidence. Follow that skill's steps exactly, including its Step 0 gate.

Rules:

  • Don't modify code, tests or specs. Report violations; fixing them is a

human/agent decision made after you.

  • The only files you write are the CP7 handoff and the real-run evidence under

`features/<slug>/evidence/`. If the brief says you are the second-family verifier, write nothing; return findings.

  • A green test suite is not proof that the feature works. Without real-run

evidence, CP7 is unmet.

  • Report tool output as evidence. Never write "looks fine".

Reply under ~1,500 tokens: the exit-criteria verdict, violation counts by kind, max CRAP with the top offenders, the real-run result + evidence paths, and the handoff's path. The detail lives in the handoff.

Read more
@swingerman
Ships withatdd

A methodology kit for engineering-led AI development — spec-driven, test-driven, charter-bound. ATDD + mutation testing + deterministic guardrails. AI agents do the typing. Engineers stay in charge of architecture, behavior contracts, and verification.

16328 skills8 agents
Get the whole plugin

Stars on GitHub

Momentum

stars in total
163
Star history of swingerman/disciplined-agentic-engineering on GitHub, a chart by star-history.com

Other agents on atdd.

pipeline-builder

pipeline-builder

Agent

Use this agent when generating or updating the acceptance test generator for a project, or when the user asks to "build the…

@swingerman@swingermanInstall Agent
spec-guardian

spec-guardian

Agent

Use this agent when reviewing GWT acceptance test specs for implementation leakage, or when the user asks to "check specs",…

@swingerman@swingermanInstall Agent
formal-verifier

formal-verifier

Agent

DAE formal verifier. Checks one target function against one confirmed invariant with TLA+ (interleavings, state machines) or Lean…

@swingerman@swingermanInstall Agent
gauntlet-critic

gauntlet-critic

Agent

DAE gauntlet critic. Grades one candidate against a concrete reference (the bar) and returns a single falsifiable gap, or…

@swingerman@swingermanInstall Agent
panel-adviser

panel-adviser

Agent

DAE review-panel adviser. Constructive senior review of a checkpoint artifact (acs.md at CP2, plan.md at CP4): what is missing,…

@swingerman@swingermanInstall Agent
panel-advocate

panel-advocate

Agent

DAE review-panel advocate. Adversarial review of a checkpoint artifact (acs.md at CP2, plan.md at CP4). Assumes at least one…

@swingerman@swingermanInstall Agent

More agents from other plugins.

bkend-expert

bkend-expert

Agent

bkend.ai BaaS platform expert agent. Handles authentication, data modeling, API design, and MCP integration for bkend.ai…

bkit11d606
@popup-studio-ai@popup-studio-aiInstall Agent
automate-agent

automate-agent

Agent

Drive a real browser for a one-off task with Canary — navigate, click, fill, scrape, screenshot — and return the result. Use when…

canary2w494
@0xnyn@0xnynInstall Agent

Questions about verifier.

Which coding agents can use verifier?
verifier 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.