Skip to content
mcp/harbor
Grok

idf mcp for Grok

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:Grok transport:stdio runtime:npm

Install idf mcp in Grok

.mcp.json (in your project root)

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

{
  "mcpServers": {
    "idf-mcp": {
      "type": "stdio",
      "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>"
      }
    }
  }
}

Grok Build reads Claude Code's .mcp.json and Claude Desktop's config unchanged, so a server you have already set up there needs nothing new. The Grok web app and X integration do not take custom servers. Grok docs

idf mcp in other clients

idf mcp MCP server