stratum-mcp 0.1.3

Stratum MCP server for Claude Code — structured execution, typed contracts, postcondition enforcement

stratum-mcp

Stratum MCP server for Claude Code. Structured execution, typed contracts, postcondition enforcement — no sub-LLM calls.

Install

pip install stratum-mcp
stratum-mcp setup

setup configures Claude Code in one command: writes .claude/mcp.json, appends the execution model block to CLAUDE.md, and installs nine skills to ~/.claude/skills/. Restart Claude Code and it's active.

Skills

Skill	What it structures
/stratum-onboard	Read a new codebase cold and write project-specific MEMORY.md — run once after setup
/stratum-plan	Design a feature and present it for review — no implementation until approved
/stratum-feature	Feature build: read existing patterns → design → implement → tests pass
/stratum-review	Three-pass code review: security → logic → performance → consolidate
/stratum-debug	Debug: read test → read code → check env → form hypotheses → confirm/rule out → fix
/stratum-refactor	File split: analyze → design modules → plan extraction order → extract one at a time
/stratum-migrate	Find bare LLM calls and rewrite as @infer + @contract
/stratum-test	Write a test suite for existing untested code
/stratum-learn	Review session transcripts — extract retry patterns, write conclusions to MEMORY.md

MCP Tools

Tool	What it does
stratum_validate	Validate a .stratum.yaml spec
stratum_plan	Validate + create execution state + return first step
stratum_step_done	Report a completed step; check postconditions; return next step or completion
stratum_audit	Return per-step trace (attempts, duration) for any flow

How It Works

Claude writes .stratum.yaml specs internally — you never see them. You see plain English narration. The MCP server enforces postconditions on every step; if a step's output fails a check, Claude fixes it and retries before reporting success.

Full documentation: stratum-in-claude-code.md

Tutorial: claude-code-tutorial.md

License

Apache 2.0