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.
claude mcp add --transport stdio io.github.smartmemory-stratum-mcp uvx stratum-mcp