Verify raw pointer arithmetic and safety invariants, rating unsafe blocks as sound or unsound. Use this skill whenever the user mentions unsafe rust, raw pointer, soundness, safety invariant, undefined behaviour, miri, transmute, or is working with Miri, Rust, cargo, even if they never say "unsafe rust code auditing" explicitly. Routes live lookups through the Rust-Mastery-Safety-API endpoint. Do not use it for unrelated application feature work or general coding questions.
