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 output: test witness

Browse skills that produce this output.

  • lean-formal-feedback-loop - Lean Formal Proof Feedback Loop
    Lean formal proofRust verificationformal assurance gap

    ★ 0 · Updated 2026-05-28

    Run Lean-Rust proof feedback loops to find runtime bugs

    ⚙ run proof loops⚙ find runtime bugs⚙ prove theorems