by dpdanpittman
Wraps the Quint formal specification language CLI for type-checking, simulation, testing, exhaustive model checking via Apalache, and documentation lookup.
Get the fastest-growing projects, useful MCP servers, and technical reads in one weekly email.