skills.rest
quint-coquint-coOfficial·2 Agent Skills Included

quint

Model and verify distributed systems with executable Quint specifications

Builds formal Quint specifications of protocols, algorithms, and systems from ideas, requirements, source code, or existing TLA+ specs. Guides AI agents through state modeling, guarded actions, invariants, and simulation to catch design bugs before implementation. Includes a full Quint language and CLI reference so agents write, typecheck, and debug specs without syntax errors.
1,595|138
↗
npx skills add quint-co/quint --all -g -y

All Skills in This Repository (2)

Pure Emerald Level Indicators
📦 In Repo
quint-coquint-co

quint-lang

Explain Quint specification language syntax, operators, types, and CLI tools.

Official
Advanced
📦 In Repo
quint-coquint-co

quint-modeling

Construct formal specifications for distributed systems using the Quint language.

Official
Advanced

Frequently Asked Questions

FAQPage Schema
How to install Quint skills?▼

Run `npx skills add quint-co/quint --all -g -y` in your terminal to install all skills in this suite globally.

What is the Quint specification language?▼

Quint is an executable specification language for modeling distributed systems like blockchains and databases. It combines TLA-based formal semantics with modern tooling for simulation and model checking.

Can AI agents write Quint specs from my code?▼

Yes. The quint-modeling skill extracts state, operations, and assumptions from Rust, Go, or TypeScript code and turns them into a verified Quint specification.

Can Quint translate TLA+ specifications?▼

Yes. A dedicated flow translates existing TLA+ specs into idiomatic Quint while preserving names, invariants, and semantics.

Do I need formal methods experience to use Quint?▼

No. The skills guide your AI agent step by step, so you describe your system in plain English and the agent handles the formal modeling and verification.

Related Repositories in Software Engineering

View All in Software Engineering→
openclawopenclaw
388.4k

openclaw

Run a personal AI assistant across your devices and chat apps

Official📦 120 Skills
obraobra
280.0k

superpowers

Gives coding agents a disciplined workflow from idea to merged code

Community📦 15 Skills
facebookfacebook
248.4k

react

AI agent skills for building, testing, and porting React core

Official📦 14 Skills