mutation-check

Name: mutation-check
Author: trailofbits/coop

$npx mdskill add trailofbits/coop/mutation-check

Read [`.agents/skills/mutation-check/SKILL.md`](../../../.agents/skills/mutation-check/SKILL.md) in full and follow it. The shared skill is the source of truth.

SKILL.md

.github/skills/mutation-checkView on GitHub ↗

---
name: mutation-check
description: Run cargo-mutants for changed coop logic and keep .cargo/mutants.toml synchronized.
---

Read [`.agents/skills/mutation-check/SKILL.md`](../../../.agents/skills/mutation-check/SKILL.md)
in full and follow it. The shared skill is the source of truth.

More from trailofbits/coop

Skill	Description
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.
closeout-review	Run the final scope-controlled review before committing, pushing, or opening a 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.
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.