Search
Development · By quint-co
2 skills found.
Skills
Sort:BestMost starsTrending todayTrending this weekTrending this monthNewestRecently updatedName
| # | 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 |
