agentmods.dev

dpdanpittman/mcp-server-quint

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

Open on GitHub
2Stars on the repository
1Mods indexed here, across every type
6mo agoLast push, which is what freshness is scored on
noneNo LICENSE: all rights reserved, so bodies are not copied
Sort RelevanceRecently updatedFewest tokensSecurity gradeRepo starsStars this weekTop rated 1 mods

mcp-server-quint

01

dpdanpittman/mcp-server-quint

MCP server Claude CodeCodexCursor

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 6mo ago A tokens not measured