★ 2 stars
JavaScript
💻 Code/Dev Tools
Updated 1mo ago
MCP server for the Quint formal specification language — typecheck, simulate, test, verify, and parse Quint specs via any MCP client
View on GitHub →
Quick Install
Copy the config for your editor. Some servers may need additional setup — check the README.
Add to claude_desktop_config.json:
{
"mcpServers": {
"mcp-server-quint": {
"command": "npx",
"args": [
"-y",
"dpdanpittman/mcp-server-quint"
]
}
}
}
Run in terminal:
claude mcp add mcp-server-quint npx -y dpdanpittman/mcp-server-quint
Add to .cursor/mcp.json:
{
"mcpServers": {
"mcp-server-quint": {
"command": "npx",
"args": [
"-y",
"dpdanpittman/mcp-server-quint"
]
}
}
}