Skills for Agentic Software Engineering
Done means observed. Five skills where each step ends on command output, and every mistake that slips through becomes a check that fails on it.
bunx skills add Railly/skills- Contract
- Loop
- Verify
- Gate
- Correct
- 01contractexperimentalWrite what done means before any code changes. Every criterion names the driver that will observe it.
- 02loopexperimentalRun the change. Ceremony scales with size, and each step ends on command output, never on a claim.
- 03verify-setupexperimentalGive a repo its own drivers that touch the real surface and keep evidence tied to the exact tree.
- 04gateevaluatedReview one exact diff: deterministic checks first, then only the lenses the change triggers.
- 05correctdogfoodedRecord the work, then turn each escaped mistake into a check that fails on it.
Prose rules get read and skipped. These skills ship scripts instead: a contract the harness can check, drivers that look at the real screen, a gate that refuses a stale verdict, and an enforcer table that only grows.