Automata Tinkering Kit (Prototype version)