mcp-server-quint
by dpdanpittman · Added 9d ago
Install
git clone https://github.com/dpdanpittman/mcp-server-quintAbout
Integrates the Quint formal specification language into LLM workflows for accessible formal verification. It provides tools for type-checking, random simulation, exhaustive model checking, and syntax documentation.
Tags
ai-mlmcp-serverglama