trailofbits/coop

closeout-review

Run the final scope-controlled review before committing, pushing, or opening a PR. Use for closeout review, readiness checks, or self-review of a completed branch.

لغة النص الأصلي: الإنجليزية

review

Review a coop pull request or local diff with independent, self-validated correctness, design, convention, security, API, test, documentation, and comment lenses. Use for PR review, /review follow-up, or when asked to inspect a branch without modifying it.

لغة النص الأصلي: الإنجليزية

babysit-my-prs

Triage and shepherd all open PRs owned by the current GitHub user, isolating each writable worker in its own worktree. Use when asked to babysit or monitor the user's PR fleet.

لغة النص الأصلي: الإنجليزية

babysit-pr

Shepherd the current user's open PR through base updates, CI failures, and review feedback without rewriting history or merging. Use when asked to babysit, monitor, or fix an existing PR.

لغة النص الأصلي: الإنجليزية

integration

Run and interpret coop's VM integration suite locally on Lima or remotely on Firecracker. Use when asked for integration testing or when guest-visible/lifecycle work needs its pre-merge gate.

لغة النص الأصلي: الإنجليزية

mutation-check

Run cargo-mutants for changed coop logic and keep .cargo/mutants.toml synchronized. Use when logic-dense modules change, before refactors, or when asked to verify mutation coverage.

لغة النص الأصلي: الإنجليزية

closeout-review

Run the final scope-controlled review before committing, pushing, or opening a PR.

لغة النص الأصلي: الإنجليزية

mutation-check

Run cargo-mutants for changed coop logic and keep .cargo/mutants.toml synchronized.

لغة النص الأصلي: الإنجليزية