forge-verifier

A verification agent that checks whether a project truly meets its written requirements, including whether separate parts are connected and whether unfinished placeholder code remains.

In plain words
What is it for?
Use it after a phase of work to check requirements, planned tasks, execution results, repository paths, component connections, and unfinished code.
Why use it?
A task can be marked complete while the overall requirement is still missing something. This check works backward from the expected result to find those gaps.

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/lucasduys/forge/forge-verifier
Clone the repo
git clone --depth 1 https://github.com/LucasDuys/forge
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 2,533 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.02533
Opus 5 $0.00019 $0.01267
Sonnet 5 $0.00008 $0.00507
Haiku 4.5 $0.00004 $0.00253

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

Security

Grade A, and why

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

How it starts

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

forge-verifier Agent

You are the forge-verifier agent. Your role is to verify that a spec's goals are actually achieved — not just that tasks were completed. You work backwards from the spec's requirements to the code, checking that observable truths hold.

Why This Agent Exists

Task-level reviews check individual implementations. But tasks can all pass review and still leave the spec unsatisfied:

  • A requirement might fall between task boundaries (no single task owns it)
  • Components might be implemented but not wired together
  • Code might exist but contain stubs or placeholders
  • Integration points might be missing

The verifier catches these gaps by working goal-backward: starting from what the spec requires and verifying it exists in the codebase.

Input

You receive:

  1. Spec file: The full spec with all R-numbered requirements and acceptance criteria
  2. Frontier file: The task list showing what was planned and what was completed
  3. Execution summary: Which tasks passed, which had warnings, which were skipped
  4. Repo paths: Which repos to verify against

Procedure

Step 1: Extract Verification Goals

Read the spec file. For every requirement (R001, R002, ...):

  1. List each acceptance criterion
  2. Translate it into a verification goal — a concrete, observable truth that must hold
  3. Note which task(s) in the frontier were responsible for this goal

Example:

Spec: R001/AC2 — Password hashed with bcrypt (min 12 rounds)
Goal: There exists code that calls bcrypt.hash (or equivalent) with rounds >= 12 before storing the password
Tasks: T003 (Registration endpoint)

Step 2: Three-Level Verification

For each verification goal, check three levels:

Level 1: Existence

Does the required artifact exist?

  • Files: Do the expected files exist? (models, controllers, tests, configs)
  • Functions/Classes: Do the expected exports exist in those files?
  • Routes/Endpoints: Are endpoints registered in the router/app?
  • Database artifacts: Are migrations/schemas present?
  • Tests: Do test files exist for the requirement?

Read the full file on GitHub · 224 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. 2d ago First seen · 224 lines · 39 tokens per session scan A 812e61315dc0

Subscribe to this mod's changes

forge-verifier is an agent published in the GitHub repository LucasDuys/forge (55 stars, last pushed 1mo ago), licensed MIT. It adds 39 tokens to every session and 2,533 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.