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 capability: verify invariants

Browse skills that share this capability.

  • lamport-distributed-systems - Lamport Distributed Systems Design
    distributed systemsformal specificationconsensusPaxos

    ★ 18 · Updated 2026-03-23

    Design distributed systems using formal reasoning, logical time, consensus protocols, and state machine replication

    ⚙ write specifications⚙ design state machine replication⚙ implement logical clocks
  • property-based-testing - Property-Based Testing for Code Quality
    testingproperty-basedserializationvalidation

    ★ 57 · Updated 2026-03-19

    Generate random inputs and verify invariants for serialization, validation, normalization, and pure functions

    ⚙ generate random inputs⚙ verify invariants⚙ detect patterns