🎯

unsafe-checker

🎯Skill

from goooice/rust-skills

What it does

Identifies and reviews unsafe Rust code patterns, FFI risks, and potential memory unsafety in Rust projects.

📦

Part of

goooice/rust-skills(35 items)

unsafe-checker

Installation

Add MarketplaceAdd marketplace to Claude Code

/plugin marketplace add ZhangHanDong/rust-skills

Install PluginInstall plugin from marketplace

/plugin install rust-skills@rust-skills

Quick InstallInstall with npx

npx skills add ZhangHanDong/rust-skills

git cloneClone repository

git clone https://github.com/ZhangHanDong/rust-skills.git

📖 Extracted from docs: goooice/rust-skills

Need more details? View full documentation on GitHub →

4Installs

AddedFeb 4, 2026

View on GitHub Back to Skills

Skill Details

SKILL.md

"CRITICAL: Use for unsafe Rust code review and FFI. Triggers on: unsafe, raw pointer, FFI, extern, transmute, *mut, *const, union, #[repr(C)], libc, std::ffi, MaybeUninit, NonNull, SAFETY comment, soundness, undefined behavior, UB, safe wrapper, memory layout, bindgen, cbindgen, CString, CStr, 安全抽象, 裸指针, 外部函数接口, 内存布局, 不安全代码, FFI 绑定, 未定义行为"

Overview

Display the following ASCII art exactly as shown. Do not modify spaces or line breaks:

```text

⚠️ Unsafe Rust Checker Loaded

/◉\_~^~_/◉\

⚡/ o \⚡

'_ _'

/ '-----' \

```

---

# Unsafe Rust Checker

When Unsafe is Valid

| Use Case | Example |

|----------|---------|

| FFI | Calling C functions |

| Low-level abstractions | Implementing Vec, Arc |

| Performance | Measured bottleneck with safe alternative too slow |

NOT valid: Escaping borrow checker without understanding why.

Required Documentation

```rust

// SAFETY:

unsafe { ... }

/// # Safety

///

pub unsafe fn dangerous() { ... }

```

Quick Reference

| Operation | Safety Requirements |

|-----------|---------------------|

| *ptr deref | Valid, aligned, initialized |

| &*ptr | + No aliasing violations |

| transmute | Same size, valid bit pattern |

| extern "C" | Correct signature, ABI |

| static mut | Synchronization guaranteed |

| impl Send/Sync | Actually thread-safe |

Common Errors

| Error | Fix |

|-------|-----|

| Null pointer deref | Check for null before deref |

| Use after free | Ensure lifetime validity |

| Data race | Add proper synchronization |

| Alignment violation | Use #[repr(C)], check alignment |

| Invalid bit pattern | Use MaybeUninit |

| Missing SAFETY comment | Add // SAFETY: |

Deprecated → Better

| Deprecated | Use Instead |

|------------|-------------|

| mem::uninitialized() | MaybeUninit |

| mem::zeroed() for refs | MaybeUninit |

| Raw pointer arithmetic | NonNull, ptr::add |

| CString::new().unwrap().as_ptr() | Store CString first |

| static mut | AtomicT or Mutex |

| Manual extern | bindgen |

FFI Crates

| Direction | Crate |

|-----------|-------|

| C → Rust | bindgen |

| Rust → C | cbindgen |

| Python | PyO3 |

| Node.js | napi-rs |

Claude knows unsafe Rust. Focus on SAFETY comments and soundness.

More from this repository10

🎯

m14-mental-model🎯Skill

Applies the M14 mental model framework to enhance decision-making and strategic thinking through structured cognitive analysis.

🎯

m04-zero-cost🎯Skill

Guides developers in choosing zero-cost abstractions by analyzing type system constraints and performance trade-offs in Rust generics and traits.

🎯

m10-performance🎯Skill

Optimizes code performance by identifying bottlenecks, measuring impact, and guiding strategic improvements across algorithm, data structure, and memory efficiency.

🎯

meta-cognition-parallel🎯Skill

Performs parallel three-layer meta-cognitive analysis by forking subagents to simultaneously analyze language mechanics, design choices, and domain constraints, then synthesizing results.

🎯

rust-skill-creator🎯Skill

Dynamically generates Claude skills for Rust crates, standard library modules, and documentation by extracting and processing technical details from specified URLs.

🎯

coding-guidelines🎯Skill

Provides comprehensive Rust coding guidelines covering naming conventions, best practices, error handling, memory management, concurrency, and code style recommendations.

🎯

rust-refactor-helper🎯Skill

Performs safe Rust refactoring by analyzing symbol references, checking conflicts, and applying changes across project files using LSP.

🎯

m03-mutability🎯Skill

Diagnoses and guides resolution of Rust mutability and borrowing conflicts by analyzing ownership, mutation patterns, and thread-safety requirements.

🎯

domain-iot🎯Skill

Enables building robust, efficient IoT applications with offline-first design, power-aware networking, and secure device communication using Rust.

🎯

m05-type-driven🎯Skill

Explores and demonstrates type-driven development techniques in Rust, showcasing advanced type system features and pattern matching strategies.