Skills
.Work. You
Rest

unsafe-review

Community

Audit unsafe code with evidence.

Software Engineering#testing#code review#performance#security audit#rust#unsafe#miri
Authorahrav
Version1.0.0
Installs0

System Documentation

What problem does it solve?

This Skill enforces a strict policy on the use of unsafe code in Rust projects, ensuring that every instance of unsafe is necessary for performance, rigorously audited for safety, and comprehensively tested.

Core Features & Use Cases

  • Safety Invariant Auditing: Verifies that the documented invariants making unsafe blocks safe actually hold true.
  • Performance Justification: Demands benchmark and Assembly (ASM) proof that unsafe provides a measurable performance benefit over safe alternatives.
  • Test Coverage Verification: Ensures every unsafe block is covered by Miri, Kani, fuzzing, and property-based tests.
  • Use Case: Before merging a pull request that introduces a new unsafe block, run this Skill to automatically audit its safety, performance justification, and test coverage, preventing potential bugs and security vulnerabilities.

Quick Start

Run a comprehensive audit of all unsafe code within the current project.

Dependency Matrix

Required Modules

None required

Components

scriptsreferences

💻 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-review
Download link: https://github.com/ahrav/scratch-scanner-rs/archive/main.zip#unsafe-review

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 223,000+ vetted skills library on demand.