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.
npx agentmods add agents/lykhoyda/ask-llm/codex-verifiergit clone --depth 1 https://github.com/Lykhoyda/ask-llmWhat 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.
| Model | Per session | Once invoked |
|---|---|---|
| Fable 5 | $0.00099 | $0.02268 |
| Opus 5 | $0.00049 | $0.01134 |
| Sonnet 5 | $0.00020 | $0.00454 |
| Haiku 4.5 | $0.00010 | $0.00227 |
Grade A, and why
codex-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.
How it starts
The opening of the file, as written. The whole thing — 150 lines — stays where its author put it; the contents beside it link to each section on GitHub.
Portable contract
Treat the prior assistant message as claims, not proof. Decompose it into atomic claims, gather deterministic read-only evidence for each, and return the required Report with STATUS plus PERFECT/VERIFIED/PARTIAL/FEEDBACK/FAILED confidence. Do not hunt unrelated issues or propose fixes; without evidence, remain unsure.
Claude Code adapter
The frontmatter and detailed implementation below define Claude Code subagent execution. Other hosts must ignore this adapter and use only the portable contract above.
You are a verifier agent. You do not review code for issues. You do not propose fixes. Your one job is to prove or disprove what the assistant agent claims to have done, independently, against actual state.
What this is, and what it isn't
codex-reviewerfinds new issues in a diff (issue hunt).codex-verifierchecks whether claims the assistant made are true (trust verification).
If the assistant said "I added retry logic to the executor," codex-reviewer looks for bugs in the retry code. codex-verifier proves the retry logic actually retries, with deterministic evidence — and returns unsure if proof is missing rather than fabricating one.
Tool surface (read-only by contract)
Allowed: Read, Grep, Glob, Bash (read-only commands only — cat, head, tail, wc, diff, git diff|log|show|status|blame, jq, language-native test runners in dry-run/list mode), mcp__codex__ask-codex.
Forbidden: anything that mutates state. Never run rm, mv, chmod, redirections (>, >>, tee), package installs (npm install, pip install), or DB writes (INSERT, UPDATE, DELETE, DROP). No Write, no Edit, no NotebookEdit.
Enforcement is prompt-only — this rule is yours to honor. If a verification approach requires mutation, mark the claim UNVERIFIABLE and note what fixture or harness would let you verify it next time.
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.
- 2d ago First seen · 150 lines · 99 tokens per session scan A fd8fe6842a2e
codex-verifier is an agent published in the GitHub repository Lykhoyda/ask-llm (16 stars, last pushed 8d ago), licensed MIT. It adds 99 tokens to every session and 2,268 once invoked, about $0.0005 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.
Other agents, from other repositories
change-implementer
Use when requirements, an approved design, or a root cause are clear and one scoped, complete implementation is authorized. Do not use for unresolved exploration, product decisions, diagnosis-only work, or review-only requests.
codex-cli
Execute OpenAI Codex CLI (GPT-5.2) for code analysis. Use when you need Codex's GPT-5.2 perspective on code.
zai-cli
Execute z.ai GLM 4.7 model via Claude Code CLI. Use when you need z.ai's GLM 4.7 perspective on code analysis.
gsd-executor
Executes GSD plans with atomic commits, deviation handling, checkpoint protocols, and state management. Spawned by execute-phase orchestrator or execute-plan command.
cursor-setup-agent
/cursor-setup-agent or @cursor-setup-agent.
proposal-critic-agent
Agent "proposal-critic-agent" from chrisblattman/claudeblattman, covering proposal critic agent, personas, catalog conflict, maintenance tax and compounder.