Structured execution for Claude Code — contracts, postconditions, gates, guardrails.
State machine dispatch server for AI agent workflows. 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. Two shipped components: -- MCP…
Verification confirms publisher identity (repo ownership), not code safety. The security scan covers known CVEs and suspicious install scripts — it cannot prove the absence of malicious code.
State machine dispatch server for AI agent workflows. 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. Two shipped components: ** -- MCP server for Claude Code. Validates specs, manages flow execution state, enforces typed contracts…