A rest server for play_cpp