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: Quint specification files

Browse skills that produce this output.

  • validation-first - Develop and verify systems with Quint specifications
    formal verificationQuintstate machinesinvariants

    ★ 22 · Updated 2026-10-07

    Uses Quint to design state machines, define invariants, verify formal properties, and generate implementation stubs.

    ⚙ Design Quint state machines⚙ Define invariants and properties⚙ Create Quint specification files