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 capability: Discover verification artifacts

Browse skills that share this capability.

  • component-poison-verif - Seed controlled drift in verification artifacts
    formal verificationverification driftred teamingCreusot

    ★ 2 · Updated 2026-09-30

    Deliberately introduces controlled concrete–abstract mismatches into a Certus component on a throwaway branch to test verification drift tooling.

    ⚙ Resolve component directory⚙ Discover verification artifacts⚙ Create poison branch