minimal demo of Mechanization as a Service