What problem does it solve? Rust code that compiles is not automatically correct: hidden aliasing bugs behind borrow-checker workarounds, production panics from stray unwrap calls, and async tasks that never get cancelled slip through surface-level review. This Skill provides senior-level Rust analysis focused on memory safety, ownership correctness, and predictable performance. ## Core Features & Use Cases - Soundness Review: Traces ownership flow, lifetime choices, unsafe block invariants, and interior mutability patterns to find real defects rather than style issues. - Async and Concurrency Analysis: Examines cancellation safety, Pin/Unpin implications, shared mutable state, and atomic operation choices under contention. - Performance Discipline: Flags allocation churn, unnecessary clones, and hot-path copies, and recommends zero-copy alternatives where they apply. - Use Case: A diff introduces a new unsafe block and changes an async task's shutdown path. Ask for a review and receive the exact invariant the unsafe block relies on, whether the surrounding safe API upholds it, and what happens to in-flight work when the future is dropped. ## Quick Start Ask the agent to review this Rust code for soundness and explain any unsafe blocks, panic risks, and async cancellation issues it finds.
