43
grade D
12 days ago
glama
mcp-server-quint
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.
Install from
M8ven verifies MCPs across every public registry — install directly from whichever one you prefer.
// key findings
⚠️
Known vulnerabilities in dependencies: 3 high
Affects packages this MCP installs at runtime. Upgrade or remove the affected dependency.
✅
No credential exfiltration, no sensitive file access, no obfuscation
Static analysis found nothing flowing your secrets to unexpected places.
✅
Open source with a license and README
Anyone can audit the code, the license is declared, and the publisher documents what it does.
// required environment variables
This server reads these from
process.env. You'll be asked to provide them before it can run.config
QUINT_CMD— quint Path to Quint CLI binaryconfig
QUINT_TIMEOUT— 120000 CLI timeout in ms// full audit trail
The full breakdown of what we checked, the deductions that landed, the network hosts, the dependency advisories, and concrete fix guidance is available to verified publishers.
// improvement guidance — verified publishers only
We have 6 concrete improvements we can share with the publisher of this MCP. Each comes with specific guidance to raise the trust score.
// embed badge in your README
[](https://m8ven.ai/mcp/dpdanpittman-mcp-server-quint-1yni3h)commit: a0f4fe1ca2fa12753b3886b45c458cdc0c450c59
code hash: 58aaec4fbda3ebda45ed6a5908c4c9ad1677e6c09736c8d758d1b53c7b46cc34
verified: 4/11/2026, 2:51:45 PM