mcp-server-quint
Rank #31041glama/dpdanpittman/mcp-server-quint
Wraps the Quint formal specification language CLI for type-checking, simulation, testing, exhaustive model checking via Apalache, and documentation lookup.
mcp-server-quint is a Model Context Protocol (MCP) server published by dpdanpittman. It ranks #31041 of 58,900 servers tracked on MCP Toplist, and its repository has 2 GitHub stars. mcp-server-quint is listed across 2 registries — Glama and PulseMCP, and ships as a single rolling release with no explicit version metadata. It was first listed on Mar 6, 2026.
Ranks ahead of 27,859 of 58,900 servers on MCP Toplist.
Use mcp-server-quint
mcp-server-quint doesn’t publish a machine-readable install config. Follow the setup instructions in its repository ↗, or open one of its registry listings above.
Listed on 2 registries
dpdanpittman
Not versioned
This server is published through registries that do not expose explicit version metadata, and no GitHub release tags were found on the linked repository. The listing tracks a single rolling release.
Frequently asked questions
- What is mcp-server-quint?
- Wraps the Quint formal specification language CLI for type-checking, simulation, testing, exhaustive model checking via Apalache, and documentation lookup.
- Who maintains mcp-server-quint?
- mcp-server-quint is maintained by dpdanpittman, which publishes 1 MCP server (0 total versions) tracked on MCP Toplist.
- Is mcp-server-quint an official MCP server?
- mcp-server-quint is not on the Official MCP Registry. It is listed on Glama and PulseMCP.
- How many versions does mcp-server-quint have?
- mcp-server-quint ships as a single rolling release with no explicit version metadata.
- Where can I find the source code for mcp-server-quint?
- The source code for mcp-server-quint is hosted at github.com/dpdanpittman/mcp-server-quint.