State Machine Engine

States, events and transitions — with the illegal moves impossible.

17 capabilities 1 sections reference specification

Build against it

# give your agent the catalog — no account, no install
claude mcp add provespec -- npx -y provespec-mcp

# then, from any agent session
spec_get(slug: "state-machine")                → the capability tree
spec_checklist(slug: "state-machine")          → the questions to answer
spec_grade(slug: "state-machine", grades: [...])  → parity % + the gap list

# or just fetch it
curl https://provespec.com/catalog/state-machine/spec.json

Grade every capability below as yes · partial · no · na, with a file reference as evidence. Whatever you leave ungraded counts as missing — the gap list is the work queue.

Or just paste this to your agent

Use the ProveSpec MCP server. Fetch the "state-machine" spec with
spec_get, then walk spec_checklist and grade this repository against it —
one verdict per capability, each with a file reference as the note.
Call spec_grade with the results and give me the gap list as the plan.

If the server is not registered, add it first:
  claude mcp add provespec -- npx -y provespec-mcp

The specification

AI 17

Model

✓ Finite states with one initial state
✓ Events trigger transitions
✓ Illegal event in a state is a no-op or an explicit error stated, never silent corruption
✓ Guards conditioning a transition
✓ Context data carried alongside the state

Hierarchy

✓ Nested states with inherited transitions
✓ Parallel regions
✓ History states shallow and deep

Actions

✓ Entry, exit and transition actions ordering defined
✓ Side effects isolated from the pure transition function

Async

✓ Invoked services with done and error transitions
✓ Delayed transitions and timers

Inspection

✓ Current state serialisable and restorable
✓ Transition log for debugging
✓ Machine definition exportable as a diagram

Verification

✓ Unreachable states and dead ends detectable
✓ Deterministic: one transition per state/event/guard set

Download spec.json All 71 specs