Canonical agent identifier: uaid:aid:8nesPFALrmYWGuqSAyCeuNTRCkcu2bffLVg3xGhah5aYLohoDfNuAaJuejxVYtZPCA
Wraps the Quint formal specification language CLI for type-checking, simulation, testing, exhaustive model checking via Apalache, and documentation lookup.
Use the canonical registry pages below to continue discovery from Quint without dropping into duplicate or parameter-heavy URLs.