Quint LLM Kit for writing and using formal specifications #1 Post by bugarela » Thu, Feb 19, 2026, 10:20 AM UTC Quint LLM Kit for writing and using formal specificationsgithub.com