Penmentor is a tool that turns handwritten math on a tablet into teacher-style, in-place feedback using large language models. While you write in xournal++, a single keystroke sends the page to a chosen AI agent (Claude, Codex, Gemini via Antigravity CLI) which returns markup: mistakes are circled, correct steps ticked, inherited errors underlined, and hints are given instead of outright answers. It can quiz key steps, offer technique prompts, and generate an interactive manim animation for boxed expressions (e.g., Riemann-sum visualizations you can drag and retarget). Marks persist as you continue writing and are cleared with Esc, supporting iterative practice and error-driven learning rather than passive solution reading.
Implementation targets Linux/X11 (recommended with i3) and integrates as an xournal++ plugin plus a command-line agent that uses your existing AI subscription. Settings let you pick agent prefixes (claude:, codex:, agy:) and the guide explains what each agent sees. Required utilities include rofi, slop, xdotool and PyQt6; quick start is a git clone and running bin/penmentor selftest, then binding the script to a key. The project is MIT-licensed on GitHub, includes demos and docs, and emphasizes hands-on tutoring, whole-page awareness, and reproducible manim animations.
Summary generated by AI from the linked article. hn.today is not affiliated with Hacker News or Y Combinator.