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: code-proof

Browse skills that share this tag.

  • duck-proof - Prove claims and code via counterexamples and checks
    verificationtestingfalsificationcode-proof

    Updated 2026-09-20

    Falsifies claims, executes verification checks, repairs defects, and proves completed shapes through counterexamples and evidence.

    ⚙ Identify disproving assumptions and counterexamples⚙ Execute counterexample verification checks⚙ Repair code at refuted levels