io.github.intent-driven-software/idf-mcp
Turn an IDF domain into an MCP server with invariants and role scopes in every tool description.
{
"mcpServers": {
"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": "<your-idf_auth_token>"
}
}
}
}{
"mcpServers": {
"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": "<your-idf_auth_token>"
}
}
}
}npx -y @intent-driven/mcp-serverIDF_SERVERBase URL of the IDF host runtime (e.g. http://localhost:3001).
IDF_DOMAINIDF domain to expose as MCP tools (e.g. invest, booking, planning).
IDF_BOOTSTRAPSet to 0 if the host runtime already bootstrapped the domain; 1 (default) to bootstrap from IDF_ONTOLOGY_PATH on first connection.
IDF_ONTOLOGY_PATHFilesystem path to the domain ontology module (only used when IDF_BOOTSTRAP=1).
IDF_AUTH_TOKENOptional bearer token forwarded to the host runtime as the agent's role credential.
Ephemeral data sandbox for AI workflows with guardrails and security
Run Python code in a secure sandbox without local setup. Declare inline dependencies and execute s…
Driven Intent Negotiation — Contract-Oriented Deterministic Executable Runtime DinCoder brings the…