标签: AI

清除筛选

Munder Difflin 开源解读:单提交者 Git、原子邮箱与 Stop 钩子如何让十个终端 CLI 协作

并行跑多个 AI 编程 CLI 的开发者大多撞过同一堵墙:三个 Claude Code 会话同时改一个仓库,index.lock 报错此起彼伏;想让 Codex 把结论转交给另一个会话,只能靠人肉复制粘贴;每个会话的上下文彼此隔离,A 学到的东西 B 一无所知。GitHub 上一个叫 Munder Difflin 的开源项目给出了一套相当工程化的答案:它不改…

开源AgentAI

OpenViking 解读:火山引擎的 Agent 上下文数据库

Claude Code 自带的记忆机制在 LoCoMo 长对话基准上的准确率是 57.21%,接入 OpenViking 之后达到 80.32%;OpenClaw 的原生记忆只有 24.20%,接入后 82.08%。这组数字来自 OpenViking 官方基准报告,测的是同一件事:当对话历史长到塞不进上下文窗口时,Agent 能否答对那些依赖早期信息的问题。…

开源AgentAI

陶哲轩推出 Palomar:Lean 验证数学注册表开放

2026 年 8 月 18 日,陶哲轩(Terence Tao)在个人博客宣布,Lean 验证数学注册表 Palomar 正式开放提交。这个由 Lean FRO 与 ICARM 共同孵化的项目,瞄准的是 2026 年以来日益尖锐的一个问题:AI 生成的数学证明数量激增,但确认一个 Lean 仓库真的证明了它声称的结果,对非 Lean 专家来说异常困难。 陶哲…

AI数学Lean

ai-memory 开源解读:Rust 单二进制给编码 Agent 装上跨 CLI 持久记忆

在 Claude Code 里调试到一半,切到 Codex 继续同一个任务,新会话对代码库一无所知,架构说明、踩过的坑、被否掉的方案全部归零。编码 agent 的记忆只活在一个会话里,会话结束记忆就消失。开源项目 ai-memory 针对这个问题给出了一个完整方案:单个 Rust 二进制加一个本地服务器,把生命周期钩子捕获的观察记录编译成持久 wiki,让任…

开源AgentAI

oMLX:为 Apple Silicon 而生的本地 LLM 推理服务器,分层 KV 缓存把上下文复用推到 85%

在 Mac 上跑本地大模型的人大多经历过同一个瓶颈:模型加载得再快,长对话一来一回,上下文一遍遍重新计算,GPU 算力都花在了重复劳动上。oMLX 是一个专为 Apple Silicon 设计的 LLM 推理服务器,它的核心卖点就落在这一点上:分层 KV 缓存把已计算的上下文块持久化到 SSD,换对话、换模型、甚至重启服务器之后,历史上下文仍然可以直接复用,…

Strix 开源 AI 渗透测试工具解读:多智能体、Kali 沙箱与 CI 门禁

一次完整的人工渗透测试以周为单位计费,排期常常以月计算;静态扫描器跑得快,但规则匹配带来大量误报,结果仍要安全工程师逐条复核。开源项目 Strix 选择用自主 AI 智能体切入这道供需裂缝:让 agent 像真实攻击者一样动态运行目标代码、发现漏洞,再写出可复现的 PoC 完成验证。 项目托管在 GitHub 的 usestrix/strix 仓库,Apac…

Claude 水印攻防:watermarks-remover 六天攒到 12,574 星

8 月 11 日,Anthropic 发布文章《How Claude's text watermark works》,第一次完整解释了 Claude 文字水印的技术原理。六天后,GitHub 上一个专门清洗 AI 水印的开源工具 watermarks-remover 攒到 12,574 颗星。这个 8 月 11 日当天创建的仓库, Contributors…

Claude开源AI

Stripe 70 亿美元收购 OpenRouter:统一 AI 网关的路由层技术与支付野心

据 Bloomberg 8 月 16 日报道,Stripe 已敲定收购 OpenRouter 的协议,交易金额超过 70 亿美元。OpenRouter 是一家为开发者提供统一 AI 模型接口的公司,一个 API 可以访问 400 多个模型,并在不同供应商之间自动路由请求。今年 5 月,这家公司的估值还是 13 亿美元;三个月后,收购价格翻了五倍以上。 这笔交…