* feat(mcp): add durable task runtime foundation * fix(chart): sync embedded config version * fix(mcp): isolate task polls during shutdown * feat(mcp): track consecutive poll errors on mcp_tasks poll_attempt_count grows on every claim (successful polls included), so it cannot drive a failure backoff without misjudging normal long tasks. Add consecutive_poll_error_count: incremented when a claim is released after a poll error, reset to zero by any applied snapshot. The backoff/terminal policy that consumes it lands with the first concrete driver. * fix(mcp): harden durable task lifecycle * feat(mcp): add ordinary durable task driver * test(mcp): address durable task review feedback * fix(mcp): preserve submit tool descriptions * fix(mcp): bound remote task calls * fix(mcp): bound persisted task payloads * fix(mcp): preserve task tool error details * fix(mcp): enforce durable task boundaries * test(mcp): cover task config snapshot lifecycle --------- Co-authored-by: Willem Jiang <willem.jiang@gmail.com>
13 KiB
MCP System (packages/harness/deerflow/mcp/)
-
Uses
langchain-mcp-adaptersMultiServerMCPClientfor multi-server management -
Long-running task foundation:
mcp/tasks/defines the protocol-neutralMcpTaskDrivercontract and normalizedTaskSnapshotstates (submitted,working,input_required,completed,failed,cancelled). A driver-suppliedpoll_after_secondsmust be a finite positive number, validated at theTaskSnapshotboundary so every driver is held to the same invariant rather than each one guarding the consumer that turns the interval into atimedelta.persistence/mcp_tasks/owns the durable remote-handle mapping, poll schedule, notification state, lease owner, and a consecutive poll-error counter (incremented on failed polls, reset on any applied snapshot — the totalpoll_attempt_countgrows on every claim and cannot distinguish failure streaks) for a later driver-layer backoff/terminal-failure policy;app/mcp_tasks/McpTaskServiceperforms status calls outside the Agent/LLM loop. A status result is applied only when the worker still owns an unexpired lease, so a stale result cannot be written after expiry even before another worker reclaims the row. Poll timestamps and retry schedules are based on the remote call's completion time rather than the scan start. If submission succeeds but persistence fails, the service best-effort cancels the remote task and preserves the original persistence error if that compensation also fails. The exactuq_mcp_tasks_user_server_remoteconflict is different: an existing durable row already owns the remote handle, so the conflict surfaces without cancelling that tracked task. Unexpected per-task poll failures are isolated from sibling claims and remain recoverable through lease expiry; Gateway shutdown cancels the poller so a hung external status call cannot block process exit.input_requiredand terminal states stop polling and becomenotification_status=pendingfor later Agent/UI delivery. Durable recovery requires a SQL database backend (sqliteorpostgres); the in-memory backend leaves the repository/service unavailable. The runtime is startup-configured bymcp_tasksand disabled by default until a concrete driver is registered; this foundation does not alter ordinary MCP tool behavior on its own. -
Long-running ordinary task driver:
extensions_config.json -> mcpServers.<server>.task_toolsetsbinds exact raw submit/status/cancel names; one raw tool may occupy only one role across that server's groups.mcp/tools.pyhides status/cancel and replaces submit with a wrapper that returns only the local task ID after persistence.ordinary.pyreads only MCPstructuredContent, maps remoterunningtoworking, and treatserror_code=task_not_foundor malformed structured output as permanent failure. A status call withisError=trueis a retryable call failure: the first text content block is retained as a bounded diagnostic, while a permanent remote-task outcome must arrive in a normal result with structuredstatus=failed.task_tool_caller.pyrestores the same(server_name, user_id:thread_id)stdio session scope; HTTP/SSE calls remain ephemeral, applysession_init_timeoutto initialization andtool_call_timeoutto task calls, and support server-level OAuth refresh outside an Agent run.McpTaskServiceexponentially backs off transient errors without a maximum attempt count, derives APItracking_degradedfrom the consecutive-error threshold, keepsinput_requiredon a slower poll, and caps finite positive remote poll hints at 24 hours. Task-enabled server runtime/binding configuration andmcpInterceptorsare frozen to the Gateway startup snapshot; hot drift fails clearly before tool discovery can diverge from background calls, while presentation-only fields and non-task servers remain reloadable. Configured task toolsets fail startup when the runtime is disabled or persistence is memory. This stage intentionally has no completion wake-up, natural-language cancellation,ThreadStateprojection, or frontend panel. -
Durable task payload bounds: persisted task errors are capped at 4,000 characters.
input_requiredandresult_artifactmust each serialize as valid JSON within 64 KiB; an invalid or oversized payload becomes a permanent protocol failure rather than being truncated and changing its semantics. Remote task IDs/task names are limited to 255 characters and task-enabled server names to 128, matching the SQL schema; an oversized submitted remote ID is rejected only after the Service has the handle so compensation cancellation still runs. Oversized results retain the existing bounded preview/truncation/artifact behavior. -
Lazy initialization: Tools loaded on first use via
get_cached_mcp_tools() -
Cache invalidation: Detects extensions-config changes by comparing the resolved config path and a
(mtime, size, sha256)content signature against the values recorded at initialization, not a strict mtime>comparison. This catches same-second edits, mtime that stays put or moves backward (git checkout,cp -p/ backup restore,tar/rsync, object-store / network mounts), and a switch to a different config file with an equal-or-older mtime. The signature helper (config/file_signature.py::get_config_signature) is shared withconfig/app_config.py::get_app_config()for the sibling runtime-editable config file, rather than each maintaining its own copy.ExtensionsConfig.resolve_config_path()raisesFileNotFoundErrorfor an explicitconfig_path/DEER_FLOW_EXTENSIONS_CONFIG_PATHthat points at a missing file — an operator-asserted path going missing is a real misconfiguration, so this is intentionally loud for callers that load the config for actual use (e.g.from_file()viaget_mcp_tools()); only the fallback search mode returnsNone. The MCP cache's own path resolution (mcp/cache.py::_resolve_config_path) is narrower: it catches that specificFileNotFoundErrorlocally and treats it the same as "unconfigured", so this staleness check degrades to "not stale" instead of propagating an exception when a previously-valid explicit/env-var config disappears mid-run -
Transports: stdio (command-based), SSE, HTTP
-
Per-server tool-name prefixing:
mcpServers.<server>.tool_name_prefixdefaults totrue, preserving the collision-safe<server_name>_prefix. Servers whose tools already carry a stable namespace may set it tofalse; discovery then callslangchain_mcp_adapters.tools.load_mcp_toolswith that server's flag. Source routing and stdio session-pool wrapping are based on the producing server and transport, never on whether the visible tool name starts with the server prefix. -
OAuth (HTTP/SSE): Supports token endpoint flows (
client_credentials,refresh_token) with automatic token refresh + Authorization header injection -
Routing hints:
extensions_config.json -> mcpServers.<server>.routingandtools.<original_tool_name>.routingare soft preference metadata. The effective routing is resolved whilemcp/tools.py::get_mcp_tools()still has bothsource_nameand the original MCP tool name, then stored ontool.metadataunderdeerflow_mcp_routing. Prompt rendering usestools/builtins/tool_search.py::get_mcp_routing_hints_prompt_section, which referencestool_searchwhen a hinted MCP tool is currently deferred; do not add a parallel routing middleware for PR1-style preference hints. -
Stdio file outputs: Persistent stdio sessions are scoped by
user_id:thread_id. For stdio transports only, DeerFlow pins the subprocess defaultcwdto the thread workspace andTMPDIR/TMP/TEMPtoworkspace/.mcp/tmp/, unless the operator explicitly configuredcwdor temp env values. SSE/HTTP transports skip this filesystem prep entirely. -
Stdio path translation: MCP-returned local file references are not copied. If a
ResourceLinkor conservative free-text path resolves to an existing file inside the thread's mounted user-data tree, it is translated deterministically to/mnt/user-data/...; paths outside that tree remain unchanged. -
Runtime updates: Gateway API saves to extensions_config.json; the Gateway-embedded runtime detects changes via the resolved-path + content-signature check above, so multi-worker / stale-mtime deployments still pick up an added/removed MCP server without a restart (
PUT /api/mcp/configkeeps whole-payload validation, whilePATCH /api/mcp/configchanges only one server'senabledfield, normalizes the sametype/MCP-spectransportalias as the runtime config model, and validates the target only when enabling it; either endpoint's reset clears the cache only in its own worker). MCP, skill, and embedded-client writers shareatomic_write_extensions_config(), which writes and fsyncs a same-directory temporary file beforeos.replace()and preserves an existing file's mode and symlink target; failed serialization or replacement leaves the prior config intact and cleans up the temporary file. -
Stdio launch policy at the HTTP boundary (
routers/mcp.py::_validate_mcp_update_request, shared byPUTand the enable branch ofPATCH): a config file may express anything, but the API is untrusted input, so an API-registered stdio server must (a) name a bare executable from the allowlist —_DEFAULT_MCP_STDIO_COMMAND_ALLOWLIST={npx, uvx}, extended byDEER_FLOW_MCP_STDIO_COMMAND_ALLOWLIST, with path separators, whitespace, and shell metacharacters rejected incommand; (b) carry noargsflag in_ARBITRARY_EXEC_ARGS; and (c) set noenvname in_CODE_INJECTING_ENV_VARS. Checks (b) and (c) exist because the command check alone names a binary without constraining what that binary runs. Theenvdenylist applies to every allowlisted command, and both denylists match--flag=valueas well as--flag value. Theargsdenylist's scope depends on the command, because where a launcher stops parsing its own flags is what decides whether a token is an exec flag at all:- For a package launcher in
_PACKAGE_LAUNCHERS({npx, uvx}) only the launcher's own option region is screened.npx/uvxstop parsing their flags at the package name and hand every later token to the spawned server's argv, where-cis routinely "config" and-e"env" — screening those rejected ordinary third-party servers while covering nothing. A bare--ends the region too: only the first token after it is the package name. Finding that boundary needs each launcher's option arity, since a value is not a positional —npx -p <pkg> -c '<command>'runs the command (-pisnpm exec's--package, so<pkg>is its value and npm keeps parsing), so ending the region at the first non-flag token would walk straight past it._NPX_BOOLEAN_ARGSis generated from@npmcli/config's definitions (npm 10.9.4) minus the-pexec override;_UVX_VALUE_ARGScomes fromuvx --help(uv 0.11.1). Regenerate these against a newer launcher rather than hand-editing. The unknown-option default is deliberately opposite per launcher, following the exec set rather than symmetry: npx owns real exec flags (-c/--call), so an unknown option consumes a value and keeps the region open (npm errors on options it does not define, so this cannot reject a working invocation); uvx owns no string-eval flag at all, so its screen is a tripwire, an unknown option consumes nothing, and uv's large boolean surface cannot over-block. uvx's exec set also drops the short spellings, because-cis uv's--constraintsand-pits--python. - Every other command is screened whole, with two extra rules, because it is an interpreter rather than a package runner:
-pcounts as an exec flag there (node's--print), and single-dash short-option clusters are decomposed letter by letter sonode -pecannot pass a check that only splits on=.
Verdicts are pinned against the real launchers: for npx, every argument vector the validator rejects is one
npxactually executes, and every vector it allows is onenpxpasses through to the server.envscreening covers names that execute code unconditionally at process startup, e.g.PYTHONPATH/PYTHONHOME, which run a caller-controlledsitecustomize.pyat interpreter startup under plainuvx. Caller-controlled search paths are a weaker, conditional class and are an accepted residual:LD_LIBRARY_PATH/DYLD_LIBRARY_PATH(conditional on the process loading a shadowable library, and legitimately set by native-dependency servers) andNODE_PATH(searched after the localnode_moduleschain, so it cannot shadow an installed dependency, and ignored entirely by ESMimport— it can only supply a CJS module that would otherwise fail to resolve). Do not move a search path into the set: it would make the "unconditional" rule untrue, which is how a defense-in-depth list starts being mistaken for a boundary. Remote transports skip all three — they spawn nothing. This is defense in depth, not a trust boundary.npx/uvxexist to fetch and execute remote packages, so an admin can still point one at a package they published; the boundary is admin authentication plus network reachability. Do not add a check here on the assumption that it makes MCP registration safe for untrusted admins — it does not, and the fix for that is not a bigger denylist. - For a package launcher in