Skill Claude CodeCodex
Build and review this repository SwiftUI and UIKit surfaces. Use its layering, reuse, Broadway design-system, layout, accessibility, localization, preview, and image-snapshot conventions. Use when you create or change a view, screen, component, widget, app-extension UI, stylesheet, visual token, animation, UIKit…
Skill Claude CodeCodex
Open and maintain pull requests, including stacked PRs through gh stack. Handle review feedback. Check GitHub Actions and CircleCI. Post as the user via gh or ManagePullRequest. Use when you commit for push, open or update a PR after plan execution, create or maintain a PR stack, respond to review comments, or…
Skill Claude CodeCodex
Run the test suite with ./test. Pick the right tier. Manage the per-checkout simulator. Use when you run tests, pick test scope, debug simulator launch failures, or review snapshot diffs.
Skill Claude CodeCodex
Model-check coordination protocols with source-only PlusCal, TLA+, and TLC. Map the result back to source behavior and deterministic tests. Use only when the user explicitly invokes this skill or asks for TLA+, TLC, or PlusCal verification of a concurrent state machine, lifecycle, queue, retry, cancellation, teardown…
Skill Claude CodeCodex
Run this repo backlog pipeline. Drain INBOX.md into the right TODOs.md. Verify and expand entries against current source. Archive completed items. Refresh MODULEAUDIT.md as a derived report. Use when you triage the inbox, file findings, run the weekly module audit, or tidy the TODOs.
Skill Claude CodeCodex
Safely updates the primary, non-linked checkout of this repository to the latest origin/main. Use when the user explicitly invokes $update-main or asks to fast-forward their ordinary main checkout; never use for a Codex-managed or other linked worktree.
Skill Claude CodeCodex
Upgrade a Where app backup directory or ZIP with Where/Tools/upgrade-backup.rb. Make sure that archive integrity and record preservation hold. Prove the result loads through WhereCore BackupService. Use when a user asks to upgrade, migrate, repair, validate, or test-import a legacy Where backup.