quint-spec
•published 2026/03/13
Build formal Quint specifications to prove correctness of DeFi protocols, cross-chain interoperability, and intent-based systems. Use when user mentions "quint", "formal spec", "prove correctness", "model check", "specify protocol", "invariant", "state machine", "safety property", or wants to verify protocol logic.
📦 Install Skill
Command line install
Install directly with the `skills` CLI.
npx skills add zmanian/quint-spec-skill/skills/quint-specFile Explorer
No file selected
Select a file to view its content