LogoClawIndex
CasesSkillsAbout
LogoClawIndex

ClawIndex

OpenClaw Skills & Use Case Index

ClawIndex is an ecosystem-driven index of OpenClaw skills and real-world use cases.

Index

Skills·
Cases

Meta

About·
Disclaimer·
Email·
GitHub
© 2026 ClawIndex All Rights Reserved.

Skills tagged: memory safety

Browse skills that share this tag.

  • rust-pro - Expert Rust 1.75+ Development & Systems Programming
    Rustsystems programmingasync programmingperformance optimization

    ★ 6 · Updated 2026-03-26

    Master Rust 1.75+ features for building high-performance, memory-safe systems with modern async patterns and advanced type system.

    ⚙ implement const generics⚙ write lifetime annotations⚙ use generic associated types
  • llvm-security - LLVM Security Expert - Hardening & Sanitizers
    compiler securitymemory safetysanitizershardening

    ★ 438 · Updated 2026-03-23

    Implements LLVM security features, sanitizers, hardening techniques, exploit mitigations, and secure compilation

    ⚙ compile program with sanitizers⚙ detect memory errors⚙ detect data races
  • security-audit - Rust/WebAssembly Security Auditing
    securityauditRustWebAssembly

    ★ 18 · Updated 2026-03-20

    Security auditing for Rust and WebAssembly applications with vulnerability identification and secure code review

    ⚙ identify vulnerabilities⚙ review unsafe code⚙ validate input handling
  • kani-verifier - Rust Formal Verification with Kani
    formal verificationmodel checkingRustmemory safety

    ★ 0 · Updated 2026-03-20

    Model checker that proves Rust code properties through exhaustive symbolic execution

    ⚙ verify Rust code⚙ check memory safety⚙ detect undefined behavior
  • kani-verifier - Rust Formal Verification with Kani
    rustformal verificationmodel checkingsymbolic execution

    ★ 18 · Updated 2026-03-20

    Model checker proving Rust code properties for all possible inputs using symbolic execution.

    ⚙ verify Rust code⚙ check memory safety⚙ detect undefined behavior
  • kani-verifier - Rust Formal Verification with Kani Model Checker
    rustformal verificationmodel checkermemory safety

    ★ 602 · Updated 2026-03-20

    Bit-precise model checker for Rust that exhaustively verifies code properties including memory safety and undefined behavior.

    ⚙ verify Rust code⚙ check memory safety⚙ detect undefined behavior
  • rust-unsafe - Rust Unsafe Code & FFI Expert
    rustunsafefficode analysis

    ★ 602 · Updated 2026-03-19

    Expert tool for handling Rust unsafe code and FFI with safety rules

    ⚙ review unsafe code⚙ check raw pointers⚙ analyze FFI scenarios