Bend 语言发布：用法则与证明拦截 AI 写码错误，单核接近 C 且可跑 GPU

Juggler 是一款开源 GUI 编程智能体，提供可视化工作台，支持可检查的工具调用、分支线程和可编辑上下文。会话以树状结构组织，而非线性聊天记录，用户可创建子线程、回溯、比较和编辑。所有关键信息以 Finder 风格 Miller 列展示。Juggler 支持本地、远程或同时运行，桌面应用与浏览器可连接同一会话。模型支持包括 Claude Code、OpenAI、Gemini、Ollama、OpenRouter、Z.AI、Deepseek 等。后端使用 Go 和 Wai…

Rowboat 是一个开源、本地优先的桌面 AI 助手，将邮件、会议、Slack 等数据索引为 Obsidian 风格的知识图谱，提供持久上下文记忆。内置邮件客户端、浏览器、会议记录器、代码模式（可调用 Claude Code 或 Codex 代理），并支持按事件或定时运行的背景代理。用户可通过 MCP 协议接入 Exa 搜索、GitHub 等外部工具。所有数据以纯 Markdown 格式本地存储，无供应商锁定，支持 Ollama/LM Studio 本地模型或使用 API…

Weave 发布智能模型路由工具，通过 `npx @workweave/router` 安装，作为本地代理运行在 localhost：8080。它采用基于 Avengers-Pro 1 的集群评分器，每个请求自动选择最佳模型。支持 Anthropic、OpenAI、Gemini 原生 API，并通过 OpenRouter 接入 DeepSeek、Kimi、GLM、Qwen、Llama、Mistral 等开源模型。用户自行保管提供商密钥，数据本地加密存储。工具兼容 Claud…

OpenKnowledge 是一款开源、本地优先的 Markdown 编辑器，私密免费，提供完整的所见即所得编辑体验。支持 macOS 桌面应用和 Web UI，内置文件导航、搜索、标签和图谱 wiki 链接查看器。可与 Claude、Codex、Cursor 等桌面应用协同实现 AI 编辑，并通过 MCP/CLI 兼容任意 AI 智能体框架。自带 MCP、技能和智能搜索，支持 LLM Wiki 和知识图谱。团队协作基于 Git/GitHub 实现无代码共享与自动同步。支持…

Statewright 是一个通过状态机为AI智能体提供约束的系统，能控制其在各阶段可使用的工具，从而聚焦推理并提升可靠性。它将工作流定义为规划、实施、测试等多个阶段，自动执行工具限制与状态转换。在本地模型测试中，两个模型在5项SWE-bench子任务上应用约束后，正确率从2/10显著提升至10/10。该系统已集成到Claude Code等平台，一个修复测试失败的典型工作流可在46秒内完成。

一款让 AI agents 担任市长的城市模拟器，支持通过 REST API 或 MCP 服务器进行程序化城市建造与管理。

TypeSafe 发布开源浏览器智能体 Jev Ultrafast，采用动态、带索引的动作空间，每次决策只发一次网络请求，小 LLM 仅在 TYPE_TEXT 操作时生成文本。

OpenAI 推出 ChatGPT Ads 新的 AI 功能，正在美国向部分广告主测试 Sponsored Agents，用户点击广告后可与明确标注的企业赞助智能体对话。同时广告主可在 ChatGPT 中用自然语言提示词创建和管理广告，Ads Manager 新增 AI 文案与图像建议，并首批集成 HubSpot 和 Shopify，后者面向美国商家，9 月 23 日起在国际市场可用。

Cloudflare 发布 Disallow AI Training 新设置，让站长在禁止混合用途爬虫抓取内容用于 AI 训练的同时保持搜索收录，Apple、Google 和 Microsoft 已承诺遵守该设置。

Capsule 发布，可将应用的 UI、媒体资源和本地 SQLite 数据打包成单个可移植的 .capsule 文件，无需云端、账号或订阅，支持通过聊天工具分享并即时打开。支持 macOS、Windows、Linux 桌面端和浏览器预览，iOS 和 Android 支持即将推出；用户可用提示词通过 ChatGPT、Claude 等 AI 助手生成和修改应用，也可通过 MCP 编码工具迭代。