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 input: TLA+ spec file

Browse skills that use this input.

  • tlaplus-model-reduction - Reduce TLA+ models for TLC model checking
    verificationTLA+model checkingTLC

    ★ 0 · Updated 2026-03-23

    Reduces TLA+ model state space for TLC model checking when state space is too large

    ⚙ diagnose state space blowup⚙ shrink CONSTANTS⚙ add state constraint