GitHub organization
Agent skills by quint-co
- skills
- 2
- repository
- 1
Repositories by quint-co
Skills by quint-co, ranked
Ranked by score. Sort bymost stars,trending,newest,recently updated
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | Implement code against an existing Quint specification. An agent skill from quint-co/quint-llm-kit. | quint-co/ | 104 | — | ~2.6k | Automated safety check: Pass | Apache-2.0 | 3 mo ago |
| 2 | Quint language and CLI reference — the expert on Quint syntax, operators, types, basicSpells, the toolchain (typecheck/run/test/verify), and how to read simulation and counterexample output. | quint-co/ | 104 | — | ~4.3k | Automated safety check: Pass | Apache-2.0 | 3 mo ago |
Questions, answered from the data.
What is the best skill by quint-co?
Quint Execute Spec from quint-co/quint-llm-kit ranks first of the 2 skills by quint-co listed here, with the highest score: its repository has 104 GitHub stars, its SKILL.md loads about 2.6k tokens and it passes the automated safety check with no findings. Next come Quint Lang.
Are quint-co's skills official?
None yet. All 2 skills by quint-co listed here come from community repositories; a skill counts as official when the product's own GitHub organization publishes it.
How are these skills ranked?
By Skill Navigator score, which combines the GitHub stars of the skill's repository (shared across that repo's skills and discounted for large collections), how many other GitHub owners carry a copy of the skill, and automated SKILL.md quality checks, minus penalties for safety-check warnings and for each further skill from the same repository. Skills that fail the safety check are not listed.