Codex Draton Verification for Focused Parser and Type Tests
Select focused verification for Draton parser, typechecker, workspace, release, or docs changes. Record the commands that ran and any missing coverage.
中文Install in Codex
Codex with a Draton checkout and the tools needed for the affected area. Retain the bundled verification map and command recommender.
- Copy the entire pinned `.codex/skills/draton-verification/` directory to `.agents/skills/draton-verification/` in the target checkout.
- Open Codex in that checkout and invoke `$draton-verification` with the example task and desired output.
Example task
Invoke `$draton-verification` for a declaration-parser diff in a practice branch. Start with `cargo test -p draton-parser --test items` and record its result.What to check
The verification record identifies the affected area, command, and observed result, with a reason for any broader test.
Original SKILL.md on GitHub · Updated
Frequently asked question
How should I verify a docs-only change?
Check the changed guidance and examples against the implementation, then add checks that match the scope.