Can I use this for FFI with languages other than C?

Yes. While focused on the C ABI, the patterns provided—such as repr(C) and raw pointer management—are fundamental for interoperating with C++, Python via PyO3, and Node.js via napi-rs.

How does this skill help prevent Undefined Behavior (UB)?

It enforces strict adherence to 47 core safety rules, requires detailed SAFETY comments explaining preconditions, and provides commands to run validation tools like Miri and AddressSanitizer.

What are the requirements for a SAFETY comment in Rust?

Every unsafe block must include a comment that documents the preconditions, explains why those preconditions are met in the current context, and references the invariants being maintained.

When should I use the Rust Unsafe skill?

Use this skill when interfacing with C libraries, building low-level abstractions like custom smart pointers, or optimizing hot paths where the borrow checker prevents necessary performance gains.

Rust Unsafe & FFI Expert

Name: Rust Unsafe & FFI Expert
Author: huiali

byhuiali

•

개발자 도구

Guides developers through low-level Rust engineering, focusing on safe FFI patterns, raw pointer management, and the prevention of undefined behavior.

This skill acts as a specialized reasoning layer for Rust's 'unsafe' keyword and Foreign Function Interface (FFI) development. It assists in navigating the complexities of raw pointers, memory layout optimization, and manual memory management while ensuring strict adherence to Rust's safety invariants. By providing standardized solution patterns and enforcing rigorous SAFETY comment documentation, it helps developers build robust, high-performance abstractions and safe wrappers for C libraries without compromising the integrity of the Rust memory model.

주요 기능

01Automates checks for raw pointer validity, alignment, and thread-safety invariants

02Enforces mandatory SAFETY documentation for all unsafe blocks and public functions

03Provides validated patterns for FFI wrappers and C-compatible data structures

0419 GitHub stars

05Offers guidance on preventing Undefined Behavior (UB) through Miri and sanitizers

06Identifies and replaces deprecated patterns like mem::uninitialized with modern alternatives

사용 사례

01Building safe and ergonomic Rust wrappers for legacy C libraries or system-level APIs

02Optimizing performance-critical hot paths that require bypassing standard borrow-checker limitations

03Implementing low-level primitive data structures such as custom allocators or smart pointers

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add huiali/rust-skills rust-unsafe

For use in Claude.ai and ChatGPT

Download Skill