graders.js checks.json