A server for the code golf plugin