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.

  • lean4-proof - Complete Lean 4 mathematical proofs for sequences.
    lean4theorem-provingmathematicssequences

    ★ 13 · Updated 2026-09-14

    Completes Lean 4 mathematical proofs for sequences and convergence, ensuring type checking passes without warnings.

    ⚙ Complete Lean 4 mathematical proofs⚙ Prove sequence and series properties⚙ Verify proofs with Lean toolchain
  • numina-lean-agent - Lean 4 Theorem Proving Toolkit
    lean4theorem-provingformal-verification

    ★ 279 · Updated 2026-09-09

    Lean 4 theorem proving toolkit to search lemmas, verify proofs, repair code, and generate informal proofs.

    ⚙ Search lemmas⚙ Verify proofs⚙ Disprove statements
  • cmodel - Formal Alloy Model Generation
    formal-verificationalloy-modelingsecurity-analysismodel-checking

    ★ 66 · Updated 2026-05-28

    Generate Alloy formal models and run Alloy Analyzer for security-relevant behavior

    ⚙ Identify modelable scope⚙ Generate Alloy model⚙ Run Alloy Analyzer