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 with input: Rust code

Browse skills that use this input.

  • 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 Model Checker
    rustformal verificationmodel checkermemory safety

    ★ 650 · 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
  • gpui - GPUI Desktop App Development with Rust
    rustguidesktopgpu

    ★ 650 · Updated 2026-02-24

    Build desktop applications using the GPU-accelerated GPUI framework from Zed.

    ⚙ Build desktop apps with GPUI⚙ Manage Entity state in struct⚙ Implement the Render trait
  • async-drop - AsyncDrop Pattern Guide for Rust Async Cleanup
    RustAsync ProgrammingResource ManagementCleanup Pattern

    ★ 2,304 · Updated 2026-02-13

    Guide to the AsyncDrop pattern for async cleanup in Rust

    ⚙ Create AsyncDropGuard⚙ Implement AsyncDrop trait⚙ Call async_drop method
  • idiomatic-rust - Idiomatic Rust Patterns for C Porting
    rustcode-reviewportingbest-practices

    ★ 22 · Updated 2026-02-13

    Provides idiomatic Rust patterns for code ported from C to avoid writing C-style code in Rust

    ⚙ analyze Rust code⚙ review C-to-Rust ports⚙ suggest idiomatic patterns