用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
直接命令不会经过审查 Prompt；运行前请先检查来源。
npx skills add https://github.com/dartsim/dart --skill dart-review-pr命令会保持在同一行。复制前请横向滚动并检查完整内容。
想先保存到本地？可下载 SkillsMP 当前能够提供的文件。
基于 SOC 职业分类
正在显示 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.