What are the requirements for SAFETY comments in this skill?

Every unsafe block must include a SAFETY comment documenting preconditions, explaining why they hold, and referencing any invariants maintained to ensure the code is sound.

Does this skill provide guidance on FFI tools?

Yes, it includes patterns and recommendations for using bindgen (C to Rust), cbindgen (Rust to C), and high-level wrappers like PyO3 for Python and cxx for C++ interop.

When is it justified to use unsafe code in Rust?

Unsafe is justified for FFI calls to C, creating low-level abstractions like Vec or Arc, and verified performance optimizations. It should never be used just to escape the borrow checker without a structural need.

How does the rust-unsafe skill help prevent Undefined Behavior (UB)?

The skill enforces strict rules for pointer alignment, initialization (using MaybeUninit), and layout compatibility (repr(C)), while promoting the use of tools like Miri to detect UB during testing.

Rust Unsafe & FFI Expert

Name: Rust Unsafe & FFI Expert
Author: huiali

byhuiali

•

学習とドキュメンテーション

Master the complexities of Rust's unsafe blocks, foreign function interfaces, and memory safety invariants with expert-level precision.

The rust-unsafe skill provides Claude with a specialized knowledge layer for handling the most critical aspects of Rust engineering. It focuses on the correct implementation of the unsafe keyword, FFI patterns, and raw pointer management while strictly adhering to soundness rules and memory safety. By providing structured solution patterns for MaybeUninit, repr(C), and mandatory SAFETY comments, this skill helps developers build low-level abstractions and interface with C libraries without introducing undefined behavior. It is an essential tool for systems programmers needing to balance performance and hardware access with Rust's safety guarantees.

主な機能

01Standardized SAFETY comment templates and precondition documentation

02Validation of memory layout and alignment using #[repr(C)] and MaybeUninit

0320 GitHub stars

04Diagnostic support for preventing undefined behavior (UB) and data races

05Expert guidance on FFI patterns and safe wrappers for C/C++ libraries

06Integration of verification workflows using tools like Miri and AddressSanitizer

ユースケース

01Developing safe, ergonomic Rust wrappers for legacy C/C++ shared libraries

02Implementing custom low-level data structures or memory management logic

03Optimizing performance-critical hot paths that require bypassing the borrow checker

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