Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits

PrototypeCommon

quint-co/quint-llm-kit

Agents and tools for using Quint with LLMs

Owner: quint-co (organization)
Stars: Stars: 115
Forks: Forks: 12
Language: Quint
License: Apache-2.0
Created: 2026
Tier: Prototype (100 to 249 ★) What this tier means

More repos by quint-co

All 3 repos by quint-co

quint-co/quintStars: 1,910TypeScriptBeta
quint-co/quint-connectStars: 103RustPrototype