Agent Skills
› dartsim/dart
› dart-benchmark-packet
dart-benchmark-packet
GitHub用于在DART项目中生成或刷新基准测试证据包。通过识别所属计划、构建并运行基准测试、写入机器生成的证据文件，并使用检查器验证数据包的有效性，确保测量设置的稳定性与合规性。
Trigger Scenarios
需要创建新的基准测试证据包时
需要更新或刷新现有的基准测试数据时
执行pixi run check-avbd-packets验证失败需修复时
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 lives in .claude/commands/; this file is its generated adapter
in the shared .agents/skills/ catalog.
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
- b9fbefc Current 2026-07-19 11:29
