About Theodosia
Theodosia is an MCP server in the Agents category: 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.
Install
git clone https://github.com/msradam/theodosiaThis server has no ConduID identity, so agent calls to it are not receipted. Pin the version you install and review the source before granting it credentials.
Ask AI
Ask AI about Theodosia
Powered by Claude · Grounded in docs
Security checks
6 checks have not been run yet.