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 tagged: model-checking

Browse skills that share this tag.

  • cmodel - Formal Alloy Model Generation
    formal-verificationalloy-modelingsecurity-analysismodel-checking

    ★ 66 · Updated 2026-05-28

    Generate Alloy formal models and run Alloy Analyzer for security-relevant behavior

    ⚙ Identify modelable scope⚙ Generate Alloy model⚙ Run Alloy Analyzer