新品发布

BetaList 的待发布新站与 Hacker News 的 Show HN：每天冒出来的新产品。

今日 75 条 · 更新于 17:43

新品发布 · 今日最新

共 2000+ 条

Hacker News Show HN10月15日 01:16
AxiomCode Graph 发布：用形式化方法为编码 Agent 构建代码知识图谱
AxiomCode 发布 AxiomCode Graph，为 AI 编码 Agent 构建代码知识图谱，用形式化方法解析函数调用关系，替代 grep 式搜索。在 748 个 Defects4J 缺陷上，它选出的测试覆盖 94.9% 缺陷的全部暴露测试，最佳 tree-sitter 方案为 61.5%，F1 为 72.4。
Hacker News Show HN10月15日 01:16
作者用三张 3090 训练 0.8B 离线地图问答模型 Finch，正确率追平 Gemini 3.8 Flash
作者发布 topoloop Finch，一个 0.8B 开源权重模型，在自建的 Ask Maps Basic 一百道旅行问题上正确率追平 Gemini 3.8 Flash，grounding 得分 79 领先 Gemini 的 12，完全离线运行在手机端。
Hacker News Show HN10月15日 01:16
Show HN: Aside — 在通话中提示你下一句该说什么的 Mac 应用
Aside 是一款 Mac 应用，在摄像头下方以悬浮胶囊形式实时提示通话中下一句该说什么，并支持 ⌃⌥N 从任意应用记录笔记。
Hacker News Show HN10月15日 01:16
Show HN：我写了一个每个收件箱只接受一个发件人的邮箱应用 Clova.Email
独立开发者在 Hacker News 发布 Clova.Email，每个收件箱只接受第一个发信人，地址被转卖或泄露后其余邮件一律拒收。提供一次性邮箱和自定义前缀两种类型，免费版 $0 含无限收件箱，Pro $30/年（$2.50/月，按年计费），Business $50/年（$4.17/月）支持自有域名。支持通过 MCP 接入 Claude、Cursor 等助手自动创建收件箱并读取验证码。
Hacker News Show HN10月15日 01:16
Instancez：单容器加一个 YAML 文件的 Supabase 兼容后端
Instancez 是一个 Supabase 兼容的开源后端，以单个自包含二进制运行，schema 全部定义在一个 instancez.yaml 文件里，改动该文件会自动与线上数据库做 diff 并只应用增量迁移。
Hacker News Show HN10月15日 01:16
BookPress 发布：用 C/C++ 重写 WordPress 核心，渲染速度约为 WordPress 的 1.6 至 1.7 倍
BookPress 发布早期访问版本，用一套编译引擎替代 PHP-FPM 和 MySQL 来运行 WordPress 站点，主题、插件、后台和 URL 保持不变。
Hacker News Show HN10月15日 00:28
Gridhour：在终端查看英国电价与碳强度，挑最省钱时段跑任务
Gridhour 是一款终端工具，用一条时间轴展示你邮编所在区域未来 48 小时的碳强度（gCO₂/kWh）和 Octopus Agile 电价，并给出洗衣、充电或批处理任务的最佳启动时段。它支持截止时间与分段运行，按碳、价格或两者排序，通过 pipx 安装，需 Python 3.11+，仅支持 GB 电网，BT 邮编无预测。
Hacker News Show HN10月15日 00:28
Show HN：首部用代码和 AI 制作的短片，由 fframes 渲染
一部 98 秒、60 fps 的短片完全由 Rust 程序生成，3D 场景、标题和声音均由 fframes 渲染，画面耗时 94 秒完成。片中曼哈顿场景基于纽约市开放城市模型数据重建，人物动作取自真实动作捕捉数据集。
Hacker News Show HN10月15日 00:28
Show HN: Quick Chat —— 在 macOS 上找回 ChatGPT Classic 的 ⌥Space 聊天栏
Quick Chat 是一款 macOS 菜单栏小工具，用 ⌥Space 全局快捷键呼出内嵌 chatgpt.com 的浮动面板，得到普通 ChatGPT 对话，不消耗 Work/Codex 的 agent 额度。
Hacker News Show HN10月15日 00:28
Show HN：用 Polymarket 赔率追踪前沿 AI 模型发布日历
一个面向开发者和创业者的前沿 AI 模型发布情报站上线，用 Polymarket 的实时预测市场赔率来预判下一个前沿模型的发布时间，并汇总推动赔率变化的新闻。它提供邮件发布提醒和 RSS feed，已发布的模型会在「Frontier ships」中高亮标出。
Hacker News Show HN10月15日 00:28
CueLight：开源 <2MB、0.5M 参数的常听式轮次检测器
CueLight 是一个开源常听式轮次检测器，其 CueLight-Nano 模型仅 0.5M 参数、体积不到 3MB，可完全在浏览器内运行，音频不离开设备。代码、权重与基准测试已发布在 github.com/sshah03/CueLight，页面演示了说话中与轮次结束的概率，并给出「I'd like to book a table for, um…」后停顿的困难案例。
Hacker News Show HN10月15日 00:28
Show HN：用 yapping 整理你的房屋翻新计划
开发者在 Hacker News 的 Show HN 板块发布了一款名为 yapping 的工具，用于整理房屋翻新计划。该帖目前获得 1 分、0 条评论，原文未披露定价、功能细节或可用性信息。
Hacker News Show HN10月15日 00:28
Show HN：把 newsletter 和博客变成播客 RSS 源，用 Edge TTS 免费生成音频
一个 Python 命令行项目可把 Substack、RSS/Atom 源和文章列表页转成播客 RSS，用 Edge TTS 生成 MP3，无需 API key 或付费 TTS 订阅。可选口播摘要走 Gemini 免费额度，受模型与配额限制；可设单集最长时长，长文自动拆成多集。项目本地运行或跑在自己的 GitHub 仓库，默认每天四次，不绕过付费墙。
Hacker News Show HN10月15日 00:28
VS Code Bridge for Claude Code 发布：让 Claude 读取编辑器内容并调用 VS Code 工具
作者发布 VS Code Bridge for Claude Code，由 VS Code 扩展和 Claude Code 插件两部分组成，让 Claude Code 能看到你在 VS Code 中打开的内容。
Hacker News Show HN10月15日 00:28
INVAR 新案例研究：同一 Claude 模型下，接入 INVAR 后 5 个植入问题全找出
INVAR 发布案例研究：虚构 B2B 软件公司 Fernwell 的数据分别交给纯 Claude 和 INVAR，两者均运行 Claude Opus 5.5。纯 Claude 只找出 5 个植入问题中的 2 个，INVAR 找出全部 5 个，另有 2 个低置信度真实问题，0 误报、0 红鲱鱼。INVAR 提供 30 天免费试点，15 分钟内只读接入，结束后 5 天内删除数据。
Hacker News Show HN10月15日 00:28
Hugging Face 上开源 SPEV：30B 全模态决策模型，专为轮次检测训练
Hugging Face 上出现开源权重模型 SPEV，一个 30B 参数全模态决策模型，可对文本、音频、图像和视频中的问题打分，一次前向传播返回每个选项的概率与最高概率答案。其骨干为 Qwen3-Omni-30B-A3B Thinker 加 LoRA 适配器，采用 Apache-2.0 许可，Sprag 托管 API 免费至 2026 年 10 月。
Hacker News Show HN10月15日 00:28
Eulix 开源：本地代码索引与调用图，LLM 可选
Eulix 是一个本地优先的代码索引与调用图工具，把代码理解当作索引和检索问题，LLM 只在需要推理时可选接入。它在 Linux 内核上解析 37.3M 行、64,460 个源文件耗时 57.2 秒，生成 773K 节点、1.51M 条边的调用图，解析、索引、检索与嵌入全部在本地运行。
Hacker News Show HN10月15日 00:28
Sonia：无需独显、15GB 内存内运行的本地语音助手开源项目
开发者 grigio 在 Hacker News 发布开源项目 Sonia，一个完全本地运行的 LLM + STT + TTS 语音助手，不需要独立 GPU，总内存占用低于 15 GB。
Hacker News Show HN10月14日 23:24
Show HN：我做了款和朋友一起把健身游戏化的手机 App Pact Pals
独立开发者发布合作健身游戏 Pact Pals，Android 版已可直接下载 APK，iOS 版和智能手表端仍在开发中。用户与好友约定共同目标，同步 Apple Health 和 Health Connect 的步数，每天达标就逐步孵化一颗蛋，孵化概率为普通 45%、罕见 32%、稀有 18%、传说 5%，孵化出的宠物永久保留。目前开放创始会员候补名单，可优先获得 beta 邀请。
Hacker News Show HN10月14日 23:24
Show HN：一款纯浏览器端 harness，让 SaaS 用户用自然语言操作
开发者在 Hacker News 的 Show HN 发布了一款纯浏览器端运行的 harness，让 SaaS 用户可以用自然语言直接操作产品。该工具完全在浏览器内执行，无需后端配合。目前帖子获得 2 分、0 条评论。
Hacker News Show HN10月14日 23:24
Show HN：一个 Email 转 iMessage 网关
一位独立开发者做出一款 Email 转 iMessage 网关，把邮件发到你的号码@i.text.email 即可送达 iMessage，非美国、加拿大号码需带国家代码。起因是美国三大运营商 Verizon、T-Mobile 和 AT&T 已停用 email-to-SMS 服务，而 SMS 监管严格、10DLC 流程繁琐，他还想支持国际号码。
Hacker News Show HN10月14日 23:24
Show HN：Diaktoros —— 为 Hermes 提供有边界的自主软件维护
Diaktoros 是 Hermes 的插件，用两个 agent 分别审查 PR 和修复问题，新 issue 会被分类、小问题自动修复，CI 变红先交给修复者，卡住由 watchdog 上报，争议交给裁决者，轮次有上限且永不自动合并。
Hacker News Show HN10月14日 23:24
Show HN：Maximus 让 macOS 全屏按钮变成 Windows 式最大化
Maximus 把 macOS 的全屏按钮改成 Windows 式最大化：单击窗口铺满屏幕且不新建 Space，菜单栏、Dock 和其他窗口保持原位，再次点击还原。
Hacker News Show HN10月14日 23:24
Show HN: Herdr for Android —— 编码 agent 运行其上的运行时
Droidtty 发布 Android 版 0.4.1（APK 7.9 MB），让编码 agent 在 Herdr 上持续运行，手机端只推送需要你介入的审批与提问，终端由 Ghostty 引擎驱动。
Hacker News Show HN10月14日 23:24
capslkagent：把键盘 Caps Lock 灯变成 Claude Code 等编码代理的状态灯
capslkagent 把键盘 Caps Lock 灯变成 Claude Code、Codex、pi、omp、Amp、opencode 的状态灯：常亮表示代理工作中，闪烁表示需要你确认，熄灭表示空闲。
Hacker News Show HN10月14日 23:24
Graphicle 发布：为编码 Agent 提供代码图谱与记忆的 Rust 开源程序
KarLex AI 在 Hacker News 发布 Graphicle，一个用 Rust 编写的开源程序，把代码图谱与项目记忆合并到一个 MCP server 中，供 Claude Code、Cursor、Codex、VS Code 等编码 Agent 使用。
Hacker News Show HN10月14日 23:24
Hawadaar：在 macOS 菜单栏控制 Panasonic MirAIe 空调
开发者 Abdul Ghani 发布 macOS 菜单栏应用 Hawadaar，可直接控制 Panasonic MirAIe 空调，支持 16–30 °C 调温、模式、风速、气流、Eco 与 Powerful 等全部遥控功能，并显示室温与 Wi-Fi 信号强度。
Hacker News Show HN10月14日 23:24
MigrateFlows 开源 Pipedream、Flowise 与 OpenAI Agent Builder 到 n8n 的转换器
MigrateFlows 发布开源转换器，把即将关停或停止维护的 Pipedream、Flowise 和 OpenAI Agent Builder 工作流转成可导入的 n8n 工作流，全部在浏览器本地运行，导出文件不上传。
Hacker News Show HN10月14日 22:37
Show HN：MD2Doc 一键把 Markdown 转成文档
独立开发者发布周末项目 MD2Doc，一键把 Markdown 转成方便分享给非技术朋友的文档，目前每月稳定约 9k 用户。作者纠结于它过于简单，不确定是否值得继续投入做大。
Hacker News Show HN10月14日 22:37
Show HN: Approximatr——每日空间直觉游戏
Approximatr 是一款每日空间直觉游戏，每天提供 5 道几何谜题，玩家拖动一个手柄来估算角度、长度、面积或中点，没有尺子和网格辅助，完成后可查看误差并分享奖牌。游戏免费、无广告，支持游客免账号游玩，也可选用 Google 或邮箱登录以保存连胜、奖牌和近期答案，让进度跨设备同步。
Hacker News Show HN10月14日 22:37
Veduta：开源个人 AI Agent，把对话变成持久界面
Veduta 是一款 MIT 开源、可自托管的个人 AI Agent，把对话转成可反复打开的持久界面（Surfaces），一个 Agent 跨多个 Space 管理不同生活领域。
Hacker News Show HN10月14日 22:37
Show HN：全球政府公开招标聚合平台，收录超 25 万条招标信息
一款在 Hacker News 上发布的工具聚合了全球所有政府公开招标信息，收录量超过 25 万条，支持一站式搜索。每条信息均提供英文版本，链接直接跳转至官方政府门户网站进行投标。平台还提供本周新增、7 天内截止、市场趋势及按国家、行业分类的浏览功能。
Hacker News Show HN10月14日 22:37
Show HN：60KB WASM Git 客户端，无需文件系统与 libgit2
作者发布 zig-wasm-git，一个用纯 Zig 编写、编译为约 60KB WASM 的 Git 协议引擎，不依赖文件系统、libgit2 或 git 命令，可直接与任意 Git HTTP 服务通信。
Hacker News Show HN10月14日 22:37
Show HN: Tweet Analyzer — 按 X 排名信号给推文草稿打分的免费工具
Tweet Analyzer 是一款免费推文草稿检查工具，粘贴草稿即返回 0 到 100 分并标注每处薄弱点，还按所选账号设置给出 Higher、Typical 或 Lower 的粗略触达区间。
Hacker News Show HN10月14日 22:37
Show HN：面向制造与 MCP 的开源 DFM 检查工具
一位开发者在 Hacker News 的 Show HN 发布了一款开源 DFM 检查工具，面向制造业场景，并支持 MCP。该帖目前获得 2 分、1 条评论。
Hacker News Show HN10月14日 22:37
Merlin 发布：在 Slack、Linear 和 GitHub 里运行 Claude Code 与 Codex
Merlin 发布，让团队在 Slack、Linear 和 GitHub 中直接调用 Claude Code 和 Codex，Agent 运行在团队自己的电脑上，使用已有的 Claude 和 Codex 订阅，不需要 API key，也没有单独的模型账单。
Hacker News Show HN10月14日 22:37
BScaff：一个用于项目脚手架与代码片段复用的 CLI 工具
Hacker News 上发布了一款名为 BScaff 的跨平台 CLI 工具，可保存项目结构、文件、目录、代码片段、Git 仓库、URL 和模板，并随时提取复用。
Hacker News Show HN10月14日 22:37
MLX Direct Decider：无需微调，在 Mac 本地用现有 MLX 模型做决策
MLX Direct Decider 是一个开源 Python 库，让 Apple Silicon Mac 上已有的 MLX 模型无需微调即可做本地决策，支持动作选择、分类、语义路由和 enum/boolean 判断。
BetaList10月14日 22:22
TirionAI：为已有安防摄像头接入 AI 智能体
TirionAI 让用户接入已有的安防摄像头，由 AI 统一监控，过滤掉车辆、猫、快递和阴影等噪音，只在真正需要时发一条清晰通知，附带短视频片段和一句白话说明，例如“有人打开侧门走到后门”。用户可从通知中直接忽略、看直播，或在支持的地区一键呼叫持牌本地响应人员。无需购买新摄像头，也无需设置规则。
BetaList10月14日 22:22
Clean Compute：让每个付费订阅用户每月种一棵树并清理一磅海洋垃圾
Clean Compute 为在线平台提供认证，平台承诺每位付费用户每月种一棵树并清理一磅海洋垃圾，由 Clean Compute 负责合作方采购、验证、分配与报告。会员可获得公开认证徽章和含每月证据的私密仪表盘，无需自行管理环保项目即可向客户展示可验证的影响。

只做展示与归类，不复制来源内容；标题与摘要在收录时生成，点击进入站内条目页可以看到原链接。更多社区来源见社区热榜。