"DART Mechanical Refactor: perform a behavior-preserving mechanical refactor"
Install
npx skillscat add dartsim/dart/dart-mechanical-refactor Install via the SkillsCat registry.
SKILL.md
dart-mechanical-refactor
Use this skill in Codex to run the DART dart-mechanical-refactor 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-mechanical-refactor <arguments> - Codex:
$dart-mechanical-refactor <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
Perform mechanical refactor: $ARGUMENTS
Required Reading
@AGENTS.md
@CONTRIBUTING.md
@docs/onboarding/code-style.md
Workflow
- Define the exact transformation and scope before editing.
- Create a branch from the target branch, usually
origin/main. - Prefer scriptable or automated edits when the transformation is repetitive.
- Keep behavior unchanged; do not mix in feature work or cleanup outside scope.
- If reorganizing files, update CMake, pixi tasks, generated indexes, and docs.
- Run focused checks first, then broader checks according to risk:
pixi run lintpixi run buildpixi run test-unitpixi run test-allwhen feasiblepixi run -e cuda test-allwhen feasible on Linux CUDA hosts
- Ask for explicit maintainer/user approval before pushing or opening a PR.
After approval, open a PR with a clear scope statement and no
behavior-change claim unless tested.
Output
- Transformation summary
- Files or areas changed
- Verification run
- Any residual risk