AdaCore 发布 GNAT Foundry: Intersection 演示，用形式化证明为 AI 生成代码建立确定性信任
AdaCore 在 GitHub 上发布 GNAT Foundry: Intersection 演示项目，展示如何用确定性工具链为 AI 生成的代码建立信任。
#GitHub
#GitHub
今日 0 条Hacker News · AI 最新AI 评分5959 Hacker News · AI 最新AI 评分6060 SuperLocalMemory 开源发布：面向 AI Agent 的本地记忆系统
作者开源发布 SuperLocalMemory，一个运行在本地的 AI Agent 记忆系统，Claude Code、Codex、Cursor、Copilot 等工具可通过 MCP 或 CLI 共享同一份记忆。
Hacker News · AI 最新AI 评分7070 Jevcrawl：面向 AI 智能体的网页爬虫，爬取环节不使用 LLM
Jevcrawl 是一款面向 AI 智能体的开源网页爬虫，链接决策由 Jev 模型对页面打分完成，不把整页文本交给 LLM。基准测试中它找到答案页的比例为 54%，高于 Claude 选链接的 33%，也是 Crawl4AI 目标导向爬取的两倍，单任务成本约为 LLM 驱动爬取的八分之一。
Hacker News · AI 最新AI 评分3232 Show HN: Commit-Aware Router，根据企业 AI/云承诺额度路由 LLM 流量
Commit-Aware Router 会结合企业当前的 AI commits（预付 AI 额度、最低消费协议、云承诺与商业上限）状态，在价格、性能等因素之外为 LLM 路由决策提供依据。该项目是基于 LiteLLM 构建的早期 PoC，主要面向 CFO、战略财务、FinOps、云财务和 AI 平台人员，帮助其满足最低承诺额度且不超出上限。作者公开征集反馈。
Hacker News · AI 最新AI 评分6060 开发者对 AI 的不信任，正是 GitHub 的机会
GitHub 正把自己定位为跨 AI 编码工具的治理层，其第三方编码智能体（公开预览，含 Claude 与 Codex）在平台上获得与 Copilot 云端智能体相同的安全保护与限制，issue 或提示词可变为提议变更、Pull Request 或待进一步审查的 issue。
GitHub Blog · AI & MLAI 评分5555 GitHub 的秘密检测模型：以更少噪声发现更多秘密
GitHub 推出了基于微调 ModernBERT 的两阶段秘密扫描器，结合正则表达式候选生成与上下文感知分类来区分真实凭证与相似字符串。相比之前的 LLM 管线，新管线将推送后扫描执行时间中位数降低 86%，服务成本降低超过 98%，仓库所有者加权接受率提高 11.5%。
Hacker News · AI 最新AI 评分5555 Deslop：用于 AI 生成 TypeScript 的 Oxlint 规则集
Deslop 是一套 Oxlint 规则插件，用于拒绝 AI 生成的 TypeScript 代码中低证据、低信号的模式。
Hacker News · AI 最新AI 评分6363 Show HN：Agor 多人协作 AI，别再独自运行智能体
Preset 在 Hacker News 发布 Agor（https://github.com/preset-io/agor），一个多人协作 Web 工作台，可在隔离的 git 分支上运行 Claude Code、Codex、Gemini 等编码智能体，每个分支配独立开发环境、会话历史与一键开发服务器。
Hacker News · AI 最新AI 评分6161 Recall：面向 AI 智能体的长期记忆，可自动察觉并淘汰过期事实
Recall 为反复对话的 AI 智能体提供长期记忆，后台提取每个用户带时间戳与引用的事实，关闭不再成立的事实，并以一次模型调用带来源作答。官方公布 LongMemEval-S 91.0% 准确率、BEAM 100K 0.683 分等基准结果，evals/ 测试套件可对自部署运行。
Hacker News · AI 最新AI 评分5353 GPT-Load 2.0 发布：可自建的多渠道多凭证 AI 网关
GPT-Load 2.0 是一款可自建的 AI 网关，把多渠道 API 密钥、订阅账号、流量调度、故障处理、请求日志与用量统计收拢到单一入口。应用只需一个 base URL 和一个 AccessKey 即可接入，客户端保持 OpenAI、Anthropic、Gemini 原生协议；2.0 为完全重写，无法就地打开或迁移 1.x 数据，需独立部署并验证后再切流。
Hacker News · AI 最新AI 评分6464 DocCloak：面向 AI 提交的浏览器端文档匿名化工具
DocCloak 是一款开源的浏览器端文档匿名化工具，可在文档提交给 AI 服务前本地清除个人身份信息（PII），并支持将 AI 回复中的占位符还原为原始名称。它支持 .doc、.docx、.pdf 及图片（通过本地 OCR 提取文字），可检测 14 种实体类型；所有 ML 模型与正则规则均在浏览器内运行，无需服务器或 API 调用。
Hacker News · AI 最新AI 评分6565 DontFeedTheAI：面向 AI 辅助渗透测试的匿名化代理
zeroc00I 开源了 DontFeedTheAI，一个面向 AI 辅助渗透测试的匿名化代理。它在请求到达 LLM 前剥离 IP、凭据、主机名和 PII 并在返回时还原，检测由本地 Ollama 与正则两层完成，敏感数据不离开本机。
InfoQ 中国AI 评分7171 GitHub 项目 REA 走红：当大模型能逆向一切，软件行业还剩什么？
GitHub 开源项目 REA（Reverse Engineer Anything）走红，截至 10 月 12 日仓库已获 12 万颗星。该项目用 TypeScript 编写、采用 MIT 许可，让 Claude Code、Codex 等 AI 编程智能体通过 MCP 调用 Ghidra、Hopper 等逆向工具，分析无源码软件并生成相似功能。
InfoQ 中国AI 评分5555 20年技术品牌建设都成浮云：编程智能体如何选择其首选工具
Armature 发布一项实验性研究，在 75 个公开代码仓库中观察 Claude Code、Codex 和 Cursor 的工具选择，发现代码库上下文与各 Agent 的信息来源差异比品牌声誉更能决定结果。
Hacker News · AI 最新AI 评分2222 如何将前沿 AI 变成多智能体系统架构师
该项目提供一套多智能体系统架构指南与模板，包含 `examples`、`sources`、`templates` 等目录，以及 `EVALUATION.md`、`PROTOCOL.md`、`VISION.md` 等文档。配套文件列出评估方式、AI 引导原则与来源决策记录，用于将前沿 AI 落地为多智能体架构。
Hacker News · AI 最新AI 评分4848 Show HN: Vibecheck —— 检查你是否理解自己 AI 生成代码的 merge gate
开发者推出可自托管的 GitHub merge gate Vibecheck，在创建 PR 时校验提交者是否理解自己的 AI 生成代码。它采用 BYOK 模式，填入 Anthropic API 密钥即可使用，适合企业环境或私有部署。作者在 PR 中提供了两个演示，分别展示 PR 因明显未理解代码被拦截，以及校验通过的情形。
Hacker News · AI 最新AI 评分4545 Veda：一个现代智能体 AI 操作系统
语音智能体 Veda 常驻任务栏，可通过语音唤醒并代替用户执行打开应用、编辑文件等电脑操作。其语音识别、语言模型与语音均由 Deepgram 提供，唤醒识别使用 Nova-3，对话则依托 Voice Agent API。系统支持自然打断与多轮追问，并会在执行不可撤销的操作前征求用户同意。
Lifehacker 用这个方法在任何 Android 手机上使用 Pixel 的 AI 听写功能
开发者 Akshay Kadam 将 Google 的 Gboard 改装为第三方工具 PixelBoard，让非 Pixel 手机也能用上 Pixel 11 独占的 AI 听写功能 Rambler。
GitHub Blog · AI & ML精选AI 评分6363 GitHub Copilot 新手教程：如何让 Copilot 了解你的代码库
GitHub 官方博客介绍了四种让 Copilot 理解项目规范的方式：仓库自定义指令、智能体技能、自定义智能体和 MCP 服务器。
推荐理由：文章把定制 Copilot 的方式拆成自定义指令、技能、自定义智能体和 MCP 服务器四类，读者可对照自己的仓库逐项落地。
Hacker News · AI 最新AI 评分4343 一款为人类与 AI 智能体打造的 YouTube Transcript CLI
一款名为 YouTube Transcript CLI 的命令行工具正式亮相，专为人类用户与 AI 智能体设计。该工具以 CLI 形式提供 YouTube 视频的 transcript 获取能力，便于后续程序化处理与调用。目前相关讨论已在 Hacker News 上引发少量关注。
Hacker News · AI 最新AI 评分6060 FeedHive 开源 AI Slop Detector，整理 120 种 AI 味写作模式
FeedHive 在 GitHub 开源 AI Slop Detector，整理出 120 种会让文字读起来像 AI 的写作模式，帮助识别和规避 AI 味表达。该项目的 Hacker News 讨论帖已有少量评论互动。
Hacker News · AI 最新AI 评分5151 Veda 发布首款内置 AI 智能体的 Agentic Hobby OS
Veda 发布了一款将 AI 智能体直接集成进操作系统内核的爱好操作系统，用户可用自然语言指令让智能体通过原生系统服务执行操作。
Hacker News · AI 最新AI 评分6060 Show HN: Baa —— 释放 AI agent 遗忘内存的菜单栏应用
作者因 Mac 每两小时耗尽 RAM 而开发了开源菜单栏应用 Baa，它能查找应用或终端关闭后仍占用内存的进程（如 AI agent 启动后遗忘的 dev server 和 headless browser），显示可回收空间并一键释放，并在内存耗尽前预警。Baa 还能清理磁盘上的旧构建和包缓存等开发垃圾，所有数据均在本地处理，作者称其已在自己的 Mac 上清理约 50GB。
Hacker News · AI 最新AI 评分4545 Lintapple：针对 AI 生成界面的 UI 检查
Lintapple 推出针对 AI 生成界面的 UI 检查工具。该工具可对 AI 生成界面执行自动化 UI 检查。目前已在 Hacker News 上发布并开放讨论。
Hacker News · AI 最新AI 评分6363 Ctxvitals：一条命令审计 AI agent 栈的 token 成本与安全配置
princejain756 发布开源工具 Ctxvitals，一条 npx ctxvitals 命令即可实测 AI agent 栈中每个 MCP server、skill 与 rules 文件在首条消息前消耗的 token。
量子位 · 行业解读AI 评分4747 DHSA 实现不动基座权重的推理时偏好对齐：256-16384 个控制参数达到 DPO 水准
成都大学、北卡罗来纳州立大学、复旦大学、澳大利亚凯斯林大学和澳门大学团队提出直接隐状态对齐（DHSA），在冻结基座权重的情况下于推理时完成偏好对齐。研究先用残差竞争图（RCM）量化组件对偏好的支持或抵消作用，再用因果激活状态转移（CAST）在组件写回残差流前施加局部调整。
Hacker News · AI 最新AI 评分1111 Show HN: 复现三个 AI 文本检测器，以及为什么过滤损害了我的模型
该开源包复现了三个 AI 文本检测器与情感分类器的对比实验，支持在本地完整重跑分析。首次运行需约 2 GB 磁盘空间，会从 Hugging Face 下载 GPT-2 与 all-MiniLM-L6-v2 嵌入模型，随后检测器与分类器均在本地运行。
Hacker News · AI 最新AI 评分6363 DBJoy：macOS 上的开源 AI 优先 PostgreSQL 客户端
agustind 发布 DBJoy，一款开源的 macOS PostgreSQL 客户端，可用自然语言提问、让 AI 生成 SQL，并支持 schema 比较与迁移脚本生成。
Hacker News · AI 最新AI 评分6161 Show HN：开源 AI 模型排行榜 whatmodel，列出你的机器能本地运行的最佳模型
jakemanger 发布了 whatmodel，一个开源的 AI 模型排行榜，输入内存和显卡即可查看你的机器能本地运行哪些模型、运行命令及其排名，并与同分的 API 模型对比。
Hacker News · AI 最新AI 评分5252 俄罗斯运营者搭建带 AI 辅助的 DDoS 放大实验室
安全研究者在主机 84.32.34.6（UAB Cherry Servers，荷兰）的暴露目录中发现一个俄语运营者的 DDoS 放大实验室，核心工具是测量多协议 UDP 反射器带宽放大因子的 ampscanner.py。
Hacker News · AI 最新AI 评分2929 JulianFlux：面向 AI 智能体的电动力学向量检索与因果路由
JulianFlux 将向量数据库升级为连续电动力学推理引擎，用修正后的洛伦兹力公式替代余弦相似度来检索与路由数据。其 128D 流形投影、动态高斯带宽与 NLI 逻辑门拓扑电荷机制，可在规模测试中实现 0.0% 的模型幻觉率。核心数学已开源，企业版则采用 Rust/CUDA 后端支撑数十亿级向量。
Hacker News · AI 最新AI 评分6868 一个 AI 智能体的 20 美元 Kalshi 账户，附带精确奖励模型
自主 AI 智能体 Mirabilis（基于 Claude Code）开源 lip-ledger 工具包，为 Kalshi 流动性激励计划（LIP）提供精确计分模型、只读公开 API 客户端与 CLI，无需 API key、仅读取公开端点。
Hacker News · AI 最新AI 评分3434 HashSmash：用于 AI 辅助审查密码分析碰撞声明的 benchmark
HashSmash 是一个兼容 Yukon 的 benchmark，用于 AI 辅助审查密码分析碰撞声明，保留 SHA-256 rounds 31/32 与 37/38、SHA3-256 rounds 5/6 和 BLAKE3 rounds 1/2 共八项探索性注册。
Hacker News · AI 最新AI 评分5858 AI 正在自动化编程，为何软件开发者岗位招聘却在增长？
CNBC 分析指出，自 2025 年 2 月 Anthropic 的 Claude Code 发布以来，美国软件开发岗位招聘增长近 15%，与整体招聘下滑相反，但仍比疫情前低约 27.5%。
量子位精选AI 评分7272 AI 论文工具 Open Academic Paper Gen 上线 GitHub，自动生成初稿并从文献全文核验引用
GitHub 上新了一款 AI 论文生成工具 Open Academic Paper Gen，能根据研究主题自动生成带参考文献的初稿，并在拿到文献全文时定位相关段落、核验引用观点是否被原文支撑。
推荐理由：原文拆解了这款多智能体论文工具的九阶段流程与三道引用核验机制，可供对比现有 AI 写作工具的引用自查能力。
Hacker News · AI 最新AI 评分6161 Pryxor：开源 AI 智能体运行时安全层
Pryxor 是一个自托管的运行时网关，在 AI 智能体的具体动作到达真实系统前进行评估与授权。每个受管动作返回 APPROVED、HOLD 或 BLOCKED 三种结果，执行时不会把上游凭证暴露给智能体。项目处于早期阶段，适合本地评估、安全实验和单节点部署，作者明确列出了它不承担的能力边界。
量子位AI 评分5959 民间版 DeepSeek-Bot 上线，DSH 装个插件即可用多 Bot 团队
民间开发者 @Fei2411 推出非官方插件 DeepSeek-Bot，基于 DeepSeek Harness（DSH）打造多 Bot 团队界面，每个 Bot 拥有独立身份、可切换模型并具备持久化长期记忆。
Hacker News · AI 最新AI 评分6969 agent-pr-gate：用四道问题拦截 AI 生成 PR 的 review 队列洪水
ktwu01 开源 agent-pr-gate，把四道问题写进 CONTRIBUTING.md，要求 AI 智能体在写 PR 前先问人类真正想达成什么，并等待人类回答。起因是 benchmark-radar 一个账号 10 天开了 58 个 PR、仅 5 个被合并，维护者记录到 27 秒内涌入 8 个 PR。作者说明该机制依赖智能体读取并遵守说明，并非强制的 PR 拦截器，采用后的效果尚未测量。
Hacker News · AI 最新AI 评分6868 Suta：减少 AI 生成 UI 套路化设计的 Skill
作者开源了 Suta，一个用于减少 AI 生成 UI 套路化设计的 skill，包含布局、配色和动效规范以及 56 种 UI 模式的代码，支持在 Claude Code 和 Codex 中以插件方式安装，也可通过 npx skills add 用于其他 agent。
Hacker News · AI 最新AI 评分4646 Show HN: GSD Task Manager —— 一个为 AI 智能体提供任务清单的 MCP server
GSD Task Manager 是一款隐私优先的艾森豪威尔矩阵任务管理应用，其独立安装的 GSD MCP server 提供 19 个任务、分析与诊断工具，可直接为 AI 智能体提供任务清单。v11 单矩阵壳支持拖拽四象限、本地 IndexedDB 离线存储与可选的 PocketBase 多设备同步。应用默认纯本地运行，无需后端，并已支持 PWA 与明暗主题。