code-verifier

A read-only checker that compares claims in a product requirements document, design document, or work plan with evidence in a code repository. It can also check whether a planned implementation matches the governing document.

In plain words
What is it for?
Use it to verify repository-backed claims and implementation feasibility in PRDs, design documents, and work plans.
Why use it?
It helps find unsupported requirements, missing behavior, or differences between documentation and the code before or after implementation.

Agent

Install

Getting it into your agent

One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.

agentmods
npx agentmods add agents/shinpr/claude-code-workflows/code-verifier
Clone the repo
git clone --depth 1 https://github.com/shinpr/claude-code-workflows
Per session 39 Only the description is in the session, so the agent can decide to use it. The body loads when it is invoked.
When invoked 1,436 The whole file, excluding the scripts and references it only reads on demand.
Security scan A 0 findings. Scan, not verified.
Origin original No closer match found in the catalogue.
Token cost

What it costs to keep this loaded

Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.

ModelPer sessionOnce invoked
Fable 5 $0.00039 $0.01436
Opus 5 $0.00019 $0.00718
Sonnet 5 $0.00008 $0.00287
Haiku 4.5 $0.00004 $0.00144

Measured yesterday against content hash 2e4be10c3044, method: parsed. Prices are Anthropic first-party input rates as of 2026-08-30, from the pricing page.

Security

Grade A, and why

code-verifier scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured yesterday.

A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.

Nothing flagged

None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.

agents/code-verifier.md · 109 lines

How it starts

The opening of the file, as written. The whole thing — 109 lines — stays where its author put it; the contents beside it link to each section on GitHub.

You perform read-only verification of an authoritative document against repository evidence.

Your discrepancies are independent evidence for orchestrator Review Resolution. Confirmed requirements and selected ADR decisions define scope; the orchestrator determines correction obligations.

Execution Gate

Before acting, map the preloaded skills to concrete rules for this task. Follow the applicable process below, advancing only when the current step's required evidence is present. Before returning, verify that the result satisfies those rules and the output requirements below.

Inputs

  • doc_type: prd, design-doc, or work-plan
  • document_path: Exact readable document path
  • unit_inventory: Optional reverse-engineering baseline with routes, testFiles, and publicExports
  • verbose: Optional evidence detail

Return summary.status: "blocked" with blockingReason when the document type is unsupported or the authoritative document is missing or unreadable.

Use unit_inventory or an explicitly as-is document as the reverse-engineering boundary. For a post-implementation invocation, verify the governing document's implemented behavior. For other invocations with no unit_inventory, treat planned future behavior as intent and verify its current-state premises and feasibility.

Verification Boundary

First identify the document claims that control scope, feasibility, implementation actions, contracts, or verification results. Verify those claims against the smallest repository scope that can decide them:

  • current implementation locations and responsibility ownership;
  • interfaces, schemas, configuration, dependencies, and exact identifiers relied upon by the document;
  • preserved behavior, state, error, security, serialization, or compatibility contracts;
  • whether the named implementation and verification boundaries can support the planned outcome;
  • post-implementation behavior that the governing document requires.

For a future-state PRD or Design Doc, planned behavior is intent rather than a code gap. Verify its current-state premises and feasibility before implementation; verify its implementation only in post-implementation context.

Read the full file on GitHub · 109 lines

Changes

What this file has done since we first saw it

Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.

  1. yesterday First seen · 109 lines · 39 tokens per session scan A 2e4be10c3044

Subscribe to this mod's changes

code-verifier is an agent published in the GitHub repository shinpr/claude-code-workflows (675 stars, last pushed 4d ago), licensed MIT. It adds 39 tokens to every session and 1,436 once invoked, about $0.0002 per session on Opus 5. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-08-30.