All authors
Claude Skills by xiechimon
github.com/xiechimon10 skills0 installs0 views
- Pr CairnUse when writing a PR body for this repo. Carries the cairn PR body contract (four required sections from .github/PULL_REQUEST_TEMPLATE.md, checked by the pr-evidence CI gate) and replaces the global show-me template (Summary/Evidence/Merge Danger), which fails the gate here.Votes: 0GitHub stars: 4
- Retro CairnUse when wrapping up a task or after fixing an error: list the mistakes that appeared and got fixed along the way (including ones a user corrected), attribute them, turn them into recurrence-preventing safeguards, and land each safeguard in the code it concerns.Votes: 0GitHub stars: 4
- Verify CairnBehavior verification for cairn - spin up an isolated live stack (server VERIFY_PORT 8791 + vite dev VERIFY_WEB_PORT 5273, independent CAIRN_HOME scratch), Playwright walks real user journeys (new task / create API key / search / theme), evidence (screenshots + API JSON + SQLite rows) available for review with optional repository archiving. Use when you must prove a feature really runs after a change and need reviewable evidence; fixture-surface regression goes through apps/web e2e (including...Votes: 0GitHub stars: 4
- Verify Step ClaimTLA+ model checking (TLC, one command ~1 minute) of cairn's step claim / heartbeat / abandoned release / finish report / stop-on-close. Use when changing tryClaim, heartbeatStep, ownedStep, finishStep, sweepAbandonedBuildSteps, sweepStaleMachines, sweepQuotaWaitSteps, stopActiveStepsAfterExit, fetchStop, the scheduler tick order, or the daemon's claim loop, recover, deliverStop, runStep heartbeat / session registration / finish; judge whether a change makes "the same step run in two places at...Votes: 0GitHub stars: 4
- Verify CairnDrive cairn on a scratch stack (Hono 8791, Vite 5273) and prove a user journey with screenshots, console errors, and failed requests. Use when a change needs live UI evidence. Deterministic steps are scripts/glass.mjs. This file is only the flow and the judgment calls.Votes: 0GitHub stars: 4
- Design CairnUse when a task, brief or PR touches apps/web/src (new screen, UI fix, copy, layout, state handling). Carries the cairn UI brief template (references, component x state list, compare-to-reference acceptance), the draft-first rule for the five main surfaces and the seed-missing-states rule. Use together with the global design skill.Votes: 0GitHub stars: 4
- Maintain Verify CairnPeriodic pass that keeps verify-cairn and its features/ map honest: source readers per feature, one live session driving features, at most one PR of proven corrections under the skill directory. Use for /maintain-verify-cairn or when asked to audit the verify-cairn feature map.Votes: 0GitHub stars: 4
- Verify Merge GateTLA+ model checking (TLC, one command ~75 seconds) of cairn's merge gate and local landing. Use when changing mergeReadiness's verdict binding (headSha / patchDigest), the independent-review head rule, planGateStatusWrite, apiMergeGate / mergeThroughGithub (the REST merge and its `sha` pin), applyMergeLanding, or decideLocalMerge; judge whether a change makes "a merge landing on a patch no verdict judged", "a stale verdict satisfying the gate", or "a local landing without the re-checks" bette...Votes: 0GitHub stars: 4
- LessonsNo description providedVotes: 0GitHub stars: 4
- Cairn WorkerThe Cairn worker working loop: plan, implement, test, self-review, report. Use for coding benchmark tasks.Votes: 0GitHub stars: 4