unsafe-checker

Community

Audit unsafe Rust code and FFI safety.

Authorsimorgh3196
Version1.0.0
Installs0

System Documentation

What problem does it solve?

This Skill helps teams identify and remediate unsafe Rust patterns, including unsafe blocks, raw pointers, and FFI usage, to prevent memory safety violations and undefined behavior.

Core Features & Use Cases

  • Static linting and review guidance for unsafe blocks to ensure SAFETY comments are present and explicit invariants are documented.
  • FFI boundary auditing to verify correct memory ownership, pointer nullability, and proper error handling patterns across Rust<->C interfaces.
  • Safe wrappers guidance to encapsulate unsafe logic behind safe APIs and minimize unsafely exposed surfaces.

Quick Start

Install or run the skill against a Rust codebase with unsafe patterns to generate a safety audit report and recommended fixes.

Dependency Matrix

Required Modules

None required

Components

Standard package

💻 Claude Code Installation

Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.

Please help me install this Skill:
Name: unsafe-checker
Download link: https://github.com/simorgh3196/tsuzulint/archive/main.zip#unsafe-checker

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.