Armory
Source
Browse
MCPs

dpdanpittman-quint

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

Score
32.2231 signal
Evidence
2 stars
Last commit
as last read from GitHub; most reads are from 2 Sep 2026 or later
Listed

Install

No one-command install. Set it up from its source.

Alternatives · MCPs

  1. wong2-mcp-cli443 stars · 41 forks96.073
  2. codexmcp60 stars · 3 forks82.098
  3. lethain-systems-modeling14 stars · 5 forks72.926

What it is

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

When to use it

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

Notes

Listed from the PulseMCP registry. The registry does not state a license. Check it before production use.