What problem does it solve?
This skill provides a structured framework for performing code reviews with a focus on invariants, tests, and verifiable feedback, enabling faster, more reliable pull-request validation.
Core Features & Use Cases
- Invariant-focused review: identify and verify invariants the code must preserve and ensure changes don't violate them.
- Targeted verification: propose concise tests and checks, guided by existing test artifacts (e.g., artifacts/test-report.json).
- LLM-assisted analysis: helps reviewers and CI bots produce concise, actionable feedback aligned with project invariants.
Quick Start
Read the PR description and compare against the repository's PR template; run lightweight checks with:
- ato dev test --llm -k <area>
- ato dev compile
- ato dev flags
When summarizing failures, reference artifacts/test-report.json for outputs.