Skip to content
mcp/harbor
Zed

idf mcp for Zed

io.github.intent-driven-software/idf-mcp

Turn an IDF domain into an MCP server with invariants and role scopes in every tool description.

client:Zed transport:stdio runtime:npm

Install idf mcp in Zed

~/.config/zed/settings.json · windows: %APPDATA%\Zed\settings.json

Held in this page only — never stored, logged, or sent anywhere but back to your screen. 

{
  "context_servers": {
    "idf-mcp": {
      "command": "npx",
      "args": [
        "-y",
        "@intent-driven/mcp-server"
      ],
      "env": {
        "IDF_SERVER": "<IDF_SERVER>",
        "IDF_DOMAIN": "<IDF_DOMAIN>",
        "IDF_BOOTSTRAP": "<IDF_BOOTSTRAP>",
        "IDF_ONTOLOGY_PATH": "<IDF_ONTOLOGY_PATH>",
        "IDF_AUTH_TOKEN": "<IDF_AUTH_TOKEN>"
      }
    }
  }
}

Merge this into your existing settings object — do not replace the file. Zed docs

idf mcp in other clients

idf mcp MCP server