
Stratum MCP
Stratum brings formal execution semantics to Claude Code by replacing improvised agent plans with typed YAML specs that declare contracts, postconditions, and human gates. The MCP server exposes tools like stratum_plan, stratum_step_done, and stratum_audit that validate schemas, enforce ensure clauses on every step, and track auditable flow state across sessions. When a postcondition fails, the agent gets the exact violation instead of a blind retry. Gates pause flows for human approval with approve, revise, and kill routing. You'd reach for this when you want governed, multi-round agent workflows with real checkpoints instead of hoping the LLM improvises correctly, especially when different models need to act as implementer and reviewer in the same flow.
- GitHub stars
- 2
- tools
- 17
- transport
- STDIO
- last updated
- Sep 29, 2026
Tools
17 toolsPublic tool metadata for what this MCP can expose to an agent.
stratum_validateValidate a `.stratum.yaml` spec without creating a flow.
Validate a `.stratum.yaml` spec without creating a flow.
No parameter schema in public metadata yet.
stratum_planValidate a spec, create execution state, and return the first step to execute.
Validate a spec, create execution state, and return the first step to execute.
No parameter schema in public metadata yet.
stratum_step_doneReport a completed step result. The server validates the result against output schemas and ensure expressions.
Report a completed step result. The server validates the result against output schemas and ensure expressions.
No parameter schema in public metadata yet.
stratum_auditReturn the full execution trace for a flow.
Return the full execution trace for a flow.
No parameter schema in public metadata yet.
stratum_gate_resolveResolve a gate step with a human/agent/system decision.
Resolve a gate step with a human/agent/system decision.
No parameter schema in public metadata yet.
stratum_commitSave a named checkpoint of the current flow state.
Save a named checkpoint of the current flow state.
No parameter schema in public metadata yet.
stratum_revertRoll back flow state to a previously committed checkpoint.
Roll back flow state to a previously committed checkpoint.
No parameter schema in public metadata yet.
stratum_compile_speckitCompile a spec-kit tasks directory into a `.stratum.yaml` flow.
Compile a spec-kit tasks directory into a `.stratum.yaml` flow.
No parameter schema in public metadata yet.
stratum_resumeRehydrate a persisted flow into this server process (live-process reparenting) so a fresh session can continue a run it did not start.
Rehydrate a persisted flow into this server process (live-process reparenting) so a fresh session can continue a run it did not start.
No parameter schema in public metadata yet.
stratum_flow_run_bgDetached background flow execution: start a flow under a background driver.
Detached background flow execution: start a flow under a background driver.
No parameter schema in public metadata yet.
stratum_flow_pollPoll progress of a background flow run.
Poll progress of a background flow run.
No parameter schema in public metadata yet.
stratum_flow_bg_pollPoll progress of a background flow run.
Poll progress of a background flow run.
No parameter schema in public metadata yet.
stratum_flow_cancel_bgCancel a background flow run, abandoning it.
Cancel a background flow run, abandoning it.
No parameter schema in public metadata yet.
stratum_flow_cancelCancel a running foreground flow by flow id, settling it to the terminal status `cancelled` and terminating the foreground agents Stratum spawned for that flow.
Cancel a running foreground flow by flow id, settling it to the terminal status `cancelled` and terminating the foreground agents Stratum spawned for that flow.
No parameter schema in public metadata yet.
stratum_agent_runDispatch Claude, Codex, or Devin synchronously or in the background; background runs return a durable runId for polling and cancellation.
Dispatch Claude, Codex, or Devin synchronously or in the background; background runs return a durable runId for polling and cancellation.
No parameter schema in public metadata yet.
stratum_agent_pollPoll a background agent run for progress and its final report.
Poll a background agent run for progress and its final report.
No parameter schema in public metadata yet.
stratum_cancel_agent_runCancel a background agent run by runId.
Cancel a background agent run by runId.
No parameter schema in public metadata yet.
Sponsors
Readme
Stratum
State machine dispatch server for AI agent workflows.
Your agent proposes the step. Stratum decides whether it actually finished.
Stratum gives AI coding agents (Claude Code, Codex, etc.) a formal execution model. Instead of improvising a plan and retrying blindly, the agent writes a typed spec, the server tracks state, enforces postconditions, and returns structured failure context on retry. Every step produces an auditable trace record.
Where it sits. Stratum is the execution kernel, one layer below the thing most people run day to day. Compose drives the product lifecycle (design, blueprint, plan, review gates) and calls Stratum to execute each step. Reach for Stratum directly when you want the state machine and the postconditions without a lifecycle on top of them.
The founding intent behind this machinery is recorded in docs/VISION.md: a spec language that keeps LLMs on rails invisibly, so the same conversation yields stronger results than freeform execution.
One shipped component:
Details
- Repository
- github.com/smartmemory/stratum
- Package
@smartmemory/stratum- Transport
- STDIO
- Registry
- MCP registry, active