Provides expert guidance and safety patterns for writing sound unsafe code and FFI bindings in Rust.
This skill equips Claude with specialized knowledge for handling Rust's most sensitive operations, including unsafe blocks, raw pointer manipulation, and Foreign Function Interface (FFI) development. It emphasizes the 'Soundness' principle, ensuring that all low-level code maintains Rust's safety guarantees through rigorous checklists, Miri testing protocols, and the implementation of safe abstraction patterns. Whether you are building high-performance data structures or wrapping legacy C libraries, this skill provides the architectural patterns needed to avoid Undefined Behavior and memory leaks.
Key Features
01Templates for // SAFETY: comments to document invariants and soundness requirements
02Standardized patterns for C-interop using #[repr(C)], CString, and opaque handles
03Best practices for panic boundaries and error handling across FFI boundaries
04Comprehensive safety checklists for pointer dereferencing and unsafe trait implementation
050 GitHub stars
06Guidance on using Miri and ASan to detect memory violations and aliasing issues
Use Cases
01Creating safe, idiomatic Rust wrappers for existing C or C++ libraries
02Implementing custom memory allocators or performance-critical data structures
03Auditing existing unsafe code blocks for potential Undefined Behavior (UB)
