informalsystems/quint-llm-kit

Agents and tools for using Quint with LLMs

11 best points · 0 comments · 1 Hacker News post · 118 GitHub stars · View on GitHub

Hacker News discussions

• Quint LLM Kit for writing and using formal specifications (11 points, 0 comments, by bugarela, 2026-02-19)