Menu
The review-first prompt is selected by default. You can switch to a direct command or download a local copy.
Read SKILL.md and any companion files shown by SkillsMP before deciding whether to install.
Install with Codex or Claude Copy this prompt, paste it into Codex, Claude, or another assistant, and let it review the skill page and install it for you.
A direct command skips the review prompt. Inspect the source before running it.
npx skills add https://github.com/dartsim/dart --skill dart-review-prThe command stays on one line. Scroll horizontally to inspect it before copying.
Prefer a local copy? Download the files currently available to SkillsMP.
Showing SKILL.md
| name | dart-review-pr |
| description | DART Review PR: review a PR or address review feedback |
Use this skill in Codex to run the DART dart-review-pr workflow. The editable
workflow source lives in .claude/commands/; this file is its generated adapter
in the shared .agents/skills/ catalog.
/dart-review-pr <arguments>$dart-review-pr <arguments>Treat the text after the skill name as $ARGUMENTS. When the workflow
references $1, $2, etc., map those to the positional values supplied by the
user.
Review or respond to PR: $ARGUMENTS
@AGENTS.md @docs/onboarding/code-style.md @docs/onboarding/ai-reviews.md @docs/onboarding/ai-tools.md @docs/ai/verification.md
Pick the sub-workflow from mode= in $ARGUMENTS, defaulting to review.
For candidate=<id>, read its candidate.json at the path printed by
review-gate prepare. Verify the supplied base/head/tree and inspect
git diff <merge_base> <head> with surrounding code. Work from the immutable
candidate in an isolated read-only checkout; do not accidentally review dirty
files or a later HEAD. No PR needs to exist. The parent supplies objective,
acceptance criteria, factual gates, prior findings, and author-session IDs.
For a PR number, obtain its current head/base and complete diff with
gh pr view and gh pr diff, then follow the same coverage policy. A PR review
without a prepared local candidate is useful feedback, not publication evidence.
Apply the assigned scope from docs/onboarding/ai-reviews.md: correctness
covers the complete PR diff and acceptance evidence; contracts independently
traces consumers, sibling cases, and negative cases and records the required
input/consumer matrix for exclusions, parsers, or validators. Challenge test
oracles against actual requirements. A non-substantive assessment must prove
unchanged behavior under the owner's strict baseline rules. Missing evidence
or unobserved effective reviewer settings makes the report incomplete.
Use a distinct non-author session for each substantive scope. Check code style,
tests, docs, and focused commits. For 3D claims,
require the dart-verify-sim text oracle plus assessed visual/debug evidence,
or a justified replacement. Report every surviving finding as a coherent batch, including
repair regressions and earlier findings whose disposition is unsupported.
Stay read-only. For a local candidate return the final JSON report defined in
docs/onboarding/ai-tools.md for the parent to import with review-gate record.
Include observed session/model/effort, coverage, completion, findings with stable
IDs and concrete evidence, and verified dispositions. Do not mutate the evidence
store yourself. A clean verdict requires complete coverage for the current stage under the
review owner; explicitly retain pending hosted acceptance checks.
Use the paginated review/CI inspection commands and the single Review-Fix Loop
Workflow in docs/onboarding/ai-reviews.md. Collect the completed batch, verify
claims, and repair the underlying defect family. That owner defines trigger
ownership, current-head completion, the two-round strategy checkpoint, false
positive dispositions, blockers, and readiness; do not restart a per-comment
fix/push/review loop here.
For published PRs, prefer a new follow-up commit so reviewers can inspect each round; amend or force-push only after explicit maintainer/user approval and only when the user requests it or a clear reason exists (removing sensitive content, repairing branch history).
Run the relevant local gates, including pixi run lint before every commit.
Merge the latest base, validate and pass the independent local review gate
before each approved push, and apply the owner's remote
divergence recovery if the head moved. Reuse existing explicit authority for
this PR, action, and scope; ask only where it is missing. No inline bot replies.
Monitor CI (gh pr checks $1); readiness and merge remain separately gated and
require approval for the corresponding external mutation.
Based on SOC occupation classification
