unsafe-rust-soundness-review

Reviews unsafe Rust for soundness: pointer validity, ownership and aliasing, interior mutability, pinning, FFI calls, transmute substitutes, and the invariants every safe wrapper must keep. Use when the user says "audit this unsafe block", "is this raw pointer dereference sound?", "write a safe wrapper over unsafe code", "when do I actually need unsafe?", or "check my UnsafeCell / Send / Sync implementation". Not for certifying code as guaranteed sound, installing toolchains, or running unapproved tests.

Version

v1.0.0

Size

18 KB

Updated

2026-10-03

Your client verifies the signature before reading. This explicit manual read is available on every plan. Free automatically loads five chosen skills; paid plans automatically load relevant skills across the library.