state-machine
Click on "Install Server".
Wait a few minutes for the server to deploy. Once ready, it will show a "Started" state.
In the chat, type
@followed by the MCP server name and your instructions, e.g., "@state-machineSimulate the order state machine with the provided events"
That's it! The server will respond to your query, and you can continue using it as needed.
Here is a step-by-step guide with screenshots.
Step Switch
Step Switch turns a finite business workflow into executable data. Given one Machine Spec, a snapshot, and an event, it deterministically accepts or rejects the transition, returns the next snapshot, and emits symbolic effect intents. It never executes those effects.
The repository includes one shared TypeScript core, a CLI, six read-only MCP tools in a Codex plugin, and a browser editor/simulator.
It intentionally stays smaller than a complete statechart runtime: guards are explicit caller-supplied facts, effects are symbolic intents, Agent inputs are inline and closed-world, and no surface evaluates user code.
Install the Codex plugin
The public source-distribution channel is the GitHub repository marketplace.
After the v0.1.0 release is available:
codex plugin marketplace add tetracoralla/state-machine --ref v0.1.0
codex plugin add state-machine@state-machineRestart ChatGPT or Codex, open a new task, and use a concrete Machine Spec. For
example, ask it to validate examples/order.machine.yaml, test whether an event
is legal from a snapshot, or simulate an event sequence. An ordinary supported
request should require one machine.* tool call.
The repository includes .agents/plugins/marketplace.json and the committed
prebuilt server, so plugin users do not need npm, TypeScript, or a build step.
See the current OpenAI plugin packaging documentation
for marketplace and host behavior.
Develop from source
npm ci
npm run checkNode.js 22 or later and npm 10 or later are required. The Node package is intentionally private and is not an npm distribution channel.
Run the editor
npm ci
npm run build
npm run start:uiOpen http://127.0.0.1:4317. The workspace ships with an order lifecycle
example. Edit the YAML definition, inspect validation and topology, choose
explicit guard outcomes, run events, inspect the trace and effect intents, find
a route to a target state, and import or export the spec.
For development with live reload:
npm run dev:uiUse the CLI
npm run build
node dist/node/adapters/cli.js validate examples/order.machine.yaml --pretty
node dist/node/adapters/cli.js step examples/order.machine.yaml \
--event '{"type":"PAYMENT_SUCCESS","payload":{"amount":128,"payment_id":"pay_1024"}}' \
--guards '{"payment_amount_matches":true}' \
--pretty
node dist/node/adapters/cli.js simulate \
examples/order.machine.yaml \
examples/order.events.yaml \
--pretty
node dist/node/adapters/cli.js path \
examples/order.machine.yaml \
completed \
--prettyThe CLI also supports inspect and diff. Run it without arguments for the
complete command summary. Exit code 0 means the operation completed, including
ordinary transition rejections and unreachable paths. Exit code 1 means the
machine or operation result is invalid; exit code 2 is reserved for command,
file, or JSON usage errors. Every outcome is still emitted as JSON.
Use the Agent tools
The built plugin is plugins/state-machine. It contains the bundled stdio MCP
server, manifest, and use-state-machine Skill. This repository does not modify
a personal marketplace or install itself automatically. Contributors can add a
local checkout for pre-release testing:
codex plugin marketplace add /absolute/path/to/state-machine
codex plugin add state-machine@state-machineRestart the host and test in a new task after installing or upgrading.
Public tools:
Tool | Result |
| strict structure and semantic graph diagnostics |
| one accepted or rejected event with next snapshot and effects |
| bounded event trace and final snapshot |
| shortest structural route and required guard names |
| compact states, events, transitions, statistics, and limits |
| bounded semantic changes between two valid specs |
All tools accept inline data, make no external changes, and publish strict input schemas. Results are checked against the executable output schemas before they leave the server. The six-tool discovery catalog is capped at 36 KiB by the runtime contract. A normal request should use one direct tool call.
Machine Spec
The canonical format is YAML or JSON with version: "0.1", an initial state,
declared context and event fields, named guards, and a state map. Each state/event
pair owns at most one transition. Context assignment uses only tagged literal,
event, or context value sources. Effects contain only a symbolic type and
input value sources.
See Machine Spec v0.1, the generated
machine-spec.schema.json, and the shipped
order.machine.yaml.
Verify the project
npm run checkThis runs type checks, core tests, schema drift checks, all builds, built CLI and
MCP stdio tests, an isolated package install, browser interaction and responsive
regressions, and plugin/contract checks. Overall visual and business acceptance
remains the owner's rendered-runtime judgment; its current route is recorded in
docs/REVIEW_CONTRACT.md.
Contribution and release details are in CONTRIBUTING.md and
docs/RELEASE.md. Stable public identifiers are recorded in
docs/PRODUCT_IDENTITY.md.
Boundary
v0.1 intentionally excludes hierarchical, parallel, history, delayed, actor,
and eventless statechart semantics. It also excludes expression evaluation,
effect execution, production orchestration, AI-generated business rules, and
XState/SCXML compatibility claims. The current product boundary is maintained in
docs/PRODUCT_MODEL.md.
License
Step Switch is licensed under the Apache License 2.0. See LICENSE
and NOTICE. The standalone plugin includes its own copies plus the
license and attribution text for software bundled into the browser and MCP
distributions.
This server cannot be installed
Maintenance
Resources
Unclaimed servers have limited discoverability.
Looking for Admin?
If you are the server author, to access and configure the admin panel.
Related MCP Connectors
Workflow diagnostics, capability routing, and x402 settlement for MCP-compatible agents.
Free MCP tools: the only MCP linter, health checks, cost estimation, and trust evaluation.
JSON Schema validation MCP.
Latest Blog Posts
- Who's Calling? MCP Hosts Are an Identity Blind Spot (And the Spec Knows It)By Om-Shree-0709 on .mcpAgent IdentityOAuth 2.1
- Your AI Chatbot Just Exposed Your CEO's Salary to an InternBy Om-Shree-0709 on .Agent IdentityMCP SecurityOAuth Delegation
- Why MCP Servers Need Execution Sandboxing (And Why Your Current Stack Isn't Enough)By Om-Shree-0709 on .Agentic AiPrompt InjectionWebAssembly
MCP directory API
We provide all the information about MCP servers via our MCP API.
curl -X GET 'https://glama.ai/api/mcp/v1/servers/tetracoralla/state-machine'
If you have feedback or need assistance with the MCP directory API, please join our Discord server