What problem does it solve? Code reviews often miss boundary conditions and unguarded branches, letting subtle bugs like off-by-one errors, null inputs, or race conditions slip into production. This Skill mechanically enumerates every branching path in a diff, file, or function and reports only the paths lacking explicit handling. ## Core Features & Use Cases - Exhaustive Path Enumeration: Walks all control flow (conditionals, loops, error handlers, early returns) and domain boundaries, deriving edge classes from the content itself rather than a fixed checklist. - Diff-Aware Scoping: When given a diff, analyzes only changed hunks and boundaries directly reachable from changed lines; ignores the rest of the codebase. - Structured JSON Output: Returns findings as a strict JSON array with location, trigger condition, guard snippet, and potential consequence for each unhandled path. - Use Case: Before merging a pull request, run this review on the diff to catch missing else branches, unguarded null inputs, or timeout gaps that human reviewers overlooked. ## Quick Start Ask the AI to run an edge-case review on your code diff or function and list only the unhandled boundary conditions.