Audit unsafe blocks in the Moon codebase for soundness and safety comments.
npx skills add https://github.com/pilotspace/moon --skill unsafe-audit
Please help me install this Agent Skill. Skill: unsafe-audit Source: https://github.com/pilotspace/moon/tree/main/.claude/skills/unsafe-audit Command: npx skills add https://github.com/pilotspace/moon --skill unsafe-audit
This Skill audits all unsafe blocks in the Moon codebase to assess soundness, missing SAFETY comments, and potential undefined behavior.
Run the audit across the Moon source to locate unsafe blocks and generate a severity-ranked report.
High-intent search queries and answers about installing and using this skill.
Auditing unsafe Rust blocks requires verifying type invariants, pointer arithmetic bounds, and proper Drop order to assess soundness and prevent undefined behavior. This process checks safety attributes and invariants across storage, IO, and runtime code.
A SAFETY comment documents why an unsafe Rust block is sound and upholds the required invariants to prevent undefined behavior. You need it for every unsafe block to validate safety attributes and ensure proper drop order is maintained.
Checking for new unsafe Rust blocks involves comparing current code changes against the main branch to identify newly introduced unsafe code. This produces a severity-ranked report highlighting new blocks and verifying their safety comments and invariants.
Yes, this static analysis targets Rust storage, IO, and runtime code changes across source directories and related modules. It audits unsafe blocks within these areas to verify type invariants, pointer arithmetic bounds, and proper Drop order.
The best way to verify pointer arithmetic bounds and Drop order is a static analysis audit of unsafe Rust blocks. This validates type invariants and ensures proper destruction sequence to prevent undefined behavior in storage and IO operations.
AutomatticConvert static HTML, CSS, and JS directories into WordPress block themes.
jmdueaDetect unsafe Rust blocks and FFI misuse in .rs files.
peancharoenRun static analysis tools to detect linting, type, and security issues across source code.
flexisuite-orgAnalyze unsafe Rust code for FFI and memory safety risks.
