quint-lang
quint-co/quintSkill
Quint language and CLI reference — the expert on Quint syntax, operators, types, `basicSpells`,
Why this score
This repo hosts 2 skills, so its 1,856 stars are split between them (about 928 each) for scoring.
Popularity score: 75/100 from public GitHub signals only. It shows how widely used and maintained this is, not how well it works. Not included yet: the fake-star check. The security scan is shown separately and doesn't change the score. How we rank
Security
Scanned Oct 21, 2026 at commit b6db567bd555, with Cisco's open-source skill-scanner.
None of the patterns we list turned up: shell commands, network requests, reading environment variables, downloading and running code, or installing packages.
A scan lists patterns in the code. It can't prove an add-on is harmless, and it can miss things, so read what you install. How we scan
Alternatives
Other makers' add-ons that do the same job, next to this one.
| Name | Score | Stars | Context | Updated |
|---|---|---|---|---|
| This onequint-lang quint-co/quint · Skill | 75 | ★ 1.9k | ≈27 always | 22d ago |
| add-lang colbymchenry/codegraph · Skill Both about lang and language | 96 | ★ 74k | ≈81 always | 16d ago |