MIND MCP Server

The MIND MCP server gives AI tools direct, cited access to the MIND documentation, the standard library signatures of the current mindc release, the compiler error codes, the specification and the examples. It is read-only and needs no account.

Tools

Prompts: write_mind_code, explain_mind_error, port_to_mind. Every docs page is also available as a resource.

Every client below connects to the same endpoint over Streamable HTTP with no authentication. The server name mind is only a label; pick any name you like. When a client asks how to sign in, choose none.

Coding CLIs

Claude Code

claude mcp add --transport http mind https://mcp.mindlang.dev/mcp

To share it with a project, commit .mcp.json (VS Code reads the same file):

{ "mcpServers": { "mind": { "type": "http", "url": "https://mcp.mindlang.dev/mcp" } } }

Codex CLI

codex mcp add mind --url https://mcp.mindlang.dev/mcp

or in ~/.codex/config.toml:

[mcp_servers.mind]
url = "https://mcp.mindlang.dev/mcp"

GitHub Copilot CLI

copilot mcp add --transport http mind https://mcp.mindlang.dev/mcp

or in ~/.copilot/mcp-config.json (/mcp add inside a session opens the same form):

{ "mcpServers": { "mind": { "type": "http", "url": "https://mcp.mindlang.dev/mcp", "tools": ["*"] } } }

Antigravity CLI (agy)

agy mcp add mind https://mcp.mindlang.dev/mcp

The command writes ~/.gemini/config/mcp_config.json, which the Antigravity app and IDE share. Remote servers use the key serverUrl:

{ "mcpServers": { "mind": { "serverUrl": "https://mcp.mindlang.dev/mcp" } } }

Grok Build CLI

grok mcp add --transport http mind https://mcp.mindlang.dev/mcp

or in ~/.grok/config.toml (.grok/config.toml in a repository for one project):

[mcp_servers.mind]
url = "https://mcp.mindlang.dev/mcp"

OpenCode

opencode mcp add mind --url https://mcp.mindlang.dev/mcp

or in ~/.config/opencode/opencode.json (OpenCode 2 places the entry under mcp.servers):

{ "$schema": "https://opencode.ai/config.json", "mcp": { "mind": { "type": "remote", "url": "https://mcp.mindlang.dev/mcp" } } }

Kimi Code CLI

In ~/.kimi-code/mcp.json (or .kimi-code/mcp.json in a project). An entry with a url and no transport is a Streamable HTTP server:

{ "mcpServers": { "mind": { "url": "https://mcp.mindlang.dev/mcp" } } }

The earlier kimi-cli takes kimi mcp add --transport http mind https://mcp.mindlang.dev/mcp and reads ~/.kimi/mcp.json.

Qwen Code

qwen mcp add --transport http mind https://mcp.mindlang.dev/mcp

or in ~/.qwen/settings.json (httpUrl selects Streamable HTTP; url would mean SSE):

{ "mcpServers": { "mind": { "httpUrl": "https://mcp.mindlang.dev/mcp" } } }

MiMo Code

In ~/.config/mimocode/mimocode.json (or .mimocode/mimocode.json in a project), then check it with mimo mcp list:

{ "$schema": "https://mimo.xiaomi.com/mimocode/config.json", "mcp": { "mind": { "type": "remote", "url": "https://mcp.mindlang.dev/mcp" } } }

Mistral Vibe CLI

Append to ~/.vibe/config.toml:

[[mcp_servers]]
name = "mind"
transport = "streamable-http"
url = "https://mcp.mindlang.dev/mcp"

Edit the file rather than running vibe mcp add: without a header or key flag the command sets the server up for OAuth sign-in, and this server has no sign-in, so its tools would not load.

Amp

amp mcp add mind https://mcp.mindlang.dev/mcp

or in ~/.config/amp/settings.json (the key is the literal string amp.mcpServers):

{ "amp.mcpServers": { "mind": { "url": "https://mcp.mindlang.dev/mcp" } } }

Crush

In crush.json (project) or ~/.config/crush/crush.json:

{ "$schema": "https://charm.land/crush.json", "mcp": { "mind": { "type": "http", "url": "https://mcp.mindlang.dev/mcp" } } }

In a crushrc file the same server is one line: mcp add mind --type http --url "https://mcp.mindlang.dev/mcp".

Factory Droid

droid mcp add mind https://mcp.mindlang.dev/mcp --type http

Cursor CLI

The Cursor CLI (agent, formerly cursor-agent) reads the same ~/.cursor/mcp.json as the editor (see Cursor). Check the connection with:

agent mcp list

Kiro CLI and Amazon Q Developer CLI

kiro-cli mcp add --name mind --url https://mcp.mindlang.dev/mcp

