Home / Skills / quint-modeling
quint-modeling
quint-co/quintSkill
Build a Quint model of a system, protocol, or algorithm. Use whenever the user wants to model,
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-modeling quint-co/quint · Skill | 75 | ★ 1.9k | ≈27 always | 22d ago |
| actuarial-risk-modeling magnus919/agent-skills · Skill Both about modeling | 60 | ★ 137 | ≈26 always | 16d ago |
| modeling_agent jsdsg666/AutoWWTP-ASM-Demo · Subagent Both about modeling | 59 | ★ 105 | ≈23 in chat | 1mo ago |
| domain-modeling vinvcn/mattpocock-skills-zh-CN · Skill Both about modeling | 76 | ★ 5.1k | ≈19 always | 21d ago |
| predictive-modeling-diagnostics atsushi-green/ds-ai-coding-skills · Skill Both about modeling | 53 | ★ 91 | ≈25 always | 1mo ago |
| craft-content-modeling michtio/craftcms-claude-skills · Skill Both about modeling | 58 | ★ 85 | ≈86 always | 20d ago |