Penmentor:用手写笔获得教师式数学批改与提示
Penmentor让手写数学练习获得教师式批改。在Linux的xournal++里按键后,已登录的Claude、Codex或Antigravity会在页面圈错、打勾并给分层提示,而非直接答案;框选内容可生成manim交互动画。运行依赖自有订阅,国内可用性、单独价格与具体参数未知。
要点
- 按键后可在整页手写内容上标注首个错误、正确步骤及受影响的后续步骤。
- 提示分层次推进,并支持回忆练习、找错和判断适用技巧,而不是直接给答案。
- 框选内容可生成可交互manim动画;演示视频使用脚本笔迹和固定示例。
为什么值得看
它把截图问模型、再读长答案的流程,改成在手写页面上圈错、打勾并分层提示,强调自己思考而不是直接得到答案。
谁会受影响
适合已使用xournal++手写笔练习微积分、并已登录Claude Code、Codex或Antigravity命令行代理的学习者。
今天就能怎么试
资料给出在Linux X11环境克隆仓库并运行自检、绑定快捷键的路径;需已安装对应代理及rofi、slop、xdotool、PyQt6。国内可用性、单独价格和详细参数未知,未实测。
原始来源
1Show HN: Penmentor – Claude marks up your handwritten math like a teacher · Hacker News · 2026年10月20日✓ 已打开核对本条由 AI 根据上面的原始来源整理,经编辑审核后发布。数字和结论以原文为准,发现错误欢迎反馈。
相关动态
OpenAI推出常驻智能体Dots,支持跨应用持续办事
OpenAI发布由GPT-6 Astra驱动的Dots,为智能体配备云端电脑、浏览器和应用连接。它能持续跟进项目、吸收反馈,并在ChatGPT、Slack或Teams沟通。首批面向符合地区条件的Pro、Business Premium及管理员开启测试的企业用户。
ChatGPT开始推送GPT-6,可生成交互式回答界面
OpenAI于10月7日开始在ChatGPT的Chat体验推送GPT-6与Intelligent UI,回答可包含按钮、图表、表单和互动工具。付费档先开放,免费与Go档次日开始推送;该公告说明此次更新不改变Work和Codex所使用的模型。
DeepSeek开放搜索与抓取接口,支持智能体接入
DeepSeek于10月17日开放自研网页搜索能力,Search返回结构化检索结果,Fetch把单个网页转换为Markdown。两者复用DeepSeek API密钥,按有结果的成功请求计费,每1000次5元;空结果、失败及超时不收费。
微软业务智能体评测接入 HF,直接检查数据库结果
ThinkingBox 在 507 个有状态业务流程中检查智能体最终留下的数据库记录和副作用,并对每项任务重复运行二十次。HF 博文展示了工具调用看似正常却写错状态的案例,提醒平均成功率、至少成功一次和次次成功不能混为一谈。