# quint-llm-kit

> Agents and tools for using Quint with LLMs

- **URL**: https://www.freshcrate.ai/projects/quint-llm-kit
- **Author**: informalsystems
- **Category**: Uncategorized
- **Latest version**: `main@2026-06-01` (2026-06-01)
- **License**: Apache-2.0
- **Source**: https://github.com/informalsystems/quint-llm-kit
- **Language**: Bluespec
- **GitHub**: 59 stars, 4 forks
- **Registry**: github
- **Tags**: `bluespec`

## Description

Agents and tools for using Quint with LLMs

## Recent releases

| Version | Date | Urgency | Changes |
| --- | --- | --- | --- |
| `main@2026-06-01` | 2026-06-01 | High | Latest activity on main branch |
| `0.0.0` | 2026-03-06 | Low | No release found — using repo HEAD |
| `main@2026-03-06` | 2026-03-06 | Low | Latest activity on main branch |
| `main@2026-03-06` | 2026-03-06 | Low | Latest activity on main branch |
| `main@2026-03-06` | 2026-03-06 | Low | Latest activity on main branch |
| `main@2026-03-06` | 2026-03-06 | Low | Latest activity on main branch |
| `main@2026-03-06` | 2026-03-06 | Low | Latest activity on main branch |
| `main@2026-03-06` | 2026-03-06 | Low | Latest activity on main branch |
| `main@2026-03-06` | 2026-03-06 | Low | Latest activity on main branch |
| `main@2026-03-06` | 2026-03-06 | Low | Latest activity on main branch |

## Citation

- HTML: https://www.freshcrate.ai/projects/quint-llm-kit
- Markdown: https://www.freshcrate.ai/projects/quint-llm-kit.md
- Dependencies JSON: https://www.freshcrate.ai/api/projects/quint-llm-kit/deps

_Generated by freshcrate.ai. Indexes github releases for AI-agent ecosystem packages._