Claude MarketplacesSubmit
quint-co avatar

quint-co/quint

Plugin marketplace

Official Claude Code plugins for the Quint specification language.

GitHub stars
2.1K
plugin
1
last updated
Nov 11, 2026
View on GitHub

Add marketplace

/plugin marketplace add quint-co/quint

Run it inside Claude Code, then install plugins from it with /plugin.

Plugins

1quintLanguage reference and modeling skills for the Quint specification language.

Sponsors

Promote your product hereReach 125k+ visitors monthlyPromote your product hereReach 125k+ visitors monthlyAgent CaffeineSponsoredClose your lid, come back to finished workSnugSponsoredThe clipboard manager for the AI eraPromote your product hereReach 125k+ visitors monthlyWaxSponsoredBlock anything with supervision, without erasing your iPhonePromote your product hereReach 125k+ visitors monthlyknobsSponsoredSee your site on any phone, any day, in any language

Details

Repository
github.com/quint-co/quint
Categories
development
Listed since
Oct 27, 2026