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: write formal specification

Browse skills that share this capability.

  • lamport-distributed-systems - Lamport-Style Distributed Systems Design
    distributed-systemsformal-methodsconsensusstate-machine

    ★ 602 · Updated 2026-03-23

    Apply Leslie Lamport's formal methods to design distributed systems with proven correctness

    ⚙ write formal specification⚙ define safety properties⚙ define liveness properties