dart-benchmark-packet
GitHub用于构建基准测试并生成或刷新证明数据包。通过识别所属计划、执行基准测试、写入证据包及运行校验器,确保测量数据的准确性和合规性,适用于需要标准化性能证据的场景。
Trigger Scenarios
Install
npx skills add dartsim/dart --skill dart-benchmark-packet -g -y
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 first-class Codex 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 examplescripts/write_*_packet.py) that the plan names. - Build the benchmark target and run the benchmark that feeds the packet,
following
docs/onboarding/profiling.mdfor 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.
Output
- Owning plan, packet ID, and the checker/generator used
- Benchmark command run and the measurement setup
- Packet file written and checker result
- Whether the packet is new or refreshed, and any remaining gap
Version History
- e0d13fd Current 2026-07-05 10:37


