What problem does it solve? Code reviews often miss boundary conditions and unguarded branches that only surface as production bugs. This Skill mechanically enumerates every control-flow path and domain boundary in a diff, file, or function, then reports only the paths lacking explicit handling. ## Core Features & Use Cases - Exhaustive Path Enumeration: Walks conditionals, loops, error handlers, early returns, and domain boundaries such as off-by-one loops, arithmetic overflow, null inputs, race conditions, and timeout gaps. - Diff-Aware Scoping: When given a diff, analyzes only changed hunks and boundaries directly reachable from changed lines; when given a full file or function, treats the entire content as scope. - Structured JSON Output: Returns findings as a strict JSON array with location, trigger condition, guard snippet, and potential consequence, with an empty array when nothing is unhandled. - Use Case: Paste a pull request diff before merging and receive a machine-readable list of every unguarded branch, such as a missing else clause on a new status check or an unbounded loop over user input. ## Quick Start Ask the AI to run an edge-case review on the attached diff or function and return only the unhandled paths as JSON.
