Review Correctness banner
trailofbits trailofbits

Review Correctness

Development community

Description

--- 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

Installation

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.

Full documentation available on GitHub

View Source Repository