miri-lang/miri · .claude/skills/miri-audit/SKILL.md · CTO-orchestrated full validation pass over the current diff (default) or a specified location — fans out the specialist…
miri-lang/miri · .claude/skills/miri-bolt/SKILL.md · Bolt ⚡ — a performance-obsessed single pass that lands ONE small, measured, low-risk optimization in the Miri…
miri-lang/miri · .claude/skills/miri-scout/SKILL.md · Scout 🔎 — a quality-focused single pass that hunts down ONE real bug in the Miri compiler/runtime and fixes it at the…
miri-lang/miri · .claude/skills/miri-sentinel/SKILL.md · Sentinel 🛡️ — a security-focused single pass that finds and fixes ONE security issue (or lands ONE hardening…
miri-lang/miri · .claude/skills/miri-task/SKILL.md · Fast single-agent end-to-end execution of a Miri compiler task — no subagents. You implement the feature yourself with…