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: conformance testing

Browse skills that share this tag.

  • building-a-format-package - Build an Effect format package
    format packageparserformatterAST

    ★ 3 · Updated 2026-10-05

    Defines the architecture, engine policy, typed error patterns, parity contracts, and conformance testing approach for @effected format packages.

    ⚙ Scaffold canonical modules⚙ Define parse/edit/format APIs⚙ Own or vendor parser engines
  • lean-formal-feedback-loop - Lean-Rust Proof Feedback Loop for Runtime Bugs
    formal verificationtheorem provingruntime bug detectionRust safety

    ★ 22 · Updated 2026-05-28

    Run Lean-Rust proof feedback loops to find runtime bugs and close formal assurance gaps.

    ⚙ load frog candidates from coverage⚙ verify cass index health⚙ build Lean baseline