dpdanpittman/mcp-server-quint

MCP server for the Quint formal specification language — typecheck, simulate, test, verify, and parse Quint specs via any MCP client

2Stars on the repository

1Mods indexed here, across every type

8mo agoLast push, which is what freshness is scored on

customA LICENSE file GitHub cannot name, so bodies are not copied

MCP server Claude CodeCodexCursor +2

MCP server "mcp-server-quint" as configured in dpdanpittman/mcp-server-quint. Runs locally from the @dpdanpittman/mcp-server-quint npm package.

not rated 2 8mo ago A tokens not measured