quint

{
  "mcpServers": {
    "quint": {
      "command": "quint-code",
      "args": [
        "serve"
      ]
    }
  }
}