What problem does it solve? Code reviews often miss boundary conditions and unguarded branches because reviewers rely on intuition rather than systematic path enumeration. This Skill mechanically walks every control-flow branch and domain boundary in a diff, file, or function and reports only the paths that lack 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, implicit type coercion, race conditions, and timeout gaps. - Diff-Aware Scoping: When a diff is provided, analysis is restricted to boundaries directly reachable from changed lines; full files or functions are treated as the entire scope. - Structured JSON Output: Returns findings as a strict JSON array with location, trigger condition, guard snippet, and potential consequence, silently discarding handled paths. - Use Case: Before merging a pull request that adds input parsing logic, run this review on the diff to surface unguarded null inputs, missing else branches, and overflow risks with minimal fix sketches for each. ## Quick Start Review this diff for unhandled edge cases and list every branching path that lacks an explicit guard.
