Add grader and check.json