MCP Server

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

Name: io.github.intent-driven-software/idf-mcp MCP Server
Author: io.github.intent-driven-software

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

Repository Registry

What is the io.github.intent-driven-software/idf-mcp MCP server?

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

How to install io.github.intent-driven-software/idf-mcp

Copy-paste configuration for popular MCP clients.

transport: stdio

Config generated by PluginBench — verify against the source before use.

Environment / auth

IDF_SERVER
required
Base URL of the IDF host runtime (e.g. http://localhost:3001).
IDF_DOMAIN
required
IDF domain to expose as MCP tools (e.g. invest, booking, planning).
IDF_BOOTSTRAP
Set to 0 if the host runtime already bootstrapped the domain; 1 (default) to bootstrap from IDF_ONTOLOGY_PATH on first connection.
IDF_ONTOLOGY_PATH
Filesystem path to the domain ontology module (only used when IDF_BOOTSTRAP=1).
IDF_AUTH_TOKEN
secret
Optional bearer token forwarded to the host runtime as the agent's role credential.

Claude Desktop

~/Library/Application Support/Claude/claude_desktop_config.json

{
  "mcpServers": {
    "idf-mcp": {
      "command": "npx",
      "args": [
        "-y",
        "@intent-driven/mcp-server"
      ],
      "env": {
        "IDF_SERVER": "<YOUR_IDF_SERVER>",
        "IDF_DOMAIN": "<YOUR_IDF_DOMAIN>",
        "IDF_BOOTSTRAP": "<YOUR_IDF_BOOTSTRAP>",
        "IDF_ONTOLOGY_PATH": "<YOUR_IDF_ONTOLOGY_PATH>",
        "IDF_AUTH_TOKEN": "<YOUR_IDF_AUTH_TOKEN>"
      }
    }
  }
}

Cursor

~/.cursor/mcp.json

{
  "mcpServers": {
    "idf-mcp": {
      "command": "npx",
      "args": [
        "-y",
        "@intent-driven/mcp-server"
      ],
      "env": {
        "IDF_SERVER": "<YOUR_IDF_SERVER>",
        "IDF_DOMAIN": "<YOUR_IDF_DOMAIN>",
        "IDF_BOOTSTRAP": "<YOUR_IDF_BOOTSTRAP>",
        "IDF_ONTOLOGY_PATH": "<YOUR_IDF_ONTOLOGY_PATH>",
        "IDF_AUTH_TOKEN": "<YOUR_IDF_AUTH_TOKEN>"
      }
    }
  }
}

Windsurf

~/.codeium/windsurf/mcp_config.json

{
  "mcpServers": {
    "idf-mcp": {
      "command": "npx",
      "args": [
        "-y",
        "@intent-driven/mcp-server"
      ],
      "env": {
        "IDF_SERVER": "<YOUR_IDF_SERVER>",
        "IDF_DOMAIN": "<YOUR_IDF_DOMAIN>",
        "IDF_BOOTSTRAP": "<YOUR_IDF_BOOTSTRAP>",
        "IDF_ONTOLOGY_PATH": "<YOUR_IDF_ONTOLOGY_PATH>",
        "IDF_AUTH_TOKEN": "<YOUR_IDF_AUTH_TOKEN>"
      }
    }
  }
}

VS Code

.vscode/mcp.json

{
  "servers": {
    "idf-mcp": {
      "type": "stdio",
      "command": "npx",
      "args": [
        "-y",
        "@intent-driven/mcp-server"
      ],
      "env": {
        "IDF_SERVER": "<YOUR_IDF_SERVER>",
        "IDF_DOMAIN": "<YOUR_IDF_DOMAIN>",
        "IDF_BOOTSTRAP": "<YOUR_IDF_BOOTSTRAP>",
        "IDF_ONTOLOGY_PATH": "<YOUR_IDF_ONTOLOGY_PATH>",
        "IDF_AUTH_TOKEN": "<YOUR_IDF_AUTH_TOKEN>"
      }
    }
  }
}

Claude Code

claude mcp add idf-mcp --env IDF_SERVER=<YOUR_IDF_SERVER> --env IDF_DOMAIN=<YOUR_IDF_DOMAIN> --env IDF_BOOTSTRAP=<YOUR_IDF_BOOTSTRAP> --env IDF_ONTOLOGY_PATH=<YOUR_IDF_ONTOLOGY_PATH> --env IDF_AUTH_TOKEN=<YOUR_IDF_AUTH_TOKEN> -- npx -y @intent-driven/mcp-server