"semanticKG.mcpPort": { "type": "number", "default": 3579, "description": "MCP server port" }, "semanticKG.uiPort": { "type": "number",