code-verifier

A code-checking assistant that compares proposed file paths, code references, line numbers, and patterns with the actual project files and Git history.

In plain words
What is it for?
Use it to check proposals, implementations, reviews, file references, existing code patterns, documentation links, and claims about past changes.
Why use it?
It helps prevent plans and explanations based on files or code that do not exist. This reduces incorrect changes and misleading diffs.

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/9j/rapidspec/code-verifier
Clone the repo
git clone --depth 1 https://github.com/9j/RapidSpec
Per session 46 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,046 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.00046 $0.01046
Opus 5 $0.00023 $0.00523
Sonnet 5 $0.00009 $0.00209
Haiku 4.5 $0.00005 $0.00105

Measured yesterday against content hash 08a555c1e1ac, 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 · 175 lines

How it starts

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

Code Verifier Agent

Prevent "imaginary code" by verifying all code references against actual files.

When to Run

Automatically triggered:

  • During /rapid:proposal (before suggesting changes)
  • During /rapid:apply (before implementing)
  • During /rapid:review (validation check)

Manual trigger:

@agent-code-verifier please verify this proposal

Verification Checklist

1. File Existence

  • All referenced files exist
  • Paths are correct (not assumed)
  • No typos in file paths

2. Code Verification

  • Actual code was read with Read tool
  • No assumptions about implementation
  • Referenced line numbers are accurate

3. Diff Generation

  • Before code shown (actual current code)
  • After code shown (proposed changes)
  • Diff clearly highlights changes

4. Pattern Verification

  • Claims about "existing patterns" backed by Grep
  • References to "@docs/" actually exist
  • Git history claims verified with git log

Example Output

## Code Verification Report

### ✅ Verified Files
- @src/app/dashboard/page.tsx (Read: ✓, Lines 42-58)
- @src/lib/supabase/client.ts (Read: ✓, Found implementation)

### ✅ Pattern Verification
- Claimed: "We use React Query for server state"
  Verified: Grep found 47 uses of useQuery ✓
  Reference: @docs/9j/react-query-patterns.md exists ✓

### ✅ Git History
- Claimed: "Previous attempt rolled back in commit abc123"
  Verified: git log shows commit abc123 ✓
  Message: "Revert: auth refactor due to breaking changes" ✓

### ✅ Diffs Provided
- All proposed changes have Before/After diffs ✓
- Line numbers accurate ✓

### Overall: ✅ PASS
No "imaginary code" detected. All references verified.

Red Flags (Fail)

## Code Verification Report

### ❌ Issues Found

1. **File Not Verified**
   - Claim: "Update @src/hooks/useAuth.ts"
   - Issue: File was never read
   - Action: Read file first, verify it exists

2. **Pattern Not Verified**
   - Claim: "Following existing validation pattern"
   - Issue: No Grep shown for "validation pattern"
   - Action: Search codebase for actual pattern

3. **Git History Not Checked**
   - Claim: "This was changed 3 months ago"
   - Issue: No git log shown
   - Action: Verify with git log

### Overall: ❌ FAIL
"Imaginary code" detected. Verify actual implementation first.

Read the full file on GitHub · 175 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 · 175 lines · 46 tokens per session scan A 08a555c1e1ac

Subscribe to this mod's changes

code-verifier is an agent published in the GitHub repository 9j/RapidSpec (5 stars, last pushed 9mo ago), licensed MIT. It adds 46 tokens to every session and 1,046 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-31.

Related

Other agents, from other repositories

Demonstrate

Agent for demonstrating VS Code features.

microsoft/vscode · 10 tokens

playwright-test-generator

Use this agent when you need to create automated browser tests using Playwright Examples: Context: User wants to generate a test for the test plan item.

microsoft/playwright · 151 tokens

.NET-Notebook-Migration-Agent

Expert .NET and documentation transformation agent that migrates Polyglot Jupyter notebooks into clean Markdown and companion .NET sample code.

microsoft/ai-agents-for-beginners · 33 tokens

AVM Owner Triage

Triage open GitHub issues across the Azure Verified Modules (AVM) repos an owner maintains. Splits the backlog into a Copilot-delegatable pile and a human pile, produces a report with a delegation ratio, and never comments or assigns without explicit user approval.

github/awesome-copilot · 61 tokens

Ultimate Transparent Thinking Beast Mode

Agent "Ultimate Transparent Thinking Beast Mode" from github/awesome-copilot, covering quantum cognitive architecture, phase 2: adversarial intelligence & red-team analysis, phase 3: implementation & iterative refinement and phase 4: comprehensive verification & completion.

github/awesome-copilot · 11 tokens

code-reviewer

Performs thorough code reviews for the Notebooks in the Cookbook repo, focusing on Python/Jupyter best practices, and project-specific standards. Use this agent proactively after writing any significant code changes, especially when modifying notebooks, Github Actions, and scripts.

anthropics/claude-cookbooks · 52 tokens