quint-lsp

Add to Your Project

Copy this JSON into your .mcp.json to enable this server

Add to your .mcp.json:

{
  "mcpServers": {
    "quint-lsp": {
      "command": "docker",
      "args": [
        "exec",
        "-i",
        "quint-runtime",
        "mcp-language-server",
        "--workspace",
        "/workspace",
        "--lsp",
        "quint-language-server",
        "--",
        "--stdio"
      ]
    }
  }
}

Details

Server configuration and connection parameters

Commanddocker

Arguments

Command-line arguments passed to the server process

exec-iquint-runtimemcp-language-server--workspace/workspace--lspquint-language-server----stdio

Capabilities

Declared capabilities of this MCP server

deployment

Stats

LanguagePython

Parent stars0

MaintenanceExcellent

Last CommitJun 3, 2026

Actions

Plugins (1)

Stats

Actions