Trigora 发布：用 TCC 检查点实现无需历史重放的持久化执行
Trigora 发布了一个面向长时运行 AI Agent 和程序的持久化执行平台，支持 TypeScript、Python 和 Rust，可在事件、定时器、外部调用和子程序之间挂起执行，并在失败后从已提交的延续状态恢复，而不重放已完成的执行历史。
#开源/仓库
#开源/仓库
今日 107 条Hacker News Show HNAI 评分5858 Hacker News Show HNAI 评分3636 Configstream 0.2.1：用 MongoDB Change Streams 给 Spring Boot 做免重启实时配置
Configstream 0.2.1 发布，为 Spring Boot 提供基于 MongoDB Change Streams 的推送式功能开关与配置，值变更后约 1 秒内同步到所有实例，无需重启、轮询或消息中间件。
Hacker News Show HNAI 评分3434 Paste-preview：在 Claude Code 里预览并标注粘贴的图片
Paste-preview 是一个 Claude Code 插件，让终端里粘贴的图片以缩略图显示在提示框上方，并在粘贴瞬间弹出编辑器，支持画笔、椭圆、方框、箭头、文字、裁剪、旋转、七种颜色和撤销。
Hacker News Ask HNAI 评分2222 Hacker News 讨论：开源是否正在走向终结
Hacker News 上有人发问：这是否是开源的终结之始。讨论认为，任何小有成绩的开源项目都会被一夜之间大量克隆，并与自己的副本竞争；但维护大型 FOSS 项目并不轻松，靠 AI 低门槛生成的克隆难以持续跟进更新，最终会消亡。也有人指出闭源已不再是保护，并以 Jev 未发布权重却仍出现大量同类模型为例。
Hacker News Show HNAI 评分2222 Show HN：用 800M AI harness 挑战 7B 模型 [视频]
开发者在 Hacker News 发布 Show HN 项目，用 800M 参数的 AI harness 挑战 7B 模型，并附有视频演示。该帖获得 2 分、1 条评论。
Hacker News Show HNAI 评分6565 Codync：把本机编码 Agent 变成可远程委派机器人的开源工具
Codync 是一个 MIT 许可的开源项目，把本机已安装的 Claude Code、Codex、Cursor、Gemini、Copilot 等约 40 多种编码 Agent 变成可命名的持久机器人，从 iPhone、Mac、Windows、Linux 或终端像发消息一样委派任务，完成后推送通知。
Hacker News Show HNAI 评分6262 Planlock：批准一次 AI agent 计划，用代码强制每次工具调用
Planlock 是一个开源工具，让 AI agent 先写计划、由人类一次性批准，之后它只允许执行计划内的工具调用，越界调用会被拒绝。它位于 agent 与 MCP 工具之间，按步骤限制允许的工具、参数范围（如退款金额上限 30 欧元、指定订单号）、调用次数，并可校验上游脚本版本哈希，版本不符则暂停计划。作者称三轮自动化 LLM 红队测试发现四个弱点并已修复，最终一轮未发现绕过。
Hacker News Show HNAI 评分5656 portia：面向真实数据工作的长期记忆 Agent 开源项目
作者发布开源项目 portia，一个面向数据工作的 copilot，可连接 Snowflake、BigQuery、PostgreSQL 或本地 CSV 与 Parquet 文件，对每张表做 profiling、回答问题、画图并按决策逐步建表。
Hacker News Show HNAI 评分2222 Nix Robot：8 舵机 3D 打印双足机器人开源建造指南
Nix Robot 是一个 8 舵机、10 自由度的可编程双足机器人项目，配套《Build the Bipedal Walking Robot》一书（2025 年出版）提供 CAD、电路图、BOM 与源码，用于教学和步态实验。
Hacker News Show HNAI 评分6262 Mecum：让 Agent 操作任意桌面软件的开源 Mac 应用
Forte Audio 开源了 Mac 应用 Mecum，让 Agent 在桌面软件中执行任务，即使这些软件既没有 API 也没有 AX tree，用户可继续使用自己的 Mac。
Reddit r/SideProjectAI 评分1717 独立开发者发布 Ikigai OS：一个 local-first 个人操作系统，含 Sanctuary 常驻世界
独立开发者发布 Ikigai OS，一个 local-first 个人操作系统，围绕规划、专注、反思、记忆、职业方向与日常生活划分空间，当前版本包含 Today、Journey、Focus、Now Playing、Roadmap、Reflection、Memories、Career、Companion/Familiar 和 Sanctuary。
V2EX 最新主题AI 评分2222 独立开发者发布 Windows 工具 SmsPop：蓝牙接收手机短信并自动填入验证码
独立开发者发布 Windows 小工具 SmsPop，通过蓝牙接收手机通知和短信，自动识别短信验证码并在输入框附近显示候选条，点击即可填入。工具基于 Rust 开发，体积仅 3.46 MB，Android 需配合 SmsForwarder 等工具走 HTTP 接入，iPhone 只需蓝牙连接并开启“共享系统通知”。目前处于早期开发阶段，可从 Releases 下载。
V2EX 最新主题AI 评分4040 独立开发者开源 React Auto Components：给 AI 写页面用的 React 组件库
开发者开源了 React Auto Components，一个给 AI 写页面用的 React 组件库，把表单、表格和增删改查等常用功能封装好，AI 配字段、配列、接业务接口即可搭页面。项目还提供 AI 可读的文档、组件行为约定和错误码，方便 AI 查用法、定位问题，目标是减少重复生成 JSX、省 token。目前仍在完善中，作者邀请开发者拿去让 AI 试用并反馈。
V2EX 最新主题AI 评分3232 启视 BootScope：单文件 PowerShell 的 Windows 启动项管理工具，能看任务管理器看不到的启动项
独立开发者发布 Windows 自启动项管理工具启视 BootScope，单文件 PowerShell、零依赖，覆盖任务管理器和 msconfig 不显示的 HKU\S-1-5-18 与 HKU.DEFAULT 两处注册表位置。
Reddit r/SideProjectAI 评分2020 巴西高中生为申请海外大学做了开源备考工具 VestTrack：500 道 ENEM/FUVEST/UNICAMP 真题、离线优先
巴西高三学生为申请海外大学开发了开源备考工具 VestTrack，收录 ENEM/FUVEST/UNICAMP 2018-2026 的 500 道题及解析，覆盖 10 个科目、150 个主题，完全免费无广告。
Hacker News Show HNAI 评分5757 InBrief：开源 AI 新闻聚合器，用 LLM 过滤 94 个信源生成双语日报
作者发布开源项目 InBrief，一个可自托管的 AI 新闻聚合器，从 94 个信源（AI 实验室博客、Hacker News、Reddit、X 上 35 位 AI 开发者。
Hacker News Show HNAI 评分1515 Show HN：一个把科技新闻烤成 COOKING 或 COOKED 的 AI 项目
开发者开源了一个周末趣味项目，抓取互联网上 Top 10 科技新闻，用 AI 把它们吐槽并分类为 COOKING 或 COOKED，而不是给干巴巴的摘要。架构成本为 $0：GitHub Actions 每天跑一次 Python 脚本，抽取后生成 news.json，再由 GitHub Action 更新前端页面。作者称目前吐槽时好时坏、偶尔会抓到几个月前的旧闻，希望社区帮忙让它更好笑。
Hacker News Show HNAI 评分4040 Show HN: Audistill —— 把播客、YouTube 和会议音频变成本地知识库的 macOS 工具
Audistill 是一款 macOS 本地优先的 AI 音频知识库，可把播客、YouTube 视频、会议等音频在设备端用 NVIDIA Parakeet 转写，再经用户自己的 OpenRouter key 生成结构化摘要，并存入本地 SQLite 供搜索和对话。
Hacker News Show HNAI 评分6262 Show HN：一个把 Claude Code agent 当作看板成员的任务追踪器
作者发布 TaskManager，一个面向个人及其邀请的人和 AI agent 的私有工单追踪器，agent 是看板的一等成员，拥有角色、token 和 REST/MCP 接口，可认领工单、执行并回报。
Hacker News Show HNAI 评分4242 HashCortX 3.0.0 发布：本地 AI 编程 harness，支持 11 家云厂商与 Ollama
HashCortX 发布 3.0.0 版本，一个完全本地运行的 AI 编程 harness，无遥测、无崩溃上报、无更新检查，MIT 开源，用原生 JavaScript 和 Rust 编写。
V2EX 最新主题AI 评分2626 独立开发者把手撕老黄历做成 Windows 软件，支持 0~9999 年查询与撕纸翻页
一位独立开发者将手撕老黄历做成 Windows 桌面软件，数据与线下纸质版本一致，支持 0~9999 年公历、农历选日期查询。软件还原翻页、撕纸、卷轴手感，涵盖宜忌、时辰吉凶、冲煞、九星飞星等传统版式内容，并支持高清图片与矢量 PDF 导出，方便保存打印。目前已提供下载地址与开源仓库。
Hacker News Ask HNAI 评分1212 Hacker News 上有人分享 Claude Mythos 5.1 System Prompt 仓库
Hacker News 的 Ask HN 出现一则讨论，发帖人称在网上浏览时发现了一个 Claude Mythos 5.1 System Prompt 相关的 repo，并询问大家对这个仓库的看法。该帖获得 3 分，暂无评论。
Hacker News Show HNAI 评分2222 Show HN：一个微型 GPT 的每个数字，从一次前向传播到一步 RLHF
一位开发者在学习推理语言模型课程时，用 Opus 5.5 做了一个交互式演示，逐步展示一个玩具版 GPT-2 类模型的每个数字。所有矩阵都能放进屏幕，每个数值都在浏览器中实时计算，悬停任意单元格即可看到该步的精确数学过程。内容覆盖推理（从分词到采样的单个 token 生成）、预训练的一个训练步，以及后训练中 RLHF 的一次 PPO 迭代。
Hacker News Show HNAI 评分6060 Cockpit 发布：Claude Code 会话的实时仪表盘
Cockpit 是一个 Claude Code 插件，在会话旁显示上下文占用、5 小时与 7 天限额、花费、子代理、工具调用、改动文件和测试运行情况，并可在 rm -rf、git push --force、改 .env 等操作前弹出确认。
Hacker News Show HNAI 评分5252 VeriQuote：用双重校验流水线检测 LLM 引用幻觉的开源库与 CLI
VeriQuote 是一个 MIT 许可的 TypeScript 开源库和 CLI，无依赖，通过给每条引用附加原文逐字引文并做两次校验来检测 LLM 幻觉。确定性匹配器在源文本中查找引文，LLM 裁判则对照引文判断其是否支持该论断，两者都通过引用才算合格。
Hacker News Show HNAI 评分5252 CloudGrip：开源 AI 代理，为 LLM API 预算设上限
CloudGrip 是一个用 Node.js、Express 和 SQLite 构建的自托管 AI 代理网关与仪表盘，用于管理 LLM API 预算并控制执行循环。
Hacker News Show HNAI 评分5050 Nimblegate 发布：拦截 Claude Code 和 Codex 推送泄露的 API key
Nimblegate 是一个部署在 AI agent 与真实 git 主机之间的推送网关，用于拦截不安全的 git push。
Hacker News Show HNAI 评分5858 Schema：为 Postgres、MySQL 和 SQLite 提供可视化 Git diff 的开源工具
开发者 dobrinov 在 Hacker News 发布开源工具 Schema，用交互式 ER 图和可视化 git diff 对比 Postgres、MySQL、SQLite 及 Rails schema.rb 的 schema 变化。
Hacker News Show HNAI 评分6262 PanelAlpha Engine 发布：把 VPS 变成可编程托管层，供 AI agent 管理
PanelAlpha 发布开源工具 PanelAlpha Engine，把一台 VPS 变成可编程托管层，可运行自有工具、AI 生成项目或开源软件，并支持通过 MCP server 接入 AI agent 管理部署与日常运维。
Hacker News Show HNAI 评分3434 RESPdeck：Redis 的自托管 Web UI（React、Fastify、MIT）
RESPdeck 发布首个公开候选版 v0.1.0-rc.1，这是一个自托管的 Redis Web UI，基于 TypeScript、React 与 Fastify，采用 MIT 协议，支持独立 Redis 实例。
Reddit r/SaaSAI 评分5858 开发者开源 TypeScript 动画引擎 tinyfly，对标 GSAP 并内置编辑器
开发者 thinkrajesh 用 9 个月做了一款名为 tinyfly 的 TypeScript 动画引擎，动画以时间线、轨道、关键帧和缓动等可序列化为 JSON 的数据表示，引擎确定性、无依赖、不操作 DOM，可在浏览器、Web Worker 和 Node 中运行，采用 MIT 许可，目前处于 beta。
V2EX 最新主题AI 评分4343 用 Cloudflare Workers + R2 做的开源轻量 WebDAV，支持个人自部署
有开发者开源了一个基于 Cloudflare Workers + R2 的轻量 WebDAV，用私有 R2 bucket 存文件，支持 Basic Auth 和 GET、PUT、PROPFIND、MKCOL、DELETE、COPY、MOVE 等常用操作，以及空目录和文件字节范围读取。
V2EX 最新主题AI 评分2828 用 gpui-kit 做了个 RSS 阅读器 / Miniflux 客户端
一位开发者用 gpui-kit 做了个 RSS 阅读器兼 Miniflux 客户端，架构基本照搬 gpui-kit 的 showcase。功能包括英文 feed 标题自动翻译（火山或 Azure）、英文内容沉浸式翻译排版，以及为无全文的 RSS 自动拉取正文，并衍生出针对各源站的插件，类似本地版 RSSHub。
V2EX 最新主题AI 评分4242 一款 Android 看图 App 支持 HDR 显示 RAW 照片与 JXR 游戏截图，兼容 SMB 和 WebDAV
有开发者在 Android 上实现用 HDR 显示 FP16 位图，配合色彩管理可支持广色域、高色深和 HDR 图片格式。
LobstersAI 评分2222 Koreader 阅读统计与高亮同步插件，用于间隔重复复习
开发者 ZeitgeistMesh 发布 Koreader 插件 plug-koreader，可同步阅读统计、高亮、批注和书签，并支持给高亮打星标后按间隔重复复习、按天查看批注时间线。配对后即同步全部阅读活动，作者称已积累近十年的阅读统计数据。代码已在 GitHub 开源，间隔重复 Android 应用尚在开发中。
Hacker News Show HNAI 评分6262 Bitsql 发布：兼容 MSSQL 的内存数据库，用于应用 CI
作者发布开源项目 bitsql，一个仅用内存、兼容 SQL Server 的 TDS 模拟器，可替换 CI 中的 SQL Server 容器并沿用原有连接设置。
Hacker News Show HNAI 评分2222 Show HN：Mithril, Bitstillery Edition——带 Signals 与状态代理的 AI 改造版
jvanveen 在 Hacker News 发布 Mithril, Bitstillery Edition，这是 Mithril 经 AI 大幅改造的版本，新增 Signals、State proxy，并采用完整的 TypeScript 与 Bun 工具链及多项性能优化。
Hacker News Show HNAI 评分2222 Show HN：我从零手搓了一门自己的编程语言
一位开发者在 Hacker News 的 Show HN 上展示了自己从零手写的一门编程语言，项目以 C# 实现，仓库中可见 Compiler、Interpreter、Builtins 等模块，以及 CSBasicTypes.cs、Exp.csproj 等文件。
Hacker News Show HNAI 评分4242 PgNimbus 1.0 发布：开源 PostgreSQL 客户端，无遥测、约 0.2 秒启动
PgNimbus 1.0 发布，这是一款开源 PostgreSQL 客户端，不发送任何遥测、无需账号也不依赖云。它用 NativeAOT 编译，约 0.2 秒打开窗口，查询运行时结果即可流式显示，Esc 可中断查询。1.0 前作者按攻击者和 DBA 视角通读代码，发现 18 个问题并全部修复，包括查询重复执行、被杀语句重连后重发、SSH 主机密钥未校验。
Hacker News Show HNAI 评分4848 Show HN：Daisy —— Mac 本地优先会议录音工具，内置 MCP server
Daisy 是一款 Mac 本地优先会议录音应用，录音与转写均在设备端完成，并内置绑定 127.0.0.1 的本地 MCP server，让 Claude Desktop、Cursor、Codex 等客户端搜索和读取你的会议记录。