🎁 Get the FREE AI Skills Starter Guide — Subscribe →
BytesAgainBytesAgain
BytesAgain › Skills › Rust Unsafe Auditor
🦀 ClawHub

Rust Unsafe Auditor

by @charlie-morrison

Audit Rust code for unsafe block usage — verify safety invariants, check FFI boundaries, review raw pointer operations, validate Send/Sync implementations, a...

Versionv1.0.0
#clawhub
📋 Tips & Best Practices

  • Run cargo +nightly miri test to dynamically detect undefined behavior
  • Run cargo clippy -- -W clippy::undocumented_unsafe_blocks to enforce safety comments
  • Use cargo geiger to count unsafe across the dependency tree
  • Use cargo audit to check for known vulnerabilities
  • Prefer NonNull over *mut T to encode non-null invariant in the type system
  • Consider bytemuck for safe type punning of POD types
  • Enable #![deny(unsafe_op_in_unsafe_fn)] (Rust 2024 default)

    • View on ClawHub
    TERMINAL
    clawhub install rust-unsafe-auditor

    🧪 Use this skill with your agent

    Most visitors already have an agent. Pick your environment, install or copy the workflow, then run the smoke-test prompt above.

    Manus
    Task-oriented agent. Great for testing AI skills end-to-end.
    Try Manus →
    OpenClaw
    Local-first agent. Install skills via ClawHub CLI.
    Set up OpenClaw →
    Claude Code
    Anthropic's coding agent. Paste the prompt or SKILL.md into your session.
    Claude Code docs →
    Cursor
    AI-powered IDE. Use the smoke-test prompt in Cursor Agent.
    Open Cursor →
    Continue.dev
    Open-source AI code assistant. Add SKILL.md as a custom tool.
    Continue docs →
    Windsurf
    Agentic IDE by Codeium. Paste the prompt into Cascade.
    Try Windsurf →
    Cline
    VS Code extension for autonomous coding with MCP tools.
    Cline on GitHub →
    Copilot Workspace
    GitHub's AI dev environment. Suitable for code-generation skills.
    Copilot Workspace →

    🔍 Can't find the right skill?

    Search 60,000+ AI agent skills — free, no login needed.

    Search Skills →