What problem does it solve? Code reviews often miss boundary conditions and unhandled branches, leading to runtime failures that only surface in production. This Skill mechanically enumerates every control-flow path and domain boundary in a diff, file, or function, and reports only the paths lacking explicit guards. ## 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 Output: Returns findings as a strict JSON array with location, trigger condition, guard snippet, and potential consequence, silently discarding handled paths. - Use Case: Paste a pull request diff before merging and receive a list of unguarded edge cases, such as a missing null check on a new function parameter, each with a minimal guard snippet to close the gap. ## Quick Start Ask the AI to run an edge-case review on a pasted diff or function and return the unhandled boundary conditions as JSON.
