Remote repl for the Snark Demo