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: formal verification

Browse skills that share this tag.

  • lean-formal-feedback-loop - Lean-Rust Proof Feedback Loop for Runtime Bugs
    formal verificationtheorem provingruntime bug detectionRust safety

    ★ 22 · Updated 2026-05-28

    Run Lean-Rust proof feedback loops to find runtime bugs and close formal assurance gaps.

    ⚙ load frog candidates from coverage⚙ verify cass index health⚙ build Lean baseline
  • model-guided-code-repair - Automatic Code Repair Using Model-Checking
    formal verificationconcurrent systemscode repairtemporal logic

    ★ 18 · Updated 2026-03-22

    Automatically repair code violations of temporal properties using model-checking counterexamples

    ⚙ read program source code⚙ analyze temporal property⚙ trace counterexample
  • model-guided-code-repair - Repair Code Using Model-Checking Counterexamples
    code repairmodel checkingformal verificationtemporal properties

    ★ 251 · Updated 2026-03-22

    Automatically repair temporal property violations using model-checking counterexamples

    ⚙ analyze source code⚙ read temporal properties⚙ process counterexamples
  • 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
  • paperproof-validator - Formal Proof Visualization and Verification for Lean 4
    formal verificationproof visualizationLean 4theorem proving

    ★ 64 · Updated 2026-02-11

    Transforms formal Lean 4 proofs into intuitive, paper-like visualizations

    ⚙ visualize proof structure⚙ extract proof metadata⚙ validate proof correctness