Show HN: Socratix – an AI tutor for proving mastery, not memorizing | Hacker News Reader