Skill

reviewing-logic

From pda

Analyzes code for bugs and correctness issues including off-by-one errors, null handling, boolean logic mistakes, race conditions, and edge cases. Use when performing a logic review, correctness review, bug review, or as part of code-review.

Install

npx claudepluginhub spaghetti-lover/pda-plugins --plugin pda

Tool Access

This skill uses the workspace's default tool permissions.

Preview

Analyze code for bugs, logic errors, and correctness issues.

SKILL.md

Similar Skills

cache-components

Guides Next.js Cache Components and Partial Prerendering (PPR) with cacheComponents enabled. Implements 'use cache', cacheLife(), cacheTag(), revalidateTag(), static/dynamic optimization, and cache debugging.

cache-components

139.1k

claude-opus-4-5-migration

2 files

Migrates code, prompts, and API calls from Claude Sonnet 4.0/4.5 or Opus 4.1 to Opus 4.5, updating model strings on Anthropic, AWS, GCP, Azure platforms.

claude-opus-4-5-migration

83.2k

claude-code-plugin-release

1 file

Automates semantic versioning and release workflow for Claude Code plugins: bumps versions in package.json, marketplace.json, plugin.json; verifies builds; creates git tags, GitHub releases, changelogs.

claude-mem

64.7k

Stats

Stars0

Forks0

Last CommitApr 13, 2026

Actions

View Source View Plugin View on GitHub View README

Logic & Correctness Review

Analyze code for bugs, logic errors, and correctness issues.

Scope

Specific files/paths if given

git diff for PR/branch

Staged/unstaged changes if no scope specified

Checklist

Control flow — off-by-one, unreachable code, missing break/return, incorrect precedence, infinite loops

Null/undefined/empty — null dereferences, missing checks, empty collection handling

Boolean logic — incorrect AND/OR, negation errors, tautologies/contradictions

Data handling — type coercion bugs, integer overflow, float comparison, encoding issues, reference vs value semantics

Edge cases — empty input, boundary values (0, -1, MAX_INT), unicode, error propagation, resource cleanup in error paths

Async/concurrency — missing await, unhandled rejections, race conditions, deadlocks, shared mutable state

Classification

Per finding: Severity (BUG/LIKELY_BUG/POSSIBLE_BUG/SMELL), Confidence (HIGH/MEDIUM/LOW).

Output format

### [SEVERITY] Title - **File**: `path:line` - **Confidence**: HIGH/MEDIUM/LOW - **Description**: what the bug is, when it triggers, incorrect behavior - **Buggy code**: snippet - **Expected vs actual behavior** - **Fix**: corrected snippet

Summary

End with severity counts table and verdict: CLEAN (no bugs), NEEDS_FIXES (has bugs), RISKY (has possible bugs needing investigation).

Logic & Correctness Review

Analyze code for bugs, logic errors, and correctness issues.

Scope

Specific files/paths if given
git diff for PR/branch
Staged/unstaged changes if no scope specified

Checklist

Control flow — off-by-one, unreachable code, missing break/return, incorrect precedence, infinite loops
Null/undefined/empty — null dereferences, missing checks, empty collection handling
Boolean logic — incorrect AND/OR, negation errors, tautologies/contradictions
Data handling — type coercion bugs, integer overflow, float comparison, encoding issues, reference vs value semantics
Edge cases — empty input, boundary values (0, -1, MAX_INT), unicode, error propagation, resource cleanup in error paths
Async/concurrency — missing await, unhandled rejections, race conditions, deadlocks, shared mutable state

Classification

Per finding: Severity (BUG/LIKELY_BUG/POSSIBLE_BUG/SMELL), Confidence (HIGH/MEDIUM/LOW).

Output format

### [SEVERITY] Title
- **File**: `path:line`
- **Confidence**: HIGH/MEDIUM/LOW
- **Description**: what the bug is, when it triggers, incorrect behavior
- **Buggy code**: snippet
- **Expected vs actual behavior**
- **Fix**: corrected snippet

Summary

End with severity counts table and verdict: CLEAN (no bugs), NEEDS_FIXES (has bugs), RISKY (has possible bugs needing investigation).