Back to all repositories
QU
quint-llm-kit
by quint-co
Agents and tools for using Quint with LLMs
91stars11forks1watchers/subscribers6issues
- Language
- Quint
- License
- Apache License 2.0
- Size
- 19.3 MB
- Created
- Feb 11, 2026
- Last Updated
- Sep 1, 2026
- Last Pushed
- Jul 1, 2026
Available Plugins
Loading plugins...
Evaluate before installing
- Review the source repository, recent maintenance, and license on GitHub.
- Read the marketplace manifest and plugin source files before running commands.
- Start with the smallest required permission set and validate behavior in a safe environment.