io.github.intent-driven-software/idf-mcp✓
io.github.intent-driven-software/idf-mcp · v1.0.2
{}server.json
The full server descriptor as registered with IndusMCP.
{
"$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
"name": "io.github.intent-driven-software/idf-mcp",
"description": "Turn an IDF domain into an MCP server with invariants and role scopes in every tool description.",
"repository": {
"url": "https://github.com/intent-driven-software/idf-mcp",
"source": "github"
},
"version": "1.0.2",
"packages": [
{
"registryType": "npm",
"identifier": "@intent-driven/mcp-server",
"version": "1.0.2",
"transport": {
"type": "stdio"
},
"environmentVariables": [
{
"description": "Base URL of the IDF host runtime (e.g. http://localhost:3001).",
"isRequired": true,
"format": "string",
"name": "IDF_SERVER"
},
{
"description": "IDF domain to expose as MCP tools (e.g. invest, booking, planning).",
"isRequired": true,
"format": "string",
"name": "IDF_DOMAIN"
},
{
"description": "Set to 0 if the host runtime already bootstrapped the domain; 1 (default) to bootstrap from IDF_ONTOLOGY_PATH on first connection.",
"format": "string",
"name": "IDF_BOOTSTRAP"
},
{
"description": "Filesystem path to the domain ontology module (only used when IDF_BOOTSTRAP=1).",
"format": "string",
"name": "IDF_ONTOLOGY_PATH"
},
{
"description": "Optional bearer token forwarded to the host runtime as the agent's role credential.",
"format": "string",
"isSecret": true,
"name": "IDF_AUTH_TOKEN"
}
]
}
],
"_meta": {
"dev.indusmcp/source": "official-registry-mirror",
"dev.indusmcp/synced": "2026-05-12"
}
}