2026-10-11 Hacker News 热门文章摘要
TypeSafe AI 宣布以 75 亿美元估值融资 8.7 亿美元，由 a16z 领投，计划围绕 Jev 扩展机器原生模型与企业功能。REA 通过 MCP 把二进制、JavaScript、Electron 及运行时分析接入编程智能体，深度原生分析仍依赖 Ghidra、IDA 或 Hopper。
#GitHub
#GitHub
今日 0 条HackerNews 每日摘要AI 评分2626 Hacker News · AI 最新AI 评分6161 为什么你的 AI 智能体无法访问已登录的工具，以及 Chrome Relay 如何解决
作者开源了 Chrome Relay，让 Claude Code、Codex、Cursor 和 Paseo 通过 CLI 驱动日常 Chrome 的后台标签页，直接使用用户已有的登录态。
Hacker News · AI 最新AI 评分5151 Galahad 发布 AI 长期记忆层，提供 50M token 窗口
Galahad 是面向 AI 的长期记忆层，通过保存并复用模型 KV cache 避免重复计算，支持 vLLM、SGLang 和 llama.cpp。它可分片读取最大 50M token 的长文本，GPU 显存稳定在 34.1 GB，实测 99.6% 的 token 命中内存且速度提升 14 倍。用户可通过 pip install galahad-kv 免费使用（限单 GPU）。
Hacker News · AI 最新AI 评分4242 ShareBox：像分享 Google Doc 一样分享你的 AI 智能体构建的网络工具
ShareBox 可用于分享 AI 智能体构建的网络工具，其体验类似分享 Google Doc。该工具旨在让智能体产出的网页应用便捷地共享与协作。
Hacker News · AI 最新AI 评分6666 历经 500B Token：让 AI 智能体反编译一款第一人称射击游戏
作者与社区成员用 3 个月、约 600-700B token 编排 15+ 个 AI 智能体，把一款第一人称射击游戏反编译成可编译的 C++ 源码，99% 的函数已重建、83% 字节级精确，游戏完整运行。
Hacker News · AI 最新AI 评分5858 ShipOrNah 为 AI 生成的应用提供免费安全扫描
ShipOrNah 推出免费安全扫描工具，无需登录即可检查 AI 生成的应用是否存在数据泄露风险。用户粘贴 GitHub 仓库地址，工具会扫描暴露的 API key、缺失的 Supabase RLS 和未保护的路由，支持用 Lovable、Bolt、Cursor、Claude Code、Codex 或 v0 构建的项目。
Hacker News · AI 最新精选AI 评分7676 Ariodb：可检查并撤销 AI 智能体数据库操作的安全代理
Rooz Jalali 发布 Ariodb 0.1.0，一个位于 AI 智能体与数据库之间的安全代理，支持 Postgres 14 至 18、MySQL 8.4、MariaDB 11.4 与 ClickHouse。
推荐理由：原文列出智能体直接操作数据库的三类失控场景，并说明代理自身判断不能充当防线，可迁移到自建 Agent 的权限与审计设计。
Hacker News · AI 最新AI 评分5858 Talorys：基于 Cloudflare 免费层的开源个人 AI 智能体
Talorys 是一款免费开源的个人 AI 智能体，可完全运行在用户自己的 Cloudflare 免费层账户中。它支持流式聊天、持久记忆、任务与项目管理及定时提醒，所有数据均存储在用户账户的 SQLite Durable Object 中，且不包含任何遥测代码。用户只需一条命令 `npx create-talorys@latest` 即可完成部署。
Hacker News · AI 最新AI 评分6969 Iimos：以单个聊天框交付、可重写自身源码的 AI 应用
Iimos 是一个可完全修改自身源码的本地 AI 智能体应用，以单个聊天框交付，UI、服务器、工具乃至系统提示词都是它可以改写的源码。智能体、代码与数据全部留在本机，无需账号和云端，填写任何兼容 OpenAI Responses API 的 endpoint、API key 和模型名即可使用。
Hacker News · AI 最新AI 评分4545 Antigravity Excel Engine：面向 AI 智能体的双核 Excel 自动化引擎
Antigravity Excel Engine 是一款面向 AI 智能体的 Excel 自动化工具，采用双核架构处理电子表格任务。该引擎可让 AI 智能体直接驱动 Excel 自动化操作。
Hacker News · AI 最新AI 评分4747 Show HN: TaskHandoff — 面向容器化 AI 智能体的自托管控制平面
TaskHandoff 是一个自托管控制平面，可将跨机器、工作区与聊天平台的 Codex 等 AI 开发工作统一纳管，并管理节点注册、实例生命周期、会话与消息路由。
Hacker News · AI 最新AI 评分5959 Vibe Session Manager 统一管理所有 VS Code AI 编码会话
Vibe Session Manager 是一款 Windows 托盘应用，可将本机所有 Claude Code 和 OpenAI Codex 会话集中在一个列表中管理。
InfoQ 中国AI 评分7373 微软 Windows 发布会宣布混合智能：本地与云端模型按任务自动路由
微软在 Windows 发布会上宣布将混合智能引入 Windows，通过模型路由、Windows ML 和本地 AI 能力，让 GitHub Copilot、Copilot 根据任务复杂度、成本和隐私要求在云端模型与本地模型之间自动切换。
Hacker News · AI 最新AI 评分6161 Show HN: Wy — 理解 AI 生成代码的 Rust 终端工具
grandimam 发布 Wy（https://github.com/grandimam/wy，0.2.0，MIT 许可）：一个 Rust 终端工具，把 Git diff 与本地保存的 Codex 或 Claude Code 会话记录关联，用于审查和理解 AI 生成的代码。
量子位AI 评分6363 openJiuwen 发布并开源企业级 AgentOS，加速智能体规模化落地企业
由华为2012实验室、华为云等团队联合高校和企业构建的开源 AI Agent 平台 openJiuwen 发布并开源了企业级 AgentOS，将多智能体协同、自演进、算力亲和与企业级安全可靠能力融入统一底座。
量子位AI 评分6262 星动纪元VPP2登顶RoboDojo仿真榜单，综合成绩超越GPT-6-Astra等模型
星动纪元自研世界动作模型VPP2登顶RoboDojo仿真榜单，综合平均成功率32.26%、平均得分39.26分双双第一，领先GPT-6-Astra的22.48%和28.97分。
Hacker News · AI 最新AI 评分6363 Robium 发布：面向编码智能体的物理 AI 开发框架
Robium 是一套 MIT 开源的物理 AI 框架，把编码智能体接入机器人开发流程。通过 npx robium-ai setup 创建可编辑工作区，自动检测并连接已安装的编码智能体。
Hacker News · AI 最新AI 评分6666 ECC 2.2.3 为 AI 编程智能体提供开源工程操作系统
ECC 是一个 MIT 开源项目，为 Claude Code、Codex、Cursor 等编程智能体提供计划、测试、代码审查、记忆与持续学习一体化的工程系统。项目包含 68 个 agents、293 个 skills 和 94 个命令，覆盖 TDD、安全审查、构建修复等场景，核心 CLI 支持 Windows、macOS 和 Linux。
Hacker News · AI 最新AI 评分5959 Aura 发布：支持自托管和多用户的 AI 智能体平台，具备个人图谱记忆
Aura 是一个用 Go 编写的自托管、多用户 AI 智能体平台，提供工具、文档检索、时序记忆、定时任务和 Web 控制台。它通过 Docker Compose 运行 Postgres、ArcadeDB 等服务，默认通过 OpenRouter 使用 DeepSeek-V4 Flash 模型，也支持 ChatGPT 计划、llama.cpp 或 Ollama。
Hacker News · AI 最新AI 评分6666 Viberuler：测量你的 AI 编码上下文花在了哪里
Viberuler 是一款本地运行的 CLI 工具，扫描你机器上的 git 仓库与 Claude Code、Codex 等编码智能体的会话日志，计算 token 消耗、每美元 token 数、亲自编写的 LoC 与提交连续度，并生成可截图分享的分数卡。
Hacker News · AI 最新精选AI 评分7979 Fakegreen 无需 LLM 即可抓出 AI 编程 Agent 伪造的绿色构建
Joshua Almeida 开源 fakegreen，一个无需 LLM、零运行时依赖的 CLI 工具，通过扫描 git diff 检测 AI 编程 Agent 伪造测试通过的行为。
推荐理由：与 LLM 代码审查相比，它用确定性规则在毫秒级拦截 Agent 伪造绿色构建的常见手法，可直接接入现有 CI 与 Agent 钩子。
Hacker News · AI 最新AI 评分6666 Dialtrace：看清语音 AI 通话的时间都花在哪了
作者发布开源工具 Dialtrace，把运营商通话事件与自有语音管线阶段画在同一条时间线上，帮助团队定位通话等待时间的真实来源。文中实测，一通从美国号码拨给荷兰手机、链路完全没有 AI 的通话，主叫摘机后仍等了 640ms 才听到声音；另一次 7,000ms 的通话中 setup 与振铃合计 3,789ms 且不计入百分比，自有管线 1,378ms 占 85%。
Hacker News · AI 最新AI 评分6565 Favz 普查 16.6 万个 GitHub 上的 AI 智能体配置
Favz 读取公开 GitHub 仓库中的智能体配置文件并统计 MCP 服务器、技能与插件的实际采用，已索引 166,014 个仓库、49,914 个出现 3 次以上的工具名。
Hacker News · AI 最新AI 评分7474 bigarrow：让 AI 智能体在屏幕上画出大箭头、方框和文字
作者发布了 bigarrow，一款 macOS CLI 工具和 Agent 技能，允许 AI 智能体在屏幕上绘制箭头、方框和文字来指引用户操作。该工具点击穿透、不抢占焦点、绘图无需权限，支持 Claude Code 和 Codex，主要解决智能体需要人类点击授权按钮或处理验证码时的交互问题。
少数派AI 评分5656 从开源清理工具到付费 Mac 应用，用户教会了我如何做产品：Mole
Tw93 复盘把开源 Mac 清理工具 Mole 从 CLI 做成付费桌面应用的过程，CLI 不到一年收获 60K star、121 位贡献者，桌面版付费而 CLI 保持开源免费。
Hacker News · AI 最新AI 评分5151 Pluto：用自然语言直接控制 MCU 硬件的端侧 AI 模型
Pluto 是一套可直接运行在 MCU 内部、用自然语言指令控制硬件的嵌入式智能系统，用户描述意图后由其解析为 GPIO、PWM、I²C、SPI、UART 等结构化硬件操作，无需为每个新任务编写传统固件。
Hacker News · AI 最新AI 评分6262 LLMSchema：将数据库 schema 导出为精简 Markdown 供 AI 智能体使用
tordrt 发布开源工具 LLMSchema，可从 PostgreSQL、MySQL 和 SQLite 提取表、列、类型、索引、约束与关系，生成精简 Markdown 文档。它默认输出单个可移植文档，也可按表生成独立文件，配合 AGENTS.md 让编程智能体只加载相关表；提供 CLI 与 Go 库两种用法，作者提醒该工具仅用于开发数据库辅助 AI 编程，不要作为生产关键文档。
GitHub Blog · AI & ML精选AI 评分6868 GitHub：密钥防护必须与软件规模同步增长
GitHub 推出与 Microsoft Applied Sciences 联合微调的 ModernBERT 分类器，把推送防护扩展到非结构化密钥，可在 2 毫秒内评估候选密钥，可使可阻止的密钥数量增加一倍以上。
推荐理由：原文用九个季度的数据说明开发者并非变得更粗心，而是被代码产出速度超过，并介绍了新分类器如何把推送防护扩展到非结构化密钥。
Hacker News · AI 最新AI 评分3737 Show HN: 开源本地优先的生物信息学/AI 桌面应用 Liatir
Liatir 是一款基于 Rust、Tauri 2 和 SvelteKit 构建的开源本地优先生物信息学桌面环境，集成本地工具、本地管理的 AI 模型、.lia 插件、可视化流程与 API Connectors，并支持离线分析与本地 MCP 接口。
Hacker News · AI 最新AI 评分5555 Planlock 发布，批准一次计划后由代码强制校验智能体的每次工具调用
Planlock 是位于 AI 智能体与 MCP 工具之间的防护层，你一次性批准智能体写出的计划后，只有计划允许的调用才能到达上游工具。校验由代码而非提示词完成，被提示词注入迷惑的智能体也无法越过已批准的限制；若上游脚本在批准后被改动，计划会进入 Hold 状态，只有人类审批者能解除。
Hacker News · AI 最新AI 评分5757 ArtCraft 为艺术家打造开源可控 AI 工作室
ArtCraft 是一款面向艺术家的开源 AI 工作室，提供图像到 3D 网格、3D 与 2D 合成、角色摆姿、背景移除等可控创作功能，可配合 Seedance 2.5、Nano Banana 2 等模型使用。整套工作室代码托管在 GitHub，无需订阅，既能下载到本地也能直接在浏览器中运行。
Hacker News · AI 最新AI 评分5252 Clawock：AI 辩论、代码结算的港美股投资决策工具
作者在 Hacker News 发布开源工具 Clawock，为已有 AI agent 提供一套可迁移的港美股投资决策工作流。流程分为信息收集、多空辩论、代码结算、结果复盘四步，支持 Claude Code、Codex、OpenClaw、DeepSeek Harness 等运行时，通过 pip install clawock 即可使用。
Hacker News · AI 最新AI 评分6262 InBrief：支持 LLM 过滤的开源 AI 新闻聚合器
frankzch 在 Hacker News 开源 InBrief（github.com/frankzch/ai-news-brief），一个可自托管的 AI 新闻聚合器。
Hacker News · AI 最新AI 评分2828 Show HN: 一个把科技新闻吐槽分类为 COOKING 或 COOKED 的 AI 趣味项目
一个开源 AI 趣味项目每天抓取互联网前 10 大科技新闻，用吐槽取代干瘪摘要，并把每条新闻分类为 COOKING 或 COOKED。架构零成本：GitHub Actions 每天运行一次 Python 脚本，提取新闻生成 news.json 并自动更新前端页面。作者坦承目前吐槽质量时好时坏，有时会抓到数月前的旧新闻，并在评论区征集改进点子。
The Decoder精选AI 评分6969 OpenAI 在 GitHub 发布 372 条 AI 生成的数学结果，称学术界需跟上
OpenAI 在 GitHub 仓库发布 372 条由内部前沿模型生成的数学结果，称每条结果都针对某个开放问题或其实质性进展。多数证明附有 Lean 形式化，平均每条消耗约三小时 ChatGPT Pro Thinking 算力；此前 Navier-Stokes 解法需要一万个智能体和数百万美元算力，而这次几乎每条结果都来自对单个智能体的单次提示。
推荐理由：原文对比了单次提示与万智能体集群的算力成本差距，并说明 Lean 形式化验证如何缓解人工审稿瓶颈。
Hacker News · AI 最新AI 评分6262 iloveposts：用 AI 把 X 推文变成可发布的视觉卡片
开源项目 iloveposts 把 X 推文链接变成排版精美的视觉卡片：粘贴链接、可选风格说明，即可得到指定 X 尺寸的 PNG 和自带 See more 交互的自包含 HTML。
Hacker News · AI 最新AI 评分7070 NanoMuse 发布面向手机和电脑的开源 AI 智能体
nanoMuse 是一款开源个人 AI 智能体，可在手机、电脑或自建服务器上运行，同一账号跨设备同步，最新版本 0.1.40。
Hacker News · AI 最新AI 评分5757 Toketer：在编辑器中实时显示每个 AI 提示词的 token 消耗与成本
Toketer 是一款 VS Code 状态栏扩展，可在编辑器内实时显示每个 AI 提示词的 token 消耗与花费，无需登录或配置。它通过 @toketer 聊天参与者转发提示词并记录真实 token，读取本地 Claude Code 会话日志获得精确成本，同时为 GitHub Copilot 提供基于文件改动大小的估算和一键导入 GitHub 账单的精确数字。
36氪AI 评分6161 OpenAI 发布前沿大模型全新数学能力测试成果
OpenAI 通过 GitHub 代码库公开其内部前沿大模型生成的一系列全新数学研究成果，并附带论文修订与引用的规范协议。成果包含 Lean 语言形式化证明，可让数学证明内容直接通过计算机完成校验；单份成果平均消耗的算力约等于 ChatGPT Pro 三小时的深度推理时长。
The Verge · AI精选AI 评分7676 OpenAI 发布又一批数学突破成果
OpenAI 公布了由一款未发布前沿模型产出的数学研究成果，共 722 篇手稿、覆盖 372 个结果族，据新成立的数学顾问组 AGMAI 称其中包含数百个开放问题的解答。
推荐理由：原文给出了这批成果的手稿数量、结果族规模与算力消耗估算，并呈现了数学界围绕发布伦理的争议，读者可据此判断此类成果的分量。