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
Deepreview Correctness
Reviews code diffs for correctness: logic errors, bugs, edge cases, error handling, missing tests. Part of the
Review Correctness
Reviews a Rust diff for correctness and runtime safety — logic errors, missing edge cases, error handling and
Critic Correctness
Isolated adversarial reviewer for the CORRECTNESS lens only — logic, edge cases, error paths, and whether the
Wh Bug Reviewer
Review-phase agent. Reads the change diff for logic errors, unhandled edge cases, race conditions, resource le
Bug Finder
A software detective that proactively hunts for logical errors, race conditions, and unhandled edge cases in c
Related Skills
Pre Commit Review
Independent QA review of a working-tree diff before commit. Spawns a read-only reviewer agent to find correctn
Fd Review
Two-lens review of the plan before execution — CEO review challenges scope and premise, eng review checks arch
Scenario Generator Arken
Generate the Arken QA release scenarios document. Reads all stories and bugs in artifacts/, then creates artif