Search for a command to run...
loading…
1 MCPs · 0 installs total
Integrates the Quint formal specification language into LLM workflows for accessible formal verification. It provides tools for type-checking, random simulation
