Penmentor 让 Claude 和 Codex 像老师一样批改手写数学过程
Penmentor 是开源的 Linux 桌面工具,在 xournal++ 里按一个键即可让已登录的 Claude Code、Codex 或 Antigravity 批改手写数学过程。它在出错处圈画、给正确行打勾,只给提示不给答案,圈出公式还能生成 manim 交互动画。工具复用你已有的 AI 命令行订阅,需要 X11 环境并装好 rofi、slop、xdotool 和 PyQt6。
Penmentor 是开源的 Linux 桌面工具,在 xournal++ 里按一个键即可让已登录的 Claude Code、Codex 或 Antigravity 批改手写数学过程。它在出错处圈画、给正确行打勾,只给提示不给答案,圈出公式还能生成 manim 交互动画。工具复用你已有的 AI 命令行订阅,需要 X11 环境并装好 rofi、slop、xdotool 和 PyQt6。
BodyCommit 是面向 VS Code 和 Cursor 的扩展,在你累计约 50 个活跃编码分钟后提示做一分钟左右的拉伸、徒手训练或呼吸练习。它只读取编辑器事件来推测 agent、构建或长终端命令正在运行,把提醒安排在这些自然停顿上,并支持安静时段与仅状态栏提醒。
Nimbalyst 发布本地 wiki 插件,让 Claude Code 和 Codex 把会话中的决策写进仓库里的 markdown 页面。默认存放在被 git 忽略的 nimbalyst-local/wiki,也可改到 docs/wiki 提交,浏览器里能直接编辑文字、Excalidraw 绘图、思维导图、CSV 表格、Prisma 数据模型和 mockup。
TalkJS 发布 AI 客服智能体 Tori,把官网、帮助中心或文档的 URL 接进来后,这些内容就成为它的知识库,用来回答客户问题,置信度低时带上上下文转交人工。
REALM 是一个 16 KB(gzip)的浏览器端运行时,把 custom-element 标签升级成可用的 Web Component,脚本、样式和结构都写在纯 HTML 里,从 CDN 引入即可运行,没有构建步骤。
Doozy 是一款常驻 Slack 的 AI 同事,用户在 thread 里用自然语言提需求,它在自己的系统里完成任务并把结果和每一步记录发回同一线程。
Giverny 是面向 Claude Code 和 Codex 的原生终端,把两个智能体的会话按左侧分类并排跑起来,并可同时接多个账号。它用 Rust 基于 alacritty_terminal 编写、由 GPU 渲染且不含 web 引擎,支持 Linux、macOS 和 Windows。
Sorcerer 是一款开源、原生 SwiftUI 的 macOS 应用,围绕一个 what if 假设生成由 AI 智能体组成的社区并逐轮推演。每个角色带有人设、目标、关系和记忆,会发帖、表态、采取行动并参与投票,还能在任意轮次分叉对比不同走向,输出每个结论都可点击跳转到原帖的报告。
Cloudflare 发布 AI 模型 Clairic,用于从文档中抽取用户指定的字段,已在 Workers AI 上提供预览,开放权重将随后放出。用户给出订单号、发票总额等字段名,模型一次返回对应数值、正确格式与置信度,缺失时返回 null;它不逐 token 生成文本,也能做简单计算和估算。
ModVet v0.2.2 已上线 PyPI,pip install modvet 即可离线扫描 Claude Code 的 mod 目录,无需联网、账号或 LLM。
开源、自托管的远程监控与管理平台 OpenRMM 发布,内置 AI 助手,可接入任意 OpenAI 兼容接口,包括本地部署的模型。AI 只读取设备状态并提议脚本与操作,每条任务需人工审批后才在端点执行,配有 dry-run 预览和只追加审计日志。
Halis Code 是一个开源编码 Agent,同一套代码同时提供终端 UI 和 Electron 桌面应用,npm install -g halis-code 即可安装。
Proxium 是一个自托管 HTTP/SOCKS5 代理,一条 docker run 即可启动,镜像内同时跑代理、REST API、管理面板、PostgreSQL 和 Redis,支持 amd64 与 arm64。
Yelp 在应用内上线 Check for Me,用户在餐厅页面填写用餐人数和手机号后,AI 语音智能体会代其致电餐厅询问等位时间,再把结果短信发回。Yelp AI 助手同时接入 OpenTable,可在应用内直接订位,并支持记住此前对话中的偏好、查看近 30 天聊天记录和设置自定义提醒。
Slate Terminal 是一个基于 libghostty 的原生 macOS 终端,要求 macOS 27 或更新版本与 Apple silicon。它支持标签页和嵌套分屏,任意窗格可换成终端、浏览器、笔记或用 HTML、CSS 和 JavaScript 编写的插件面板。
Amber-8 是一个小型确定性栈机,把本地语言模型当作模数转换器,将杂乱主观文本转成栈上的数字、选项与 0-1 置信度,分支仍由确定性代码执行。它只提供 ask、pck、scl 三条模型指令,模型不写代码也不决定分支,示例程序编译后的字节码均在 2 KB 以内。
Faztudo 发布 0.1.6 alpha 版本,这是一个跑在本地 Linux 上的聊天工具,把 Claude Code、Codex、Grok、Kimi 等编码 Agent CLI 作为成员接入同一频道。
n8n 2.45.0 发布,修复 AI Agent、API 与编辑器中的多项问题。AI Agent Node 可在回放 Anthropic thinking turns 时携带 tool arguments,API 为 member API keys 的 executions 增加 projectId 过滤。编辑器还修正凭据下拉宽度、移除横向滚动,并支持 SSO 登录后返回请求页面。
deepsense.ai 提出一套评估 Agent 系统的四层框架,覆盖数据集、执行环境、行为验证和指标。它要求每个用例多次运行并以 pass^k 而非 pass@k 作为上线门槛,检查工具选择、调用顺序和失败处理等轨迹,而不只看最终答案。
Show HN 发布一个面向文本、编程与多模态记忆的公共排行榜,当前获得 2 分、0 条评论。榜单的具体指标、参评模型和数据来源尚未在正文披露。
HarnessPro 是一个不需要标注数据的 harness 自改进方法,目标是在提升 Agent 任务表现的同时降低执行成本。它用 LLM 生成的测试评估候选 harness,不依赖标准答案或官方测试;专用 Agent 诊断执行轨迹,按不同的性能成本优先级规划更新,再用归一化加权平方距离选出偏成本、均衡、偏性能三档,对应不同的部署预算。
arXiv 论文提出 TSI 层论框架,把多智能体任务的兼容性障碍与系统能力分开刻画,交互复形与容量层的上同调非零即构成结构性签名。15,625 个一阶输入上,全智能体加性原语可精确求解决策与修复,最优成对系统决策 88.80%、仅比 88.79% 的多数类基线多对一个输入,修复率 26.63%。
该论文把诈骗者与反诈陪聊者的对话建模为双人博弈,用纳什均衡作为评估基准,让 LLM 通过上下文经验学习反制策略而无需微调。在 300 段模拟对话和三种 LLM 架构上,自适应策略选择比非自适应基线更接近纳什均衡,幅度从 28.9% 到 79.7%。作者同时公开代码和 300 段带逐轮策略标签与效用分数的标注数据集,论文已被 ECML PKDD 2026 接收。
RefCraft 是一个包含 300 个真实多模态网页开发任务的基准,把自然语言指令与 1 到 5 张参考网页截图放在一起。智能体需要自己挑选并使用这些参考,渲染页面、做视觉检查并迭代修改,评分依靠可独立验证的 keypoints 以及程序化判分和 VLM 裁判。在九个前沿(M)LLM 上最强系统总分只有 52.12(满分 100),说明视觉参考条件下的智能体生成在真实网页开发场景中仍是难题。
论文提出 WildAWM,一个用开源模型合成可控环境与任务、用于训练通用计算机使用智能体(CUA)的流水线。它构建同时支持图形界面、MCP 服务和命令行的可执行环境,并用执行式质量门控配合多智能体采样、交叉评判一致性和反事实探针,保证任务可解、难度足够且验证器可靠。
推荐理由:做 computer-use agent 训练的团队可以复用这套合成管线,批量生成带验证器的长程可执行任务环境。
ProteinGeoBench 用 131 个蛋白质结构任务评测前沿智能体,结果显示它们元数据检索流利、几何计算不可靠。四个前沿模型中有三个得分落在 0.785–0.816 之间,第四个为 0.707;数值任务只有 28 个,却占所有模型均失败任务的一半。评估配置同样影响排名,每任务只跑一次时 23.9% 的 bootstrap 重采样会把不同模型排到第一。
一项 arXiv 研究用 USGS 地球化学模拟器 PHREEQC 检验工具输出检索对 LLM Agent 准确率的影响,报告长达 846.8k 字符,测试为 158 道执行验证多选题。
推荐理由:做 Agent 上下文管理的团队可以按它的实验方法自查准确率在哪一步流失,再决定是否内联或指认权威输出。
arXiv 论文 AnyGoal 研究世界模型在专家轨迹之外能否泛化,并配套发布一套目标偏移任务基准和开源库。每个任务中单个状态因子与动作都仍在训练支撑范围内,但它们的组合在专家轨迹里出现稀少,用来检验模型能否把熟悉的因素重组为有效动力学。
研究者提出 Agentic Imagination(Agima)训练框架,用单个 omni 模型先提出动作、生成动作结果的图像,再在这些想象出的未来上推理,决定实际执行哪一步。
WeAct 提出在冻结主干上训练多个能力专用的 LoRA 适配器,并把适配器选择加入智能体的动作空间,通过模型原生工具调用接口按需组合能力。在八个深度研究基准上,Qwen3-32B 配合 WeAct 相比全量微调平均准确率提升 6.2%,相比最强的静态 LoRA 合并方法提升 27.5%,且算力消耗更少。作者还展示了模块化持续适配,新增代码计算适配器、更新写作适配器时主干与其他适配器均保持不变。
这篇 arXiv 技术报告提出 PhysRSI-eval,用首次尝试表现、效率、成功率、预算和失败后的改进五个轴量化物理递归自我改进。作者在固定交互预算下用 18 个操作任务评测多个 VLM,据此提出物理木桶假说,认为不同能力约束改进的不同环节。五轴指标可区分公开榜单平均分接近的系统,高分未必对应更早或更高效的改进;工作区干预实验还显示移除历史会降低后期成功率。
AML CYCLE 2 是面向智能体长期记忆的评测基准,已在 Show HN 展示。它用于评估智能体在长期记忆方面的表现,当前页面显示 1 分、0 条评论。
Yana 发布本地优先、人类掌权的 Rust AI 运行时 yana-rt 与桌面 IDE Yana Studio,模型只能提议动作,能否执行要经能力清单、策略和人工审批逐层判定。
AppMaker 在 Hacker News 的 Show HN 发布,用户用自然语言描述业务应用,AI 在平台已有的表单、数据、用户角色和服务端逻辑骨架上生成可运行的应用。
一位开发者发布面向 Claude Code 的常亮软件工厂样板仓库,基于其为 Votito 搭建的配置,编排器把 token 消耗相比直接跑 Claude Code 工作流降低约 80%。
Omasharp 提供一套用 C# 与 QML 编写 Omarchy 应用的模板和工具链,开发者只改 Backend.cs 和 Main.qml 两个文件。dotnet publish 把 C# 编译成原生代码并配一个 Qt 宿主,运行时不需要安装 .NET,应用跑在 Omarchy 自带的 Qt 上。
OpenFlow 是一个可视化搭建多智能体 AI 工作流的工具,把角色卡拖到画布上连成流水线(planner、architect、coder),保存后由真实并行的 agent 执行。
barn.app 是一款 macOS 上的智能体监控工具,能在进程表里自动发现你已经在跑的编码 Agent,并显示它们处于工作、等待还是完成状态。它会把对应的 Ghostty、iTerm2、Terminal 标签页、tmux 面板或 VS Code、Cursor 窗口调到前台,Agent 弹出权限确认或提问时发出通知,另有快捷键唤出的切换器。
Microsoft 推出 Guardian Agents,用于监控企业使用的 AI 智能体,属于 6 月发布的 Project Perception。Microsoft Defender 同时新增智能体检测,可识别 Claude Code、Codex、OpenClaw 等最多 60 类员工带入的智能体,并提供数据访问限制、权限动态调整和高风险操作人工审批。
开发者用 Claude Opus 5.5 和 three.js 构建 Flyingcar.pet,以物理模拟还原 Tesla Roadster 的飞行特技视频。项目原预计一两次生成,最终迭代多日,Opus 先需识别视频中的五辆停放 Tesla 与六辆车的尺寸。之后逐帧校正 Roadster 的左偏轨迹、翻滚及飞行中推进器点火,以贴近视频。