Official Claude Code plugins for the Quint specification language.
/plugin marketplace add quint-co/quint
Run it inside Claude Code, then install plugins from it with /plugin.
Sponsors