Server side for AutoGrader