A lecture-grounded AI tutor, on demand