用 Codex 或 Claude 帮你安装 复制这段 Prompt,粘贴到 Codex、Claude 或其他助手里,让它检查 Skill 页面并帮你完成安装。
直接命令不会经过审查 Prompt;运行前请先检查来源。
npx skills add https://github.com/dartsim/dart --skill dart-resume命令会保持在同一行。复制前请横向滚动并检查完整内容。
想先保存到本地?可下载 SkillsMP 当前能够提供的文件。
正在显示 SKILL.md
基于 SOC 职业分类
| name | dart-resume |
| description | DART Resume: continue work from a previous session |
Use this skill in Codex to run the DART dart-resume workflow. The editable
workflow source lives in .claude/commands/; this file is its generated adapter
in the shared .agents/skills/ catalog.
/dart-resume <arguments>$dart-resume <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.
Resume unfinished work: $ARGUMENTS
dart-resume is a completion-oriented task manager, not a status lookup or a
single-slice helper by default. Resume the named or reconstructed work, build or
refresh the execution plan, track progress in the repo-owned task surface, split
independent work into verifiable packets, use subagents/sub-sessions only when
the user explicitly requested delegation and the current AI surface permits it,
verify every result, and keep going until the whole task is complete or a real
blocker or approval boundary remains.
Decisions must be evidence-based. Before choosing between meaningful options, first improve or define the verification/debugging method so it can catch false positives and false negatives. Use repository inspection, focused tests, benchmarks, A/B comparisons, GUI or visual evidence, logs, and external resource searches as needed to decide from evidence instead of preference.
For a docs/dev_tasks/<task> target, full completion means all feasible task
work is finished, durable decisions and deferred work are promoted, and the
temporary dev-task folder is removed in the completing change. Do not stop after
one successful slice unless the user explicitly requested a limited mode.
Use $ARGUMENTS to identify the target, explicit scope limits, and execution
modifiers. Interpret arguments in this order:
status,
audit-only, plan-only, slice, or next-slice, honor that limit and
state it in the plan. Without one of these limiters, do not downscope the
session to a single slice.no-subagents, run serially
but keep the same whole-task completion objective. If arguments explicitly
request subagents, parallel, delegation, or workers, use available
AI-native delegation when the current surface permits it. Tool-use modifiers
do not limit scope unless paired with an explicit scope-limited mode.docs/dev_tasks/<task> or a
file under that folder, treat that dev task as the target and read its
current README.md and RESUME.md snapshots after recon, following the
selective-reading protocol in docs/dev_tasks/README.md. Resolve relative paths from the repo
root discovered by git rev-parse --show-toplevel, not from the launch
directory.complete, finish, retire,
close out, or cleanup are accepted but not required for dev-task
completion. Treat retire / close out as emphasis that the likely end
state is durable-doc promotion plus folder removal.Examples (replace <task> with the selected task directory):
$dart-resume docs/dev_tasks/<task>
$dart-resume docs/dev_tasks/<task> --slice
$dart-resume PR 2991
@AGENTS.md @docs/dev_tasks/README.md @docs/ai/verification.md
Load docs/onboarding/ci-cd.md when CI is part of the current action,
docs/onboarding/contributing.md before branch/PR work, and
docs/onboarding/changelog.md for the closeout changelog decision.
git rev-parse --show-toplevel
git status -sb && git branch -vv && git log -10 --oneline --decorate
git diff --stat && git stash list
gh pr list --head "$(git branch --show-current)"
gh pr status
If $ARGUMENTS names a docs/dev_tasks/<task> path, use that folder as the
target and inspect its current README.md and RESUME.md snapshots before
choosing work. Follow current owner pointers; retrieve historical entries only
for relevant uncertainty, per docs/dev_tasks/README.md. If the folder is already absent, verify whether
it was retired on current main, identify the durable owner doc that replaced
it, and report that no folder cleanup remains.
Otherwise infer the task from branch name, commits, diffs, issue/PR
description, and any docs/dev_tasks/<task>/ state. If the goal is still
unclear after recon, stop and ask.
Before editing, write explicit pass/fail criteria for the resumed task:
dart-changelog decision will be recorded;Continue the selected action within the reconstructed scope and supplied
decisions. Use the task lifecycle in docs/dev_tasks/README.md, delegation
contract in docs/ai/orchestration.md, and claim-specific gates/completion
audit in docs/ai/verification.md. For 3D claims, use dart-verify-sim;
retain the full solver/paper target across checkpoints.
Before closeout, run dart-changelog in decide or finalize mode.
Promote durable dashboards/matrices and remaining-work decisions, then remove
the completed task folder under its owner's retirement rules. If a real blocker
remains, preserve exact current state and next action instead of claiming done.
For publication, load docs/onboarding/ai-reviews.md: merge the latest base
before a PR push and reuse explicit authorization only within its recorded
scope. Run pixi run lint before committing and the applicable pre-PR gates.
No destructive git commands (reset --hard, dropping stashes, deleting
branches) without explicit maintainer/user approval.