Agent Skills › dartsim/dart › dart-benchmark-packet

dart-benchmark-packet

GitHub

用于在 Codex 中运行 DART 基准测试证据包工作流。通过定位所属计划、构建并运行基准测试、生成机器生成的证据包，并使用检查器验证数据包的有效性，以准备或刷新基准测试证据。

.codex/skills/dart-benchmark-packet/SKILL.md dartsim/dart

触发场景

需要生成或更新 DART 基准测试证据包时执行 /dart-benchmark-packet 命令时

安装

npx skills add dartsim/dart --skill dart-benchmark-packet -g -y

更多选项

非标准路径

npx skills add https://github.com/dartsim/dart/tree/main/.codex/skills/dart-benchmark-packet -g -y

不安装直接使用

npx skills use dartsim/dart@dart-benchmark-packet

指定 Agent (Claude Code)

npx skills add dartsim/dart --skill dart-benchmark-packet -a claude-code -g -y

安装 repo 全部 skill

npx skills add dartsim/dart --all -g -y

预览 repo 内 skill

npx skills add dartsim/dart --list

SKILL.md

Frontmatter

{
    "name": "dart-benchmark-packet",
    "description": "DART Benchmark Packet: author or refresh a benchmark evidence packet for an owning plan"
}

dart-benchmark-packet

Use this skill in Codex to run the DART dart-benchmark-packet workflow. The editable workflow source currently lives in .claude/commands/, and this generated Codex skill is a generated Codex adapter entrypoint.

Invocation

Claude Code/OpenCode: /dart-benchmark-packet <arguments>
Codex: $dart-benchmark-packet <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.

Command Body

Author or refresh a benchmark evidence packet: $ARGUMENTS

Required Reading

@AGENTS.md @docs/onboarding/profiling.md

Also read the owning plan file named by the packet (for example docs/plans/<NNN>-<slug>.md) and its packet convention.

Workflow

Identify the owning plan and its packet convention: the packet checker (for example pixi run check-avbd-packets) and the packet generator (for example scripts/write_*_packet.py) that the plan names.
Build the benchmark target and run the benchmark that feeds the packet, following docs/onboarding/profiling.md for a stable measurement setup.
Run the packet writer to record the machine-generated evidence packet with its provenance and resolved configuration.
Validate the packet with the plan's packet checker; treat a failing checker as incomplete evidence and fix the packet, not the checker.
Prepare the owning plan's row or link update that task-specific gates require, but leave editing the plan file to the plan's own workflow — this command prepares and validates the packet. This is a local task; do not push or open PRs without explicit maintainer/user approval.