Metis Reasoning：借鉴AlphaGo策略解决AI幻觉问题
前DeepMind研究员Thore Graepel创立的Metis Reasoning提出，通过借鉴AlphaGo的策略，构建AI系统跟踪其知识并验证每个结论。Metis Reasoning采用显式知识账本，记录已知信息、置信度和未解问题，并通过独立检查更新知识状态，以减少AI幻觉。
#开源/仓库
#开源/仓库
今日 1 条The DecoderAI 评分4545 Show HNAI 评分55 OpenComply：从文档自动生成文件草稿
OpenComply 是一款基于文档自动生成文件草稿的工具，能够从用户提供的文档中提取信息，自动生成相应的文件草稿。
Show HNAI 评分4545 Marelleo：基于ESP32的开源故事盒项目
开发者利用ESP32开发板和面包板，为孩子们创建了一个开源故事盒，通过RFID标签播放音频故事。项目从面包板原型开始，逐步过渡到印制电路板，旨在为孩子们提供简单易用的故事播放体验。
Show HNAI 评分3535 City Drones 游戏体验：在浏览器中飞越真实城市
City Drones 是一款无需下载即可在浏览器中体验的真实飞行模拟游戏，提供25个真实城市的3D重现，支持观光、竞速、送货等多种飞行模式，支持多人在线竞技，游戏免费，但飞行需要消耗虚拟燃料宝石。
Show HNAI 评分3535 Gifup – 浏览器内运行的 GIF 工具
Gifup 是一款在浏览器内运行的 GIF 工具，用户可以将视频转换为 GIF，无需上传至服务器，支持多种视频格式，并可根据不同平台规则调整 GIF 大小和帧数。
Show HNAI 评分55 Pagelapse – 观察网页十年变化
Pagelapse 提供了查看任何网页十年间变化的工具，通过抓取互联网档案馆的网页快照，只保留有意义的变更，并允许用户拖动查看每个变更的前后对比。
Show HNAI 评分4545 Shobr - 通过浏览器自动化实现的人职搜索CLI
Shobr是一款基于浏览器自动化的求职搜索CLI工具，使用beachpatrol进行浏览器自动化，roffume进行简历文件管理。它采用人机交互的方式，通过LLM进行简历调整，但最终提交由用户完成。Shobr支持Markdown简历工具链，并使用事件日志记录所有数据，保证数据安全。
Show HNAI 评分4545 SlopIt – AI代跑博客平台发布
SlopIt 是一款由 AI 代跑的博客平台，支持 Claude、Codex、Meta's Muse、Hermes 等多种 AI 工具。用户可通过 AI 创建博客、发布文章，并获取链接。平台提供免费和付费版本，免费版无限制使用，付费版提供自定义域名和更多功能。
Show HNAI 评分4545 Cryo 编程语言：支持长期运行任务的独立工具链
Cryo 是一种编程语言，旨在支持长期运行任务，如工作流程或 AI 代理。程序在空闲时冻结到磁盘，当新数据到达时可以解冻。Cryo 作为 Endothermic Labs 的一个部分，目前处于积极开发中，预计在 3-4 周内开源。
Show HN精选AI 评分6565 Open Dataset of the Lebanese Law 发布
Open Dataset of the Lebanese Law 发布，提供公开数据库、API 和 MCP，包含黎巴嫩自 1904 年以来的所有法律，以及 10 万条非官方英文翻译。
推荐理由：原文提供了黎巴嫩法律数据的开放获取方式，对于需要这些数据的构建者、律师和学生来说，这是一个重要的资源。
Show HNAI 评分3535 Meta Vibe Coding Agent 0.1.1 发布
Meta Vibe Coding Agent 0.1.1版本发布，支持VS Code编辑器，通过智能代理快速编写代码，并保持代码与项目地图同步，用户需逐个批准代码变更。
Show HNAI 评分4040 MacID – 带来Face ID功能的Mac
MacID是一款为Mac电脑提供Face ID功能的软件，用户需在密码输入框按下回车键后，MacID会识别用户面部信息进行登录。该软件通过PAM（可插拔认证模块）集成到macOS系统中，由MacID桌面应用程序负责面部识别服务。
Show HNAI 评分3535 DocPerRow – 在浏览器中每行一个 Word 文档
DocPerRow 是一款在线工具，可以将电子表格的每一行转换为单独的 Word 文档，无需安装 Office 软件，支持 Excel、CSV 和 OpenDocument 文件格式，免费使用，最多可处理 20 个文档。
Show HNAI 评分3535 Formstep：无需来回往复，直接向客户请求信息
Formstep是一款客户信息收集工具，支持发送预填充、品牌化的表单，自动跟进、验证回复，并将结构化数据发送到工作流程和AI智能体。该工具可应用于客户 onboard、嘉宾登记、文件收集、合同审批、订单确认、细节更新、供应商 onboard 和离职流程。Formstep提供免费和付费版本，支持多种集成，包括n8n、Zapier、Claude、ChatGPT、MCP REST API等。
Show HNAI 评分4545 Crulon – 商务电话，AI 助手接听，人工处理通话
Crulon 是一款商务电话系统，AI 助手自动接听并处理客户来电，同时将通话内容总结后转交给人工团队。该系统支持实时查看通话记录，并允许人工团队随时接管通话。Crulon 支持多种电话功能，包括号码、分机、队列和座机，并可通过自定义动作连接到各种 API。
SolidotAI 评分3535 维基百科 WikiProject AI Cleanup 项目清理 AI 生成文本
2023年，维基百科志愿者发起WikiProject AI Cleanup项目，旨在清理AI生成文本。2025年，AI生成文本特征变得更隐蔽，AI文本也更具结构性，偏好三法则、否定式平行等。尽管检索增强生成技术减少了虚假或误导性文本引用，但AI仍会曲解内容，文不对题现象普遍。
TechCrunch · AIAI 评分4545 Meta AI 高管 Rohit Patel 离职创办 Ndoc，挑战 Microsoft Office 和 Google Workspace
Meta AI 高管 Rohit Patel 离职创办 Ndoc，一款旨在替代 Microsoft Office 和 Google Workspace 的 AI 工作平台。Ndoc 集成演示、分析、模型等模块，支持用户上传数据进行分析，并生成文档。该平台采用开源模型，成本低于同类产品。Ndoc 目前处于试点阶段，预计明年正式发布。
MIT Technology Review · AIAI 评分4545 工业智能：制造业下一个增长机遇
制造业中的工业智能，包括经验丰富的工人知识、操作实践、生产数据和业务理解，现在有机会在决策过程中更广泛地应用。通过连接机器和流程，制造商可以更清晰地了解工厂地板上发生的事情，并利用物理AI使业务智能融入物理过程。此外，工业智能还通过模拟和物理验证相结合的方式，帮助制造商在实施更改之前探索其影响，从而实现可持续增长。
Latent SpaceAI 评分4545 OpenCode 与 Qwen3.5 9B：离线AI编码代理体验
OpenCode 是一款开源编码代理，与 Qwen3.5 9B 模型配合使用，支持离线工作。在离线状态下，用户可以执行代码解释、测试和功能完成等任务。OpenCode 在基准测试中表现出色，与 Goose 和 OpenHands-SDK 相比，在 50 个 Terminal-Bench Pro 任务中取得了 50% 的通过率。
IT之家AI 评分4545 苹果 Apple 创作坊更新：Mac 版 Final Cut Pro 内置 MotionVFX，多款应用新增 AI 功能
苹果宣布为 Apple 创作坊带来重大更新，Mac 版 Final Cut Pro 内置 MotionVFX，集成视觉特效等功能；Pixelmator Pro、Keynote 讲演等应用推出多项 AI 功能 Beta；Apple 创作坊将于 11 月免费更新上线。
Show HNAI 评分3535 OpenGeocoding – 7分钟重建世界的开源地理编码器
OpenGeocoding 是一款开源地理编码器，能在7分钟内重建整个世界；该工具提供源代码，支持开发者进行地理信息处理。
Show HNAI 评分3535 Actera：AI智能体与页面交互的中间层
Actera是一个AI智能体与页面交互的中间层，允许用户通过AI智能体对页面进行操作，如添加贴纸、更改字体等。目前已有312个提示、804次调用，其中611次被允许，48次被批准，19次等待，126次被阻止。Actera基于上下文进行决策，每个决策都反映当前时刻的情况。
Show HNAI 评分55 GitHub Actions 工作流管理工具 GHWM 介绍
GitHub Actions 工作流管理工具 GHWM 允许用户像管理版本化软件包一样管理 GitHub Actions 工作流，提高工作流的管理效率。
Show HNAI 评分4545 llmrun – 开放式LLM在GPU上的运行情况及性能评估
llmrun工具可检测机器可运行的AI模型，并提供GPU兼容性、VRAM需求和预期性能信息。根据llmrun综合评分，DeepSeek V4.1、MiMo V2.6 Pro RL和Kimi K3等模型表现优异。用户可通过llmrun选择硬件、检查兼容性并运行模型。
Show HNAI 评分55 Self-hosted Google Business Profile manager with agent approvals
开源项目 Self-hosted Google Business Profile manager 支持代理审批，方便用户管理谷歌商业资料。
Show HNAI 评分4545 Trak-Yo-Dolla：无需银行登录的个人财务追踪器
Trak-Yo-Dolla 是一款无需银行登录的个人财务追踪器，支持 CSV 导入，免费使用。它可以在设备上跟踪支出、预算和净资产，并支持跨设备同步（需加密）。该应用提供四层自动分类、离线工作、全面净值查看、学习用户模式预算等功能，并支持多种银行和信用合作社的 CSV 文件导入。
Show HNAI 评分55 AGBoss：AI智能体依赖注入和静态验证工具
AGBoss是一款针对AI智能体的依赖注入和静态验证工具，旨在提升AI智能体的开发效率和安全性。
Show HNAI 评分4545 Zydra：终端内运行的图形化Linux桌面体验
Zydra是一个基于Smithay的Wayland合成器，在微虚拟机中实现AMD GPU，通过一系列终端协议解决许多问题。它支持图形窗口、剪贴板、图像、通知和鼠标滚动，并允许用户在终端内运行Doom游戏。Zydra通过记录桌面操作到时间线文件，实现桌面回放和快照功能。
Show HNAI 评分55 SkillTotal – Claude Code 安装前扫描包
SkillTotal 推出 Claude Code，在安装前扫描包以确保安全；Claude Code 是一款开源的 AI 模型，支持多种语言和框架。
Show HNAI 评分55 Adaptive Reminders – Apple Reminders 个性化提醒功能
Apple Reminders 推出个性化提醒功能，可根据用户行为调整提醒间隔，提升用户体验。
Show HNAI 评分3535 Hashling：一款开源的Mac安全代理，可与你自己的AI进行对话
Hashling是一款开源的Mac安全代理，用户可以通过自己的AI与之交互，增强Mac的安全性。该代理支持自定义规则和自动化操作，旨在为用户提供更灵活的安全管理体验。
Show HNAI 评分3535 CiteWing – AI backlink outreach agent
CiteWing 是一款AI辅助的链接拓展工具，可帮助用户通过AI搜索引擎如ChatGPT、Gemini、Google AI Overviews、Perplexity和Claude等找到引用自己网站的页面，并自动联系相关网站的出版商，以增加品牌曝光度。价格为19美元/7天，之后每月95美元。
Show HNAI 评分55 Samosa – 数学推导代码检查工具
Samosa 是一款用于数学推导代码的检查工具，旨在帮助开发者识别和修复数学推导中的错误。
Show HNAI 评分3535 AuditReady – 12 确定性 HTML 检查工具，诚实地告知其局限性
AuditReady 是一款针对网页的 HTML 检查工具，提供 12 项确定性检查，包括缺失的 alt 文本、未标记的表单字段等，但无法检测 JavaScript 生成的内容。该工具提供即时报告，但需人工进行进一步审查，价格为 $29/站。
Show HNAI 评分3535 Foldocs：将共享的Google Drive或Nextcloud文件夹转换为网站
Foldocs是一个开源的Python引擎，可以将Google Drive或Nextcloud中的文档文件夹转换为静态HTML页面，支持三种主题、深色模式和RSS订阅。用户可以通过创建预览来尝试Foldocs，预览保留7天，文件大小有限制，且需手动同步。
TechCrunch · AIAI 评分3535 CoreWeave 系列A轮融资 1亿美元，逆势扩张
CoreWeave，一家公开交易的云服务公司，尽管面临股价下跌和Elon Musk对云计算行业的悲观预测，但公司仍宣布完成1亿美元的系列A轮融资。CoreWeave专注于构建基于专用推理芯片的云服务，并与SambaNova、Positron和Cerebras等芯片供应商建立了合作关系。公司计划在2027年部署75兆瓦的计算能力。
Show HNAI 评分3535 Show HN：我构建了一个用于审计 Shopify 商店的 AI 智能体和 Google Shopping 工具
该工具可免费审计 Shopify 商店的产品目录，检查其是否符合 Google Shopping 和 AI 智能体的数据解析要求，并提供评分和修复建议。工具包括多个检查项目，如广告数据健康、AI 智能体可读性等，并提供免费工具进行快速检查。
Show HNAI 评分3535 Statespace – 通过构建小型已验证语言学习形式方法
Claude 为一位后端工程师构建了一门优化课程，旨在学习形式方法。课程内容包括构建一个通过 Z3 查找错误的已验证应用程序语言，使用 Lean 进行证明，在 TLA+ 中建模并发/分布式系统行为，并将其连接到 PostgreSQL。这是一个通过 GitHub Pages 托管的静态网站，主要用于获取专家的反馈和建议。
Show HNAI 评分55 Rising Hat - 作者与读者社区网站
Rising Hat 是一个连接作者和读者的社区网站，提供书籍搜索、评分、讨论、论坛等功能，目前包含 15000 本书，每周新增书籍。作者可在此声明作者身份、提交未上市书籍、进行营销、直接与读者互动。
Show HNAI 评分55 Reparticle GPU粒子效果与PixiJS集成展示
Reparticle 提供实时 GPU 粒子效果，支持 JSON 配置，可集成 PixiJS，用户可自定义效果并实时预览。