Quint

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

Provides six tools wrapping the Quint CLI for formal verification workflows. Supports type-checking specifications, running random simulations with invariant checking and counterexample traces, executing named test definitions, performing exhaustive model checking via the Apalache backend, parsing specifications into IR JSON, and looking up Quint language documentation. Designed for verifying distributed system designs through mathematical modeling.