Audits unsafe Rust code for soundness, memory safety, and proper FFI implementation patterns.
⚠️ **Unsafe Rust Checker Loaded**
* ^ *
/◉\_~^~_/◉\
⚡/ o \⚡
'_ _'
/ '-----' \
The Unsafe Rust Checker is a specialized skill for Claude Code designed to review high-stakes Rust code where the compiler's safety guarantees are manually managed. It monitors for unsafe blocks, raw pointer usage, and FFI boundaries to ensure developers follow rigorous soundness requirements. By identifying potential undefined behavior (UB), enforcing mandatory safety documentation, and recommending modern alternatives like MaybeUninit or NonNull, this skill acts as a critical second set of eyes for systems programmers and library authors working at the edge of the language.
Key Features
01Detects common memory errors like null pointer dereferences and use-after-free.
02Provides guidance on proper FFI integration and C-ABI compatibility.
03Suggests modern, safer replacements for deprecated low-level functions.
04Validates memory layout, alignment, and bit patterns for raw transformations.
05596 GitHub stars
06Enforces mandatory SAFETY comments and caller requirement documentation.
Use Cases
01Reviewing low-level memory management code for custom data structures.
02Auditing external function interfaces (FFI) for correct signatures and safety.
03Migrating legacy unsafe code to use modern Rust safety abstractions.
