Does this skill work for both development and debugging?

Yes, it is designed for both 'rust:dev' for writing sound unsafe code and 'rust:debug' for troubleshooting existing memory-related bugs and data races.

How does this skill help with Rust memory safety?

It enforces strict 'Safety Comments' rules and suggests safe alternatives to unsafe code, such as using OnceLock or bytemuck, to prevent common memory corruption bugs.

What is Miri validation and how is it used?

Miri is an interpreter that detects undefined behavior. This skill provides the commands and CI configurations needed to run cargo miri test on your unsafe code blocks.

Can it help with C library integration?

Yes, it provides specific implementation patterns for FFI, including correct CString/CStr conversion and wrapping raw C calls into safe, idiomatic Rust APIs.

Rust Unsafe & FFI Safety Guide

Name: Rust Unsafe & FFI Safety Guide
Author: lazygophers

bylazygophers

•

보안 및 테스팅

Enforces best practices for Rust unsafe code to minimize risk, manage raw pointers, and ensure FFI interoperability while preventing undefined behavior.

This Claude Code skill provides comprehensive guidelines for handling Rust's unsafe keyword, focusing on memory safety, FFI interactions, and undefined behavior (UB) prevention. It helps developers minimize unsafe blocks, properly document safety invariants with mandatory safety comments, and leverage tools like Miri for automated validation. Whether you are building low-level system components, interfacing with legacy C libraries, or optimizing performance-critical paths, this skill ensures your unsafe code is sound, encapsulated within safe APIs, and rigorously tested against memory safety violations.

주요 기능

01Standardized // SAFETY: documentation and invariant checking for every unsafe block.

02Miri validation toolchain integration and automated CI testing setups.

03Identification of safe alternatives to common unsafe patterns like static mut.

04FFI (Foreign Function Interface) safe encapsulation patterns for C interoperability.

05Strict guidelines for raw pointer manipulation, unions, and transmute usage.

062 GitHub stars

사용 사례

01Auditing and debugging existing Rust projects for potential undefined behavior.

02Implementing custom memory allocators or specialized data structures.

03Creating safe, high-level wrappers for low-level C libraries.

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add lazygophers/ccplugin unsafe

For use in Claude.ai and ChatGPT