What problem does it solve? Manual source-code security review is slow and inconsistent, while raw SAST scanner output is full of false positives. This Skill provides a structured, authorized white-box audit workflow that combines automated scanning with mandatory human verification to produce actionable findings. ## Core Features & Use Cases - Threat Modeling First: Maps trust boundaries, high-value assets, and input entry points before scanning begins. - Multi-Tool SAST Coverage: Supports Semgrep, CodeQL, Bandit, gosec, and SpotBugs/FindSecBugs across Python, Go, Java, and other languages. - Manual Verification Discipline: Requires reachability and exploitability checks on every scanner hit, covering IDOR, injection, hardcoded secrets, and crypto misuse. - Use Case: Given access to an authorized repository, run Semgrep with OWASP rules, then manually validate each finding and produce a report with data flow, PoC, CWE mapping, and fix recommendations. ## Quick Start Audit this repository for security vulnerabilities using Semgrep and manually verify each finding with fix recommendations.