Plugin marketplace

quint

Official Claude Code plugins for the Quint specification language.

2,086 · quint-co/quint1 pluginApache-2.0updated 9 days ago

Add this marketplace

Then install any plugin below by name — each page has its exact command.

quint

claude

Language reference and modeling skills for the Quint specification language.

2 skills

2,086

README badge

Shows how many plugins this repo ships, and links here.

claude & codex pluginslisted