LogoClawIndex
CasesSkillsAbout
LogoClawIndex

validation-first - Develop and verify systems with Quint specifications

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

Tags

Updated: 2026-10-07
formal verificationQuintstate machinesinvariantsdistributed systemsconcurrency

Capabilities

Design Quint state machinesDefine invariants and propertiesCreate Quint specification filesTypecheck and verify properties

Typical Inputs

User requirementsExisting Quint artifactsProject workspace

Typical Outputs

Quint specification filesVerification resultsSpecification test results

What this skill does

  • Design Quint state machines
  • Define invariants and properties
  • Create Quint specification files
  • Typecheck and verify properties
  • Run specification tests
  • Generate implementation stubs

Inputs

  • User requirements
  • Existing Quint artifacts
  • Project workspace
  • Implementation language

Outputs

  • Quint specification files
  • Verification results
  • Specification test results
  • Implementation stubs

Requirements

  • Quint CLI
  • Shell access
  • Project filesystem access

Source

  • Spec: SKILL.md

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.