quint-spec
CommunityBuild and verify formal Quint specifications.
Software Engineering#formal verification#decentralized systems#smart contracts#protocol specification#model checking#quint
Authorzmanian
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill automates the process of building formal specifications in Quint, a language designed for proving the correctness of complex systems like DeFi protocols, cross-chain communication, and intent-based architectures. It guides users through a rigorous workflow to ensure protocol logic is sound and verifiable.
Core Features & Use Cases
- Formal Specification Development: Guides users through a 7-phase workflow for creating Quint specifications, covering protocol analysis, domain modeling, state definition, action implementation, property definition, testing, and verification.
- Protocol Verification: Enables formal verification of safety and liveness properties using model checking with Apalache.
- Use Case: A developer wants to formally prove that a new AMM design maintains its constant product invariant under all conditions. They can use this Skill to model the AMM in Quint and verify the invariant using Apalache.
Quick Start
Use the quint-spec skill to write a formal specification for the provided protocol description.
Dependency Matrix
Required Modules
None requiredComponents
references
💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: quint-spec Download link: https://github.com/zmanian/quint-spec-skill/archive/main.zip#quint-spec Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.