MCP server & service core
The MCP server exposes TradeFlow's deterministic capabilities as agent tools without embedding an LLM in the engine. Intelligence lives outside and calls in; the live order path is never reachable.
MCP client (Claude Code / Desktop / research loop)
│ stdio (JSON-RPC)
▼
tradeflow/mcp/server.py ← thin adapter, NO business logic
│ calls
▼
tradeflow/services/*.py ← plain functions over engine/optimizer/walk-forward/analytics
│
▼
existing tradeflow/ layers (unchanged)
The shared service core (tradeflow/services/)
One orchestration code path, reused by the CLI, the MCP server, and the research
agent — no business logic lives in any adapter. Every function takes a data-only
MarketDataClient and returns a JSON-serializable dict:
registry.py—STRATEGIES/SCANNERSregistries and discovery (list_strategies,list_scanners,get_param_ranges).analysis.py—run_scan,run_backtest,run_optimization,run_walk_forward, draft code validation/evaluation helpers, andsummarize_bars. Large outputs (trade tables, full optimization grids) are written to an artifact file underlogs/artifacts/and referenced by path — never inlined. Optimization output is capped to the top-N rows with a truncation count.glossary.py—metrics_glossary(): definition + pitfalls per metric, plus the closed-trade equity-curve caveat and the multiple-testing warning, so an agent doesn't over-trust in-sample Sharpe.configs.py—save_config/load_config/list_configsover the config store.audit.py— append-onlylogs/mcp_audit.jsonl(tool, inputs, run id, git SHA, server timestamp) so every decision is replayable.data.py—build_data_client()constructs only a historical-data client, never a broker.
The server (tradeflow/mcp/server.py)
A FastMCP adapter (the mcp SDK is imported lazily, behind the mcp extra). Each
tool is a typed function that calls a service function, logs the call, and returns
JSON. The exposed surface:
- Discovery:
list_strategies,list_scanners,get_param_ranges - Analyze:
run_scan,run_backtest,run_optimization,run_walk_forward,get_metrics_glossary,summarize_bars - Research:
compute_alphas,combine_alphas,compute_risk,construct_portfolio,compute_information,compute_horizon,run_verdict(the whole pipeline as one call — see One-command verdict) - Draft code:
validate_draft_strategy_code,validate_draft_scanner_code,run_draft_walk_forward - Artifact:
render_report(a result dict → one self-contained HTML document, the same renderer--htmluses — see HTML reports) - Campaign memory:
list_trials,get_trial,best_trials(read-only views of the trial store) - Propose (writes a file, never live state):
save_config,load_config,list_configs
Every CLI research capability has an MCP equivalent, except anything touching live trading — that is the parity principle, and the exception is the whole safety model.
Draft code tools are for the workbench phase. They let an agent check or
walk-forward-test generated/private strategy code in memory without putting that
source in this repository. Once a candidate deserves a name, ship it in a private
package using the tradeflow.strategies or tradeflow.scanners entry-point group;
the MCP server will discover it at startup and the normal named-strategy tools will
work.
Pointing a client at it
An installed copy needs no paths:
{"mcpServers": {"tradeflow": {"command": "tradeflow", "args": ["mcp"]}}}
From a checkout, the equivalent is the script it wraps:
{"mcpServers": {"tradeflow": {"command": "uv",
"args": ["run", "--project", "/path/to/tradeflow", "python", "main.py", "mcp"]}}}
Two prerequisites, and both fail the same way from a client. The server needs the
mcp extra and a working set of market-data credentials, and without either it prints
its reason and exits immediately — which a human running it reads and acts on, but an
MCP client generally shows as nothing more than a server that would not start. Verified
by handshaking against an installed copy: with no credentials the client sees the pipe
close before the first response. So run tradeflow mcp once in a terminal before
registering it, and tradeflow init if it asks for keys; a tool list that never appears
is almost always one of these two rather than a client-side problem.
Both reach the same tradeflow.cli:main. Note that they resolve different state
roots (~/.tradeflow vs. the checkout), so an agent and a human should be pointed
at the same one — or TRADEFLOW_HOME set explicitly — if they are meant to share a
campaign's trial history.
Descriptions are an interface, not documentation
A human who reads a stale doc can notice it is stale. An agent cannot: it reads a description as a statement of fact and acts on it at machine speed, and every action it takes burns a journaled trial. So descriptions here are treated as a contract and pinned by tests:
- Metric vocabulary is pulled from the glossary, not restated.
glossary.definitions_for()supplies the canonical definition (and pitfall) of every metric a tool reports, appended to its description at registration time. Two descriptions of one metric would drift; one definition with two readers cannot. - Journaling is stated wherever it happens. Every tool in
JOURNALING_TOOLSsays, in identical words, that the call records a trial, counts toward the campaign's multiple-testing total, and serves a memoized prior run unless forced. - Evidence-gated features are never presented as neutral options. Conditional risk, the aim trading policy, and the Black–Litterman posterior each ship off because their own adoption gates do not clear on this repository's data; the descriptions of tools near them say so rather than listing a flag.
- The leaderboard's honesty rules live in the payload.
best_trialsreturns itsrank_by, each row's familyn_trials, and the caveat text as data — an agent never sees a terminal's caveat line, so the caveat has to travel with the numbers.
The mechanism is a small registration helper that composes each tool's description from its docstring plus the shared, glossary-derived pieces. Tests assert every registered tool has a substantive description, that journaling tools mention journaling and memoization, and that gated tools name their gate. String assertions are crude, but they catch silent regressions to stale text, which is the failure that actually happens.
What this surface deliberately withholds
The tool surface reaches everything the CLI can express except the evidence-gated construction families, which are withheld on purpose:
- Conditional risk, the Black–Litterman posterior, and the multi-period aim policy ship off because their own adoption gates do not clear on this repository's data. The command line makes a human read that before using them; an agent reads a description as fact and acts on it at machine speed, so offering the same knob as a neutral argument would make this the easier way to switch on a feature nothing has validated. Being reachable is not being validated.
trade_rateis withheld for a second reason worth keeping distinct: the service passes it only whenpolicyis"aim", so exposing it without the gated policy would be a knob that reaches nothing.
mcp.server.DEFERRED_PARAMS is that list, with a reason per parameter, and a test
requires every service parameter to be either exposed or listed there. Revisit only when
a gated feature is promoted.
Everything else is reachable. construct_portfolio takes the long/short book
(book, gross_leverage, short_max_weight), the benchmark-relative solve
(benchmark_holdings, benchmark_premium), neutralize_factors, min_weight,
current_weights and the cost assumptions; compute_alphas takes neutralize_factors,
so neutralized_against reports what was actually removed rather than always being
empty; and compute_attribution is exposed as a read-only diagnostic that journals
nothing.
An argument this surface does not accept is an error
The framework validates a call against the tool's schema and then drops every key the
schema does not declare — nothing raises, and the tool returns a good result computed
without the argument. So an agent told to "turn on conditional risk" could pass
conditional="ewma", get a portfolio back, and report that it had done so. The wall
held; the agent's account of what it did did not, which is the failure this whole surface
is designed against.
Unknown arguments are now refused at dispatch, and the refusal says which kind of mistake it was:
construct_portfolio does not accept: conditional.
conditional: withheld from this surface — evidence-gated: the conditional-risk
adoption gate does not clear.
Refused rather than ignored: an argument dropped in silence leaves you believing it
was applied.
construct_portfolio does not accept: targt_te.
targt_te: not a parameter of this tool. Did you mean target_te?
A typo is refused for the same reason a withheld knob is: it silently leaves the default in place. A human would see that in the output and wonder; an agent has nothing to wonder at.
It is wrapped at dispatch rather than declared per tool because **kwargs cannot express
it — the framework turns that into a required schema property called extra, changing
every tool's contract to fix a problem in none of them. Any doubt about what a tool
accepts passes the call through untouched: refusing on a guess would be worse than the
silence it replaces.
The parity guard enumerates the service signature rather than a remembered list, so
a parameter added to a service later fails the test instead of quietly becoming
unreachable — which is how the previous gap opened. A second test calls each tool and
asserts the service received the value, because presence in the schema is not reach: the
original defect was a tool advertising a neutralized_against field it had no parameter
to populate.
The hard wall
The safety model is structural absence, not a check that can be prompt-injected
around: there is no place_order, start_live, cancel, set_paper_trade, or
account/position-mutation tool. EXPOSED_TOOLS is asserted disjoint from
FORBIDDEN_TOOLS in the test suite, and build_server refuses to start unless its
client is a plain MarketDataClient with no broker attached. Promoting a config to
live is a manual human step outside MCP.
Honest-evaluation guardrails for agents
run_optimization results are explicitly labeled in-sample and tell the caller to
validate with run_walk_forward. run_walk_forward returns the promotion-gate
verdict as its advancement criterion. The glossary spells out the deflated-Sharpe
/ multiple-testing trap. These keep an agent from optimizing and then trusting the
in-sample Sharpe.