Grading

This surface is part of the platform but isn't built yet. The question-authoring slice ships first; this section comes after.

Planned scope:

• Auto-grading via Schema5 ExprNode evaluation
• External graders: Lean (math), Judge0 (code), Anthropic API (open response)
• Teacher portal with rubrics, annotations, predetermined comments
• Handwriting OCR (Mathpix + Document AI)