verifier

verifier is an agent for Claude Code from toverux/cantrips. It costs 64 tokens per session (463 once invoked), scanned A, original, MIT.

A review agent that checks each reported bug against the available code and evidence. It returns whether the bug is confirmed, plausible but uncertain, or refuted, with a line supporting the decision.

In plain words
What is it for?
Use it to verify code-review findings, investigate claimed bugs, and record the evidence for each judgement.
Why use it?
It separates real defects from guesses before anyone changes the code. This reduces fixes based on incomplete or incorrect reports.

Agent for Claude Code

Written for Claude Code: background in frontmatter. Also seen: model in frontmatter.

Part of the cantrips plugin — 25 skills, 3 agents shipped together

Good fit Use it to verify code-review findings, investigate claimed bugs, and record the evidence for each judgement.

Compare 6 agents from other repositories ↓
Install with agentmods
npx agentmods add agents/toverux/cantrips/verifier
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.

Clone the repo
git clone --depth 1 https://github.com/toverux/cantrips

Made for: Claude Code.

Or install cantrips, the plugin that ships this one along with the rest of its 25 skills, 3 agents.

Wrote this? Show the measurements

A badge with what this costs and how it scanned, read live from this page, so it follows the numbers instead of freezing them. Markdown for a README, HTML for a documentation site or a project page.

agentmods badge for verifier

README.md
[![agentmods](https://agentmods.dev/badge/agents/toverux/cantrips/verifier/github.svg)](https://agentmods.dev/agents/toverux/cantrips/verifier)
Your own site
<a href="https://agentmods.dev/agents/toverux/cantrips/verifier"><img src="https://agentmods.dev/badge/agents/toverux/cantrips/verifier/github.svg" alt="Measured on agentmods" height="20"></a>

Or the 80×15 button, for a site that already has a row of RSS and ATOM ones. Only the verdict fits; the numbers stay here.

agentmods 80×15 button for verifier

Your own site · 80×15
<a href="https://agentmods.dev/agents/toverux/cantrips/verifier"><img src="https://agentmods.dev/badge/agents/toverux/cantrips/verifier.svg" alt="Reviewed on agentmods" width="80" height="20"></a>
Per session 64 Only the description is in the session, so the agent can decide to use it. The body loads when it is invoked.
When invoked 463 The whole file, excluding the scripts and references it only reads on demand.
Security scan A 0 findings. A grade says what 26 rules found in the file — not that it is safe.
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.1 $0.00064 $0.00463
Opus 5.5 $0.00026 $0.00185
Sonnet 5.5 $0.00013 $0.00093
Haiku 4.5 $0.00006 $0.00046

Measured 2d ago against content hash d12f87597cf3, method: parsed. Prices are Anthropic first-party input rates as of 2026-10-07, from the pricing page.

Security

Grade A, and why

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 2d ago.

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/verifier.md · 20 lines

What it actually says

You are a verifier of a /review-gate run: an independent judge of the candidates the message carries, each judged on its own evidence, never weighed against another in its group. Read the scope block and the files the message names, and run the diff command the scope block carries where a candidate's hunk decides it; where no scope block comes with the message, judge what the message points at. You edit nothing: a verdict is evidence for the session to act on. Return nothing but JSON: an array of verdict objects, each carrying index (the candidate it judges), verdict, and evidence (the quoted line that proves or refutes):

  • CONFIRMED — can name the inputs or state that trigger it and the wrong output or crash; the evidence quotes the failing line.
  • PLAUSIBLE — the mechanism is real, the trigger uncertain (timing, env, config); the evidence states what would confirm it.
  • REFUTED — factually wrong or guarded elsewhere; the evidence quotes the proving line.

Where a verdict rests on evidence beyond the diff — an experiment, a trace through code outside the target or a decompile — evidence also says how it was established. A spec candidate is judged on whether the mismatch is real, never on whether it was deliberate: cite deliberateness evidence (session transcript, commit messages) in the verdict's evidence to inform the user, and let the finding stand — the user routes it at fix time. Where the message says the run is at high, judge PLAUSIBLE by default: realistic runtime state — races, nil on a rare-but-reachable path, falsy-zero, a boundary off-by-one, retry storms, an unanchored pattern — is never refuted as "speculative"; REFUTED must be constructible from the code.

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. 2d ago Changed · +1 lines · +13 tokens per session d12f87597cf3
  2. 5d ago First seen · 19 lines · 51 tokens per session scan A 425170232a5f

Subscribe to this mod's changes

verifier is an agent published in the GitHub repository toverux/cantrips (3 stars, last pushed 2d ago), licensed MIT. It adds 64 tokens to every session and 463 once invoked, about $0.0003 per session on Opus 5.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-10-16.

Related

Other agents, from other repositories

refactorer

Code refactoring specialist for improving code quality, reducing technical debt, and applying design patterns. Use when code needs restructuring, simplification, or when applying DRY/SOLID principles.

ckorhonen/claude-skills · 41 tokens

skeptic

Verifies factual claims in tech-spec or tasks against actual codebase. Detects mirages: non-existent files, functions, dependencies, patterns, name mismatches. Orchestrator specifies feature path. Agent reads documents and checks every claim in code. Use during tech-spec validation (phase 2, step 5) and task…

stepanenkoviktor0110-boop/ai-dev-methodology-codex · 95 tokens

silent-failure-hunter

Review code for silent failures, swallowed errors, bad fallbacks, and missing error propagation.

iabhisekbosepm/codex-god-setup · 24 tokens

build-failure-analyst

Expert build-failure analyst for .NET / MSBuild repositories. Invoke when a build produced a binary log (.binlog) and you need to identify the root cause(s) of failure, group related errors, and propose concrete fixes. Queries the binlog live through the binlog-mcp MCP server (containerised — see the calling…

dotnet/skills · 108 tokens

predictive-analyst

Precognition agent. Analyzes code changes to predict impact, regressions, and conflicts BEFORE they happen. Uses dependency graphs and historical data.

softspark/ai-toolkit · 35 tokens

close-auditor

You are a skeptical, evidence-first auditor of finance deliverables: financial statements, close packages, budget-variance reports, tax calculations, and IR financial models. You operate in a strictly read-only capacity — you inspect artifacts and report findings; you never fix them yourself.

modu-ai/moai-cowork · 85 tokens