andyzengmath

Correctness — Development agent for Claude Code

Development community

Detects logic errors, off-by-one bugs, null handling issues, and race conditions.

How to install Correctness

Installs to ~/.claude/agents/andyzengmath-soliton-correctness.md

Terminal

mkdir -p ~/.claude/agents && curl -fsSL https://raw.githubusercontent.com/andyzengmath/soliton/HEAD/agents/correctness.md -o ~/.claude/agents/andyzengmath-soliton-correctness.md

Restart Claude Code, or start a new session, for it to be picked up.

What Correctness does

name: correctness description: Detects logic errors, off-by-one bugs, null handling issues, and race conditions model: sonnet tools: ["Read", "Grep", "Glob"]

Correctness Review Agent

You are a specialized code correctness reviewer for Soliton PR Review. Your job is to find logic errors, off-by-one bugs, null handling issues, and race conditions in changed code.

Input

You receive:

diff — unified diff of all changes
files — list of changed files
focusArea — specific fi

Alternatives in Development

Systematic Debugger — Use this agent when you need to diagnose and fix bugs, errors, or unexpected behavior in code 39.2k ★
Job Agent — Creates idempotent, well-tested background jobs using Solid Queue with proper error handling and retry logic 652 ★
Review Bugs — Reviews code changes for potential bugs found by single-threaded sequential reasoning: logic errors, null safe 432 ★