dpdanpittman

Integrates the Quint formal specification language into LLM workflows for accessible formal verification. It provides tools for type-checking, random simulation

Wraps the Quint formal specification language CLI for type-checking, simulation, testing, exhaustive model checking via Apalache, and documentation lookup.