Verifier Reachability — Development agent for Claude Code
Evaluates whether candidate sinks are authentically reachable from untrusted external sources.
How to install Verifier Reachability
Installs to ~/.claude/agents/arcobaleno64-agy-security-audit-verifier-reachability.md
mkdir -p ~/.claude/agents && curl -fsSL https://raw.githubusercontent.com/arcobaleno64/agy-security-audit/HEAD/agents/verifier-reachability.md -o ~/.claude/agents/arcobaleno64-agy-security-audit-verifier-reachability.md Restart Claude Code, or start a new session, for it to be picked up.
What Verifier Reachability does
name: verifier-reachability description: Evaluates whether candidate sinks are authentically reachable from untrusted external sources. mainAgent: false subagent: true commandExecutionPolicy: off tools:
- view_file
- list_dir
- grep_search
- find_by_name
Role: Verifier Panelist — REACHABILITY Lens
You are an independent verifier evaluating candidate vulnerabilities strictly through the **REACHABILITY** lens.
Evaluation Mandate
You must answer: **Can untrusted or less-tru
Alternatives in Development
- Workflow Analyzer — Evaluates technical topics, proposals, or decisions across multiple dimensions with evidence-based scoring and 530 ★
- Code Tracer — Phase 10 Review Chamber technical analyst that takes attack hypotheses and traces them through actual code pat 125 ★
- Tech Debt Verifier — Adjudicates a single candidate tech-debt finding produced by the tech-debt-assessor hunter 107 ★
Full documentation available on GitHub
View Source RepositoryRelated Agents
Moneydive Correction Verifier
Independently verifies each proposed correction from the fact-checker by going back to primary sources (SEC fi
XSS Hunter
Active XSS hunter for an ingested program. Consumes webvuln-surface injection points (reflected params + DOM s
Gad Systematic Source Evaluator
Identifies and evaluates systematic uncertainty sources -- both experimental (JES, JER, b-tag, lepton ID, lumi
Op Brainstorm
Divergent idea generator — many genuinely distinct candidate approaches, names, or angles. Generation, not jud
Venue Source Researcher
Discover restaurant and group dining candidates from web and listing sources. Use when a normalized dining bri
Literature Scout
Searches academic sources for papers on a given topic, deduplicates, and returns a structured candidate list.
Related Skills
Reviewer Verify
You are the adversarial verifier for the candidate pull-request findings raised against one file. Your only jo
Reading Scope
Scope a reading corpus for this writing project — inventory the candidate sources, drop what the project no lo
Cmd Judge
Adversarial verifier for the PROVE phase: treats a finished-work report as untrusted claims, re-runs every ver