create-verification-skill

Daryl's agent style: routed playbooks, cited principles, proof on the real surface, and delivery by rebase-PR-squash.

Generate a project-owned skill in the deez-skills hub that formally verifies the code where a bug costs most and tests reach least, with whichever tool fits.

Settle the shape before writing code: ground, sketch competing designs from the caller's usage, get approval, implement against the sketch, and scrap it when…

Draft or refresh the operator's personal mode skill from real transcript history rather than from description.

Use when a change to the `om` daemon or CLI (the openmarket-internal monorepo — packages/cli, packages/sdk, the runner, the action registry, the ops…

Use when a change to the OpenMarket chart frontend (kiyotaka-frontend) needs to be driven and proven in the running app — starting a dev-server lane…

Use when a change to the OpenFloor mobile app (openmarket-chat-app, the Expo/React Native OpenMarket client) needs to be driven and proven on a real iOS…

Use when a change to the OM Chat GUI (the openmarket-chat workspace — /rooms, /chat/, or the shared packages/chat-ui) needs to be driven and proven in the…

Vet a perf measurement (limiter, tuning, limits, errors, repeatability, relevance, and whether the work happened) before you report or act on it.

Find the mistakes agents keep repeating in a repo and make each one impossible: architecture first, then types, a lint whose error names the fix, a test, and…

Shape output for a reader with ADHD: lead with the next action, number multi-step work, restate state across turns, suppress tangents, give specific time…

Commit the currently staged git changes only.