verify: Instructions file for Claude Code

CLAUDE.md

verify CLAUDE.md is an instructions file for Claude Code from opslane/verify. It costs 454 tokens per session, scanned A, original, MIT.

Project instructions for Opslane Verify, a Claude Code plugin that checks whether a software change meets agreed acceptance criteria. Acceptance criteria are specific conditions used to decide whether a change works.

In plain words
What is it for?
Use them when changing the verification workflow or engine, defining checks, reviewing changed files, finding coverage gaps, or understanding generated verification reports.
Why use it?
They keep checking separate from fixing, so the verification result is based on observed behaviour rather than assumptions from the code diff. They also explain where run reports and the shared skill are stored.

Instructions file for Claude Code

Written for Claude Code: PostToolUse hook event. Also seen: reads .claude/ paths; mentions Claude Code.

This is opslane/verify's own configuration. It tells Claude Code how to work on verify itself, so it is not a mod to install elsewhere. Copy it as a starting point and replace the rules that are about this project. Everything verify configures →

Runs only inside a plugin — its command needs a path that Claude Code sets for a plugin’s own hooks and for nothing else, and the catalogue could not identify which plugin ships it.

Reuse

Borrowing it

Nothing to install: this file belongs to opslane/verify. Take a copy, put it at the same path in your own repository, and replace the rules that are about this project with yours.

Copy the file
curl -O https://raw.githubusercontent.com/opslane/verify/main/CLAUDE.md
Clone the repo
git clone --depth 1 https://github.com/opslane/verify

Made for: Claude Code.

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 verify CLAUDE.md

README.md
[![agentmods](https://agentmods.dev/badge/instructions/opslane/verify/claude-md/github.svg)](https://agentmods.dev/instructions/opslane/verify/claude-md)
Your own site
<a href="https://agentmods.dev/instructions/opslane/verify/claude-md"><img src="https://agentmods.dev/badge/instructions/opslane/verify/claude-md/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 verify CLAUDE.md

Your own site · 80×15
<a href="https://agentmods.dev/instructions/opslane/verify/claude-md"><img src="https://agentmods.dev/badge/instructions/opslane/verify/claude-md.svg" alt="Reviewed on agentmods" width="80" height="20"></a>
Per session 454 This file is loaded in full into every session.
When invoked 454 The same file — it is already loaded in full.
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.00454 $0.00454
Opus 5.5 $0.00182 $0.00182
Sonnet 5.5 $0.00091 $0.00091
Haiku 4.5 $0.00045 $0.00045

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

Security

Grade A, and why

verify CLAUDE.md 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 29d 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.

CLAUDE.md · 46 lines

What it actually says

Project

opslane-verify — a Claude Code plugin that verifies a change works. It turns the change's plan into acceptance criteria, stops for approval, then drives the real system and reports what it observed.

Architecture

skills/verify/SKILL.md        the workflow. Claude is the control loop.
skills/verify-setup/SKILL.md  one-time repo setup: the setup contract and the app profile.
skills/break/SKILL.md         tries to break a change on a disposable local stack.
pipeline/                     the engine. A few CLI verbs over pure modules.

The skill decides what to check and judges the result. The engine only does plumbing that would be silly to do in markdown:

  • criteria renders the approval artifact from JSON
  • report renders the report from JSON
  • changed-files lists behaviour-bearing changed files, and coverage gaps given claims
  • profile-check validates .verify/profile.json, the app profile /verify-setup writes

Run artifacts land in the target repository under .verify/runs/<id>/ and are gitignored there. The engine holds no state.

Boundaries

The skill never fixes what it judges. It never derives acceptance criteria from the diff alone. It never reads source to decide pass or fail — a criterion that cannot be checked without reading code is the wrong criterion.

Skill sync

skills/ is the source of truth. A PostToolUse hook (.claude/hooks/sync-skill.sh) copies the skill to ~/.claude/skills/ after every Write or Edit. Never edit the copy under ~/.claude/ directly.

Note: an installed plugin resolves the engine through CLAUDE_PLUGIN_ROOT. Set VERIFY_PIPELINE only when running from a development checkout.

Engine work

cd pipeline && npm ci
npm test          # vitest
npm run typecheck # tsc --noEmit, expected clean

The lib modules are pure functions over plain data. Keep them that way: everything that touches the filesystem, git, or the network lives in cli.ts.

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. 29d ago Changed · +3 lines · +61 tokens per session 9536102b375b
  2. 1mo ago First seen · 43 lines · 393 tokens per session scan A 10f6f0e82a87

Subscribe to this mod's changes

verify CLAUDE.md is an instructions file published in the GitHub repository opslane/verify (115 stars, last pushed 12d ago), licensed MIT. It adds 454 tokens to every session, about $0.0018 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-08-30.

Related

Other instructions, from other repositories