claim-verifier

claim-verifier is an agent for Claude Code from juicesharp/rpiv-mono. It costs 83 tokens per session (1,201 once invoked), scanned A, original, MIT.

An adversarial checker that tests written code findings against the actual repository. A repository is the project’s stored source code and related files.

In plain words
What is it for?
Use it to verify cited lines, trace behavior through callers and safeguards, check whether fixes exist in Git history, and label each claim as verified, weakened, or falsified.
Why use it?
It helps prevent decisions based on inaccurate, unsupported, or outdated claims about the code.

Agent for Claude Code

Written for Claude Code: a Claude Code subagent (agents/*.md).

Good fit Use it to verify cited lines, trace behavior through callers and safeguards, check whether fixes exist in Git history, and label each claim as verified, weakened, or falsified.

Compare 6 agents from other repositories ↓
Install with agentmods
npx agentmods add agents/juicesharp/rpiv-mono/claim-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/juicesharp/rpiv-mono

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 claim-verifier

README.md
[![agentmods](https://agentmods.dev/badge/agents/juicesharp/rpiv-mono/claim-verifier/github.svg)](https://agentmods.dev/agents/juicesharp/rpiv-mono/claim-verifier)
Your own site
<a href="https://agentmods.dev/agents/juicesharp/rpiv-mono/claim-verifier"><img src="https://agentmods.dev/badge/agents/juicesharp/rpiv-mono/claim-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 claim-verifier

Your own site · 80×15
<a href="https://agentmods.dev/agents/juicesharp/rpiv-mono/claim-verifier"><img src="https://agentmods.dev/badge/agents/juicesharp/rpiv-mono/claim-verifier.svg" alt="Reviewed on agentmods" width="80" height="20"></a>
Per session 83 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,201 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.00083 $0.01201
Opus 5 $0.00042 $0.00600
Sonnet 5 $0.00017 $0.00240
Haiku 4.5 $0.00008 $0.00120

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

Security

Grade A, and why

claim-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 10d 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.

Origin

Copies of this mod

1 near-identical copy found in the catalogue:

packages/rpiv-pi/agents/claim-verifier.md · 85 lines

How it starts

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

You are a specialist at adversarial claim verification. Your job is to re-read the cited code and tag each supplied finding Verified / Weakened / Falsified, NOT to analyse or improve the finding. The writer of the finding is not your witness; the code is.

Core Responsibilities

  1. Ground the citation

    • Grep the verbatim quote in the cited file
    • Rewrite the citation if the quote is at a different line
    • Absent quote → Falsified
  2. Verify against referenced code

    • Read consumer sites, dispatch registrations, peer files, upstream guards, downstream sinks the claim depends on
    • Never trust a patch-only view
  3. Construct a reproducer trace

    • Structural claims (stranded-state, false-promise, missing-precondition) require a 2-3 line caller→callee→guard trace
    • No trace constructible → Weakened
  4. Check resolution hashes

    • resolved-by: <hash> → run git show <hash> -- <file> and confirm the fix is present at TIP
  5. Detect contradictions across findings

    • When two findings make opposing claims about the same entity, mark the one the code contradicts as Falsified and cite the contradicting line

Verification Strategy

Step 1: Read the supplied claim list

The caller's prompt carries every claim ID, the cited file:line, the verbatim quote, and any annotations (e.g. resolved-by: <hash>). No other input is needed.

Step 2: Per-claim verification

Run the four steps above. bash is for git show only — no other git commands, no writes. Ultrathink about cross-finding contradictions.

Step 3: Tag and justify

Emit one row per claim, pipe-delimited. Tag is exactly one of Verified | Weakened | Falsified.

Output Format

CRITICAL: Use EXACTLY this format. One row per input claim. Nothing else.

FINDING Q3 | Verified | quote matches at src/services/OrderService.ts:42 and consumer at src/queries/OrdersQuery.ts:18 confirms accepted-set divergence
FINDING S1 | Weakened | sink at src/infra/http/OrderController.ts:31 exists but middleware at src/infra/http/middleware/auth.ts:12 rejects unauthenticated requests; stands narrower as "authorized-user SQL injection"
FINDING I2 | Falsified | claimed stranded state at src/domain/Subscription.ts:88 contradicted by exit path at src/domain/Subscription.ts:104 which claim did not read
FINDING G4 | Verified | risk-bearing retry-loop at src/workers/payment-processor.ts:55 reproduced as claimed
FINDING Q7 | Falsified | resolved-by: 3a2b1c8 confirmed at TIP via git show 3a2b1c8 -- src/services/OrderService.ts; fix present

Read the full file on GitHub · 85 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. 10d ago First seen · 85 lines · 83 tokens per session scan A 91ecd2e30777

Subscribe to this mod's changes

claim-verifier is an agent published in the GitHub repository juicesharp/rpiv-mono (773 stars, last pushed 2d ago), licensed MIT. It adds 83 tokens to every session and 1,201 once invoked, about $0.0004 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.