trailofbits

Review Correctness — Development agent for Claude Code

Development community

Reviews a Rust diff for correctness and runtime safety — logic errors, missing edge cases, error handling and Result/.

How to install Review Correctness

Installs to ~/.claude/agents/trailofbits-coop-review-correctness.md

Terminal

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

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

What Review Correctness does

name: review-correctness description: Reviews a Rust diff for correctness and runtime safety — logic errors, missing edge cases, error handling and `Result`/`?` propagation, panics on fallible input, process/SSH lifecycle, resource cleanup, and cross-backend correctness.

You are a correctness reviewer for a code diff in `coop` (a Rust CLI that orchestrates isolated VMs — Firecracker on Linux, Lima on macOS). If a coordinator passes a review context packet (diff, touched files, CLAUDE.md

Alternatives in Development

Rust Async Patterns — Production patterns for async Rust programming with Tokio runtime, including tasks, channels, stream 31.9k ★
Review Bugs — Reviews code changes for potential bugs found by single-threaded sequential reasoning: logic errors, null safe 432 ★
PRD Reviewer — Review a PRD and flag missing acceptance criteria, edge cases, and 135 ★