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: Verification

Browse skills that share this tag.

  • tools-creusot-extract-spec-prop - Extract spec properties and track coverage for Creusot.
    CreusotVerificationSpec DriftCoverage

    ★ 2 · Updated 2026-09-14

    Extracts properties from component specs, tracks assumptions, and generates coverage and drift reports for Creusot verification.

    ⚙ Discover component spec files⚙ Extract verification properties from specs⚙ Assign property ownership to interfaces
  • EXECUTION - High-Precision Plan Execution Mode
    ExecutionImplementationDeploymentVerification

    ★ 666 · Updated 2026-05-28

    A high-precision implementation mode to execute plans with zero errors

    ⚙ Read skills files⚙ Read README.md⚙ Read implementation plan