On the Amazon Q Developer CLI (q), add the server to your agent configuration or mcp.json:

{ "mcpServers": { "mind": { "type": "http", "url": "https://mcp.mindlang.dev/mcp" } } }

Kilo Code CLI

In ~/.config/kilo/kilo.json (or kilo.json in a project); the VS Code extension reads the same file:

{ "mcp": { "mind": { "type": "remote", "url": "https://mcp.mindlang.dev/mcp" } } }

Auggie (Augment CLI)

auggie mcp add mind --transport http --url https://mcp.mindlang.dev/mcp

The command writes ~/.augment/settings.json, shared with the Augment IDE extensions.

Cline CLI

cline mcp add mind https://mcp.mindlang.dev/mcp --transport http --yes

or edit ~/.cline/data/settings/cline_mcp_settings.json (set CLINE_MCP_SETTINGS_PATH to use another file; same format as Cline in the editor):

{ "mcpServers": { "mind": { "type": "streamableHttp", "url": "https://mcp.mindlang.dev/mcp" } } }

Continue CLI (cn)

cn reads ~/.continue/config.yaml, the same file as the Continue extensions. mcpServers is a list:

mcpServers:
  - name: MIND
    type: streamable-http
    url: https://mcp.mindlang.dev/mcp

Goose

goose session --with-streamable-http-extension "https://mcp.mindlang.dev/mcp"

That enables MIND for one session. To keep it, use the Add to Goose button above, run goose configure › Add Extension › Remote Extension (Streamable HTTP), or add to ~/.config/goose/config.yaml (the key is uri):

extensions:
  mind:
    name: MIND
    type: streamable_http
    uri: https://mcp.mindlang.dev/mcp
    enabled: true
    timeout: 300

OpenHands CLI

openhands mcp add mind --transport http https://mcp.mindlang.dev/mcp

Rovo Dev CLI

Run acli rovodev mcp to open ~/.rovodev/mcp.json and add:

{ "mcpServers": { "mind": { "url": "https://mcp.mindlang.dev/mcp", "transport": "http" } } }

iFlow CLI

iflow mcp add --scope user --transport http mind https://mcp.mindlang.dev/mcp

CodeBuddy Code

codebuddy mcp add --scope user --transport http mind https://mcp.mindlang.dev/mcp

Qoder CLI

In ~/.qoder/settings.json (or .mcp.json in a project):

{ "mcpServers": { "mind": { "type": "http", "url": "https://mcp.mindlang.dev/mcp" } } }

Junie CLI

In ~/.junie/mcp/mcp.json (or .junie/mcp/mcp.json in a project); Junie in JetBrains IDEs reads the same file. /mcp in a session shows it:

{ "mcpServers": { "mind": { "url": "https://mcp.mindlang.dev/mcp" } } }

Tabnine CLI

tabnine mcp add mind https://mcp.mindlang.dev/mcp --transport http --scope user

or in ~/.tabnine/agent/settings.json:

{ "mcpServers": { "mind": { "type": "http", "url": "https://mcp.mindlang.dev/mcp" } } }

Qodo Command

Put the server in an mcp.json file and pass it with --mcp-file=mcp.json, or in the mcpServers block of an agent file:

{ "mcpServers": { "mind": { "url": "https://mcp.mindlang.dev/mcp" } } }

Hermes Agent

In ~/.hermes/config.yaml:

mcp_servers:
  mind:
    url: "https://mcp.mindlang.dev/mcp"

OpenClaw

openclaw mcp set mind '{"url":"https://mcp.mindlang.dev/mcp","transport":"streamable-http"}'

The Control UI does the same under Settings › MCP › Add server.

NanoClaw

ncl groups config add-mcp-server --id <group-id> --name mind --url https://mcp.mindlang.dev/mcp
ncl groups restart --id <group-id>

DeepSeek Harness (dsh)

