Skills
.Work. You
Rest

quint-lang

Official

Master Quint syntax, CLI, and tools for specification language excellence.

Software Engineering#distributed systems#blockchain#quint#system modeling#specification language
Authorquint-co
Version1.0.0
Installs0

System Documentation

What problem does it solve?

This Skill provides a comprehensive guide to the Quint specification language, empowering users with expert knowledge to write, debug, and optimize complex system specifications.

Core Features & Use Cases

  • Syntax Reference: Detailed guide covering Quint's syntax, operators, and types.
  • CLI Tools: Overview of the Quint command-line interface for type checking, running simulations, and verifying models.
  • Use Case: Whether you're writing a Quint specification or debugging an issue, this Skill offers the necessary guidance to navigate the language's complexities effectively.

Quick Start

To get started, simply open the 'Quint Language Reference' skill unit.

Dependency Matrix

Required Modules

None required

Components

scriptsreferences

💻 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-lang
Download link: https://github.com/quint-co/quint/archive/main.zip#quint-lang

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 620,000+ vetted skills library on demand.