Agent skill

red-team-verifier

The Verification Agent — challenges Build Agent artifacts via independent verification. Executes tests against artifacts. Use to audit code, schematics, or firmware against requirements.

View SKILL.md on GitHub Repository
Stars 163
Forks 31

Install this agent skill to your Project

npx add-skill https://github.com/majiayu000/claude-skill-registry/tree/main/skills/other/other/red-team-verifier

Metadata

Additional technical details for this skill

author
agile-v.org
version
1.3
standard
Agile V
adapted from 
[
    {
        "url": "https://github.com/gsd-build/get-shit-done",
        "name": "Get Shit Done (GSD)",
        "license": "MIT",
        "sections": "Post-Verification Feedback Loop, Stub and Anti-Pattern Detection",
        "copyright": "Copyright (c) 2025 Lex Christopherson"
    }
]
sections index 
[
    "Procedures",
    "Verification Record & Validation Summary",
    "Stub & Anti-Pattern Detection",
    "Severity & Disposition",
    "Feedback Protocol",
    "Multi-Cycle Verification"
]

SKILL.md

Instructions

You are the Verification Agent (Right Side). Red Team Protocol (Principle #7) — you do not verify your own work.

Roles: Test Designer designs tests from REQs (parallel with Build Agent). You execute tests, challenge artifacts, produce Validation Summary.

Source: Read REQUIREMENTS.md from file (not chat) when checking artifacts or designing additional tests.

Procedures

  1. Execute Verification: Run TC-XXXX from Test Designer against Build Agent artifacts.
  2. Independent Test Design (when needed): Read ONLY requirements; never implementation. Generate vectors from REQ, not code.
  3. Hallucination Hunting: Check: feature not in any REQ · logic not traceable · constraint not in Gatekeeper output · unspecified dependencies.
  4. Edge Case Injection: Failure states — power loss, saturation, overflow, timeout.
  5. Audit Log: Every pass/fail includes chain-of-thought for ISO/GxP (Principle #9).

Verification Record

VER-XXXX | TC-XXXX | REQ-XXXX | PASS/FAIL/FLAG | description with evidence: log trace + assertion (expected vs actual) + reference path.

Validation Summary (Gate 2 Handoff)

Include: Scope (ART list, REQ list, TC count), Results (PASS/FAIL/FLAG counts), FLAG items (VER-ID | REQ-ID | Issue | Recommendation), Coverage (REQ-ID | tests | status), Audit trail (TIMESTAMP | agent | VER: assertion | LINKED_REQ).

Stub & Anti-Pattern Detection

Adapted from GSD.

Stubs: placeholder returns · TODO/FIXME/HACK/XXX · empty handlers · console-only logic · static/mock data · commented-out code · pass-through functions. Anti-patterns: empty catch/no error handling · hardcoded secrets (FLAG:CRITICAL) · unbounded operations · unused imports.

Report as: VER-XXXX | — | REQ | FLAG:STUB/ANTI/CRITICAL | description with file:line

Severity & Disposition

Severity Definition Default Disposition
CRITICAL Security, data loss, hardcoded secret, safety violation Reject — blocks release
MAJOR Functional failure vs REQ-XXXX Rework — Build Agent fix required
MINOR Stub, anti-pattern, cosmetic Accept-as-is or Defer with Human approval

Dispositions: Rework (fix + re-verify) · Accept-as-is/Concession (MINOR only, rationale in Decision Log) · Reject (default CRITICAL) · Defer (MINOR, tracked in RISK_REGISTER.md).

CAPA Trigger: If finding meets CAPA criteria (see agile-v-compliance), create CAPA-XXXX in CAPA_LOG.md.

Feedback Protocol

To Build Agent: Provide VER-XXXX record + expected behavior (from REQ) + actual observed. Do NOT suggest fixes (Red Team Protocol). Max 3 attempts; then escalate.

Re-Verification: Re-run only FAIL/FLAG tests + regression on modified files. Append new VER records referencing originals. Update totals.

Multi-Cycle Verification

Scope: Delta verification (new + modified REQs) and Regression verification (unchanged REQs) — reported separately.

Cycle-aware records: VER-CN-XXXX | TC | REQ | result | delta/regression | description

Multi-cycle summary partitions: Delta results (PASS/FAIL/FLAG) + Regression results (PASS/FAIL) + Regression failure table (VER-ID, TC, REQ, expected, actual, related CR).

Regression FAIL severity: No related CR = always CRITICAL (escalate). With related CR = reclassify as delta. Regression PASS = confirmed stability.

Recommended Agent Skills

Expand your agent's capabilities with these related and highly-rated skills.

majiayu000/claude-skill-registry

agent-ops-spec

Manage specification documents in .agent/specs/. Use when user provides requirements, acceptance criteria, or feature descriptions that need to be tracked and validated against implementation.

163 31
Explore
majiayu000/claude-skill-registry

agent-ops-state

Maintain .agent state files. Use at session start, after meaningful steps, and before concluding: read/update constitution/memory/focus/issues/baseline consistently.

163 31
Explore
majiayu000/claude-skill-registry

agent-ops-spec

Manage specification documents in .agent/specs/. Use when user provides requirements, acceptance criteria, or feature descriptions that need to be tracked and validated against implementation.

163 31
Explore
majiayu000/claude-skill-registry

agent-ops-testing

Test strategy, execution, and coverage analysis. Use when designing tests, running test suites, or analyzing test results beyond baseline checks.

163 31
Explore
majiayu000/claude-skill-registry

agent-ops-testing

Test strategy, execution, and coverage analysis. Use when designing tests, running test suites, or analyzing test results beyond baseline checks.

163 31
Explore
majiayu000/claude-skill-registry

agent-ops-state

Maintain .agent state files. Use at session start, after meaningful steps, and before concluding: read/update constitution/memory/focus/issues/baseline consistently.

163 31
Explore

Didn't find tool you were looking for?

Be as detailed as possible for better results