verifylisted

# Adversarial Verification Three agents with competing incentives: one finds issues, one disproves them, one judges. Before starting work, create a marker: `mkdir -p ~/.claude/tmp && echo "verify" > ~/.claude/tmp/heavy-skill-active && date -u +"%Y-%m-%dT%H:%M:%SZ" >> ~/.claude/tmp/heavy-skill-active` ## When to Use - Security-sensitive code (auth, crypto, permissions) - Data integrity (migrations, schema changes, ETL) - Financial logic (payments, billing, calculations) - Breaking changes (API contracts, public interfaces) ## The Three-Agent Pattern ### Agent 1: Finder ``` Agent(reviewer, "You are a bug finder. Analyze the following code/changes thoroughly. Score yourself: +1 for low-impact issues, +5 for medium-impact, +10 for critical. Report every potential issue you find — edge cases, race conditions, missing validation, security holes, logic errors, performance problems. Report your total score at the end. Target: [describe what to verify] Files: [list files]") ``` Finder over-reports by design — this is the **superset** of all possible issues. ### Agent 2: Adversary Takes the finder's output and tries to disprove each issue. ``` Agent(reviewer, "You are an adversarial reviewer. For each issue below, try to DISPROVE it. Score yourself: +points of the bug for each you successfully disprove, but -2x the points if you wrongly disprove a real issue. Issues to challenge: [paste finder output] For each issue, state: - DISPROVED: [reason it's not actually an issue]