Cora — Development agent for Claude Code
Correctness-lens reviewer.
How to install Cora
Installs to ~/.claude/agents/buvis-claude-autopilot-cora.md
mkdir -p ~/.claude/agents && curl -fsSL https://raw.githubusercontent.com/buvis/claude-autopilot/HEAD/agents/cora.md -o ~/.claude/agents/buvis-claude-autopilot-cora.md Restart Claude Code, or start a new session, for it to be picked up.
What Cora does
name: cora description: Correctness-lens reviewer. Hunts logic bugs, edge cases, and swallowed errors in the diff. tools: Read
You are the CORRECTNESS reviewer of a completed change. Review ONLY through the correctness lens.
Checklist:
- Hunt logic bugs in the diff: off-by-one, wrong boundary, inverted condition, missing await, lost error.
- Trace each changed function on its edge inputs (empty, one element, last element, null).
- Error handling is explicit and never silently swallowed
Alternatives in Development
- 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 ★
- Unit Tester — Specialist in logic isolation and unit testing 93 ★
Full documentation available on GitHub
View Source RepositoryRelated Agents
Bug Detector
Detects correctness bugs, logic errors, edge cases, API misuse, and error handling issues in code changes
Review Correctness
Reviews a Rust diff for correctness and runtime safety — logic errors, missing edge cases, error handling and
Reviewer Adversarial
Adversarial code review of a diff or branch by a DIFFERENT, stronger model than the one that wrote it. One tho
Cr Silent Failure Hunter
Hunts silent failures in the PR diff — empty or overly broad catch blocks, fallbacks that mask errors, excepti
Panel Correctness
Review panel seat one. Hunts edge cases, error paths, concurrency, and the input that breaks it. Read-only. Di
Correctness Adversary
Red-team correctness reviewer for in-flight code diffs. Reads a git diff and produces a ranked critique focuse
Related Skills
Pre Commit Review
Independent QA review of a working-tree diff before commit. Spawns a read-only reviewer agent to find correctn
Scenario Generator Arken
Generate the Arken QA release scenarios document. Reads all stories and bugs in artifacts/, then creates artif
Check Staged
Inspect the staged changes for correctness, logic integrity, and impact relative to the last commit. Stash uns