rust-unsafe

What problem does it solve?

This Skill addresses the critical need for ensuring the safety and correctness of unsafe Rust code, which bypasses Rust's standard memory safety guarantees. It helps developers identify when unsafe is necessary, how to use it minimally, and how to rigorously verify its soundness.

Core Features & Use Cases

• Soundness Verification: Provides a framework for reviewing unsafe blocks, ensuring they adhere to Rust's safety invariants.
• FFI Safety: Guides the safe interaction between Rust and external code (like C libraries), managing pointer validity, memory layout, and error handling across boundaries.
• Minimizing Unsafe Surface Area: Promotes encapsulating unsafe code within safe abstractions to protect the rest of the codebase.
• Use Case: A developer needs to interface with a C library that requires raw pointer manipulation. This Skill helps them write a safe Rust wrapper around the C functions, ensuring memory safety and preventing undefined behavior.

Quick Start

Use the rust-unsafe skill to review the provided unsafe Rust code snippet for soundness issues.