⬢github Python · 89 ★ +85 since we first saw it · pushed 1 d ago · MIT
AbdullahAlhariri/penmentor
AI mentor that corrects your written math visually with local harnesses.
penmentor is a Linux tool for people doing math by hand with a pen tablet in xournal++. Press a hotkey and an AI coding agent (Claude Code, Codex, or Antigravity CLI) reviews your handwritten work: circles mistakes, ticks correct lines, gives hint ladders instead of answers, asks recall questions, and can generate interactive manim (3Blue1Brown-style) animations of boxed ideas.
Why now: It was just submitted to Hacker News as a 'Show HN' demo, where the teacher-style markup of handwritten math and manim animations are the attention-grabbers.
Who it is for: Students and self-learners who work through math on a pen tablet and already pay for an AI coding agent subscription.
Stars over our 179 snapshots: 4 to 89, since 1 d ago.
Where people talked about it
API: https://socialmediatrends-api.osmike.com/v1/repos/AbdullahAlhariri/penmentor