Penmentor 让 Claude 和 Codex 像老师一样批改手写数学过程

Penmentor 是开源的 Linux 桌面工具，在 xournal++ 里按一个键即可让已登录的 Claude Code、Codex 或 Antigravity 批改手写数学过程。它在出错处圈画、给正确行打勾，只给提示不给答案，圈出公式还能生成 manim 交互动画。工具复用你已有的 AI 命令行订阅，需要 X11 环境并装好 rofi、slop、xdotool 和 PyQt6。