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: kani

Browse skills that share this tag.

  • kani-verifier - Rust Formal Verification with Kani
    rustformal verificationmodel checkingsymbolic execution

    ★ 22 · 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

    ★ 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