What problem does it solve? Code reviews often miss boundary conditions and unguarded branches that only surface as production bugs. This Skill mechanically walks every control-flow path and domain boundary in a diff, file, or function and reports only the edge cases 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 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 Findings: Returns a strict JSON array with location, trigger condition, guard snippet, and potential consequence for each unhandled path, with an empty array when nothing is missing. - Use Case: Paste a pull request diff before merging and receive a list of unguarded null inputs, missing else branches, and unhandled error paths with minimal guard snippets to close each gap. ## Quick Start Ask the AI to run an edge-case review on the provided diff or function and list only the unhandled boundary conditions as JSON.
