MCP servers tagged theodosia

3 live MCP servers tagged "theodosia", ranked by trust score. Tags come from package metadata and repository topics, so this list covers servers across every category that work with theodosia.

live servers

avg trust

Theodosia

Put an AI agent on rails: mount a Burr state machine as an MCP server so the agent can only take the next allowed step, with every step recorded and replayable.

Coffee Agent

msradam

A toy MCP agent built with Theodosia: a coffee-order state machine an LLM drives one enforced step at a time.

Deploy Gate Agent

msradam

A change/deploy-gate MCP agent built with Theodosia: ordered gates, a health gate, an audit trail, and a call to a filesystem MCP server.