Add one plugin entry to $DSH_HOME/cordis.patch.yml (or a profile's own patch file):

- insert:
    - id: mcp-mind
      name: '@deepseek-ai/dsh-mcp-client'
      config:
        serverName: mind
        transport: streamable-http
        url: https://mcp.mindlang.dev/mcp

Warp

Open Settings › Agents › MCP servers › + Add and paste, or save it as ~/.warp/.mcp.json:

{ "mcpServers": { "mind": { "url": "https://mcp.mindlang.dev/mcp" } } }

Letta Code

In an interactive Letta Code session, run:

/mcp add --transport http mind https://mcp.mindlang.dev/mcp

The server is added to the current agent as a client-local server and Letta Code reports how many tools it loaded. Run /mcp to open the MCP manager and check or remove it.

IDEs and editors

Cursor

Use the Add to Cursor button above, or add to ~/.cursor/mcp.json:

{ "mcpServers": { "mind": { "url": "https://mcp.mindlang.dev/mcp" } } }

VS Code (GitHub Copilot)

Use the Install in VS Code button above, or run:

code --add-mcp '{"name":"mind","type":"http","url":"https://mcp.mindlang.dev/mcp"}'

For one workspace, .vscode/mcp.json uses the key servers:

{ "servers": { "mind": { "type": "http", "url": "https://mcp.mindlang.dev/mcp" } } }

Visual Studio

Use the Install in Visual Studio button above (Visual Studio 2022 17.14 or later), or save %USERPROFILE%\.mcp.json (or .mcp.json in the solution folder):

{ "servers": { "mind": { "url": "https://mcp.mindlang.dev/mcp" } } }

Windsurf (Devin Desktop)

~/.config/devin/mcp_config.json on macOS and Linux, %APPDATA%\devin\mcp_config.json on Windows (installs from before the rename read ~/.codeium/windsurf/mcp_config.json). The key is url: Devin Local, the agent in current Devin Desktop, skips an entry it cannot read without showing an error.

{ "mcpServers": { "mind": { "url": "https://mcp.mindlang.dev/mcp" } } }

Kiro

Use the Add to Kiro button above, or add to ~/.kiro/settings/mcp.json (.kiro/settings/mcp.json for one workspace):

{ "mcpServers": { "mind": { "url": "https://mcp.mindlang.dev/mcp" } } }

Google Antigravity IDE

Open the agent panel menu … › MCP Servers › Manage MCP Servers › View raw config and add the entry; the IDE and the Antigravity CLI share this file:

{ "mcpServers": { "mind": { "serverUrl": "https://mcp.mindlang.dev/mcp" } } }

JetBrains IDEs (AI Assistant)

In IntelliJ IDEA, PyCharm, WebStorm, GoLand, Rider, CLion, RustRover, PhpStorm, RubyMine and DataGrip, open Settings › Tools › AI Assistant › Model Context Protocol (MCP), click Add, choose the JSON option and paste:

{ "mcpServers": { "mind": { "url": "https://mcp.mindlang.dev/mcp" } } }

Junie in the same IDEs reads ~/.junie/mcp/mcp.json (see Junie CLI).

Copilot in JetBrains, Xcode, Eclipse

Open the Copilot MCP configuration: in JetBrains IDEs, Copilot Chat in Agent mode › tools icon › Add MCP Tools; in Xcode, GitHub Copilot for Xcode › Settings › MCP › Edit Config; in Eclipse, Preferences › GitHub Copilot › MCP. Add:

{ "servers": { "mind": { "type": "http", "url": "https://mcp.mindlang.dev/mcp" } } }

Android Studio (Gemini)

Open Settings › Tools › AI › MCP Servers, select Enable MCP Servers and add (httpUrl selects Streamable HTTP):

{ "mcpServers": { "mind": { "httpUrl": "https://mcp.mindlang.dev/mcp" } } }

Zed

In settings.json:

{ "context_servers": { "mind": { "url": "https://mcp.mindlang.dev/mcp" } } }

Trae

Use the Add to Trae button above, or open Settings › MCP › Add › Create Manually and paste:

{ "mcpServers": { "mind": { "url": "https://mcp.mindlang.dev/mcp" } } }

For one project, save it as .trae/mcp.json and turn on Enable Project MCP.

Qoder

Open Qoder Settings › MCP › My Servers › + Add and paste (Qoder detects Streamable HTTP from the URL):

{ "mcpServers": { "mind": { "url": "https://mcp.mindlang.dev/mcp" } } }

Cline

In the Cline panel, open MCP Servers › Remote Servers, enter the URL and choose Streamable HTTP, or edit the settings file:

{ "mcpServers": { "mind": { "type": "streamableHttp", "url": "https://mcp.mindlang.dev/mcp", "disabled": false, "autoApprove": [] } } }

Set type: without it Cline uses the retired SSE transport.

Roo Code

Open MCP Servers › Edit Global MCP (or .roo/mcp.json for one project). The type is streamable-http with a hyphen:

{ "mcpServers": { "mind": { "type": "streamable-http", "url": "https://mcp.mindlang.dev/mcp" } } }

Kilo Code

Open Settings › MCP › Add Server › Remote (HTTP) and enter the URL; it is saved in the same kilo.json as the Kilo Code CLI.

Continue

.continue/mcpServers/mind.yaml:

name: MIND
version: 0.0.1
schema: v1
mcpServers:
  - name: MIND
    type: streamable-http
    url: https://mcp.mindlang.dev/mcp

Augment Code

Open the Augment Settings panel, click + Add remote MCP, choose HTTP and enter the URL, or use Import from JSON:

{ "mcpServers": { "mind": { "type": "http", "url": "https://mcp.mindlang.dev/mcp" } } }

Firebase Studio

In .idx/mcp.json (Firebase Studio: Add MCP Server in the Command Palette creates it):

{ "mcpServers": { "mind": { "url": "https://mcp.mindlang.dev/mcp" } } }

Replit

Use the Add to Replit button above, or open Integrations › MCP Servers for Replit Agent › + Add MCP server, enter the URL and choose Test & save.

Neovim (MCP Hub)

In ~/.config/mcphub/servers.json (or .mcphub/servers.json in a project):

{ "mcpServers": { "mind": { "url": "https://mcp.mindlang.dev/mcp" } } }

CodeCompanion, Avante and other chat plugins use these servers through the MCP Hub extension.

Eclipse Theia

In user or workspace settings.json (the remote key is serverUrl):

{ "ai-features.mcp.mcpServers": { "mind": { "serverUrl": "https://mcp.mindlang.dev/mcp" } } }

Chat apps

Claude (web, desktop and mobile)

Open Customize › Connectors, choose Add › Add custom connector, paste https://mcp.mindlang.dev/mcp and leave sign-in off. On Team and Enterprise plans an owner adds the connector for the organization first.

Claude Desktop (JSON config)

claude_desktop_config.json starts local servers only, so a remote server goes through the mcp-remote bridge (needs Node.js). Open Settings › Developer › Edit Config and add:

{ "mcpServers": { "mind": { "command": "npx", "args": ["-y", "mcp-remote", "https://mcp.mindlang.dev/mcp"] } } }

Restart Claude Desktop afterwards. The custom connector above is simpler where your plan has it.

ChatGPT

Open chatgpt.com/plugins, choose + and the entry for a custom MCP server (labelled Add custom MCP server or Create custom MCP server), paste https://mcp.mindlang.dev/mcp, set authentication to none and create the plugin. Availability depends on your ChatGPT plan, and the menu names change from time to time.

OpenAI API (Responses)

{ "type": "mcp", "server_label": "mind", "server_url": "https://mcp.mindlang.dev/mcp", "require_approval": "never" }

LM Studio

Use the Add to LM Studio button above (LM Studio 0.3.17 or later), or add to mcp.json:

{ "mcpServers": { "mind": { "url": "https://mcp.mindlang.dev/mcp" } } }

Cherry Studio

Open Settings › MCP Servers › + Add Server, set the type to Streamable HTTP (streamableHttp), paste https://mcp.mindlang.dev/mcp as the URL and save.

Any other client

Streamable HTTP, URL https://mcp.mindlang.dev/mcp, no authentication. A client that only starts local (stdio) servers can reach it through the bridge shown under Claude Desktop (JSON config).

These tools have no remote MCP client today, so they cannot use the server directly: Aider, Plandex, Jules (its MCP list is fixed), Sourcegraph Cody (local servers only), Emacs mcp.el (stdio and SSE only) and Sublime Text. NVIDIA NemoClaw accepts only servers that take a bearer credential, which this server does not use.

Privacy and limits

The server is read-only and serves only public MIND documentation and release sources. It keeps no queries, IP addresses or request bodies, and counts requests per tool and outcome only. To answer a repeated search quickly, the embedding of a search query is cached at the edge for up to 7 days under a hash of the query; the query text is not stored. Each IP can make 600 requests per minute. Search matches by meaning and by keyword; when the embedding model is unavailable, or one client sends more than 30 searches a minute, it matches by keyword alone instead of failing.

Troubleshooting

• Use the URL ending in /mcp. The bare https://mcp.mindlang.dev still works for existing setups, and so do the earlier tool names (mind_overview, mind_determinism_facts, mind_ecosystem, mind_lookup).
• Clients that only support the retired HTTP+SSE transport (URLs ending in /sse) cannot connect.
• If a client asks how to sign in, choose no authentication.
• If a client lists the server but shows no tools, check the transport key: httpUrl (Qwen Code, Android Studio), serverUrl (Antigravity, Theia), uri (Goose) or an explicit type.

More

• Tools Reference: each tool's inputs, outputs, limits and example prompts
• Resources and Prompts: mind:// documents to attach, and the three prompts
• Example Workflows: copy-paste prompts that chain the tools
• Limits and Errors: rate limits, error codes and HTTP routes
• Security and Privacy: what the server can do and what it records
• FAQ: short answers to common questions
• Changelog: what changed in each server version

Building your own client or agent? See Connect from Code.