REST server backend for Jedi