quint-modeling
OfficialBuild formal specifications with Quint for distributed systems.
Authorquint-co
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill helps users build formal specifications for distributed systems, protocols, and algorithms using the Quint language, enabling precise modeling, verification, and validation.
Core Features & Use Cases
- Modeling Support: Offers guidelines for modeling different types of systems, including those based on ideas, requirements documents, source code, or existing TLA+ specifications.
- Shared Modelling Spine: Provides a structured approach to modeling distributed systems, emphasizing executable specifications and separating concerns like state, logic, and properties.
- Verification: Includes steps for verifying specifications through typechecking and runtime simulation.
Quick Start
Generate a Quint specification for a blockchain protocol by following the guidelines in the guidelines/from-code.md file.
Dependency Matrix
Required Modules
quint
Components
scriptsreferencesassets
💻 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-modeling Download link: https://github.com/quint-co/quint/archive/main.zip#quint-modeling 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 620,000+ vetted skills library on demand.