Claude Marketplaces
quint-co avatar

quint

quint-co/quint

Language reference and modeling skills for the Quint specification language.

GitHub stars
1.9K
View on GitHub

Install

/plugin install quint@quint

Run it inside Claude Code after adding the marketplace with /plugin marketplace add quint-co/quint.

Contents

Discovered from source

Skills 2

Sponsors

SnugThe clipboard manager you and your agent can use, safelyAgent CaffeineClose your lid, come back to finished workWaxBlock anything with supervision, without erasing your iPhoneOpen StepsSponsoredFree and open-source skills that make AI coding agents easier to understand, verify, and control.

Details

Marketplace
quint-co/quint
Source
.
Category
development