by quint-co · Agent Tool · ★ 73
Agents and tools for using Quint with LLMs
| Stars | 73 |
| Forks | 8 |
| Language | Quint |
| Category | Agent Tool |
| License | Apache-2.0 |
| Quality Score | 47.3901976968222/100 |
| Open Issues | 5 |
| Last Updated | 2026-07-01 |
| Created | 2026-02-11 |
| Est. Tokens | ~15k |
Explore other popular agent tool tools:
quint-llm-kit is Agents and tools for using Quint with LLMs. It is categorized as a Agent Tool with 73 GitHub stars.
quint-llm-kit is primarily written in Quint.
You can find installation instructions and usage details in the quint-llm-kit GitHub repository at github.com/quint-co/quint-llm-kit. The project has 73 stars and 8 forks, indicating an active community.
quint-llm-kit is released under the Apache-2.0 license, making it free to use and modify according to the license terms.