Format and add annotations in server files