quint MCP Server | Claude Plugins | ClaudePluginHub

quint

stdio

Used by 1 plugin

Add to Your Project

Add to your .mcp.json:

{
  "mcpServers": {
    "quint": {
      "command": "${CLAUDE_PLUGIN_ROOT}/bin/quint-code",
      "args": [
        "serve"
      ]
    }
  }
}

Security Considerations

Admin access level

This server has elevated permissions. Review the source code before enabling.

Command

${CLAUDE_PLUGIN_ROOT}/bin/quint-code

Access Level

admin

Arguments

serve