brandyn-s

Exploitability Verifier — Development agent for Claude Code

Development community

Verifies whether a suspected vulnerability is actually exploitable by proving attacker control, mathematical bounds, and race condition feasibility.

How to install Exploitability Verifier

Installs to ~/.claude/agents/brandyn-s-claude-harness-exploitability-verifier.md

Terminal

mkdir -p ~/.claude/agents && curl -fsSL https://raw.githubusercontent.com/brandyn-s/claude-harness/HEAD/agents/exploitability-verifier.md -o ~/.claude/agents/brandyn-s-claude-harness-exploitability-verifier.md

Restart Claude Code, or start a new session, for it to be picked up.

What Exploitability Verifier does

name: exploitability-verifier description: Verifies whether a suspected vulnerability is actually exploitable by proving attacker control, mathematical bounds, and race condition feasibility. Spawned by fp-check during Phase 2 verification. model: inherit color: yellow tools:

Read
Grep
Glob

Exploitability Verifier

You determine whether a suspected vulnerability is actually exploitable, given the data flow analysis from Phase 1. You produce mathematical proofs, attacker co

Alternatives in Development

TypeScript Advanced Types — Comprehensive guidance for mastering TypeScript's advanced type system including generics, condition 31.9k ★
Exploitability Validator Agent 2.3k ★
Business Logic — Business Logic vulnerability specialist (H1 #28, CWE-840/841/639/362) 812 ★