automata_mcp
