Planlock：批准一次 AI agent 计划，用代码强制每次工具调用
Planlock 是一个开源工具，让 AI agent 先写计划、由人类一次性批准，之后它只允许执行计划内的工具调用，越界调用会被拒绝。它位于 agent 与 MCP 工具之间，按步骤限制允许的工具、参数范围（如退款金额上限 30 欧元、指定订单号）、调用次数，并可校验上游脚本版本哈希，版本不符则暂停计划。作者称三轮自动化 LLM 红队测试发现四个弱点并已修复，最终一轮未发现绕过。
主题：GitHub
主题：GitHub
今日 92 条Hacker News Show HNAI 评分6262 Hacker News Show HNAI 评分5656 portia：面向真实数据工作的长期记忆 Agent 开源项目
作者发布开源项目 portia，一个面向数据工作的 copilot，可连接 Snowflake、BigQuery、PostgreSQL 或本地 CSV 与 Parquet 文件，对每张表做 profiling、回答问题、画图并按决策逐步建表。
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 评分5050 开发者上线 aizombie.app：两张照片生成约 20 秒竖版视频，单次 $9.90
开发者推出 aizombie.app，上传两张不同照片并选择模板后，可生成约 20 秒、15 个镜头、9:16 带声音的竖版视频，用于 TikTok、Reels 和 Shorts。
Reddit r/SaaSAI 评分1212 开发进度到 2/3，独立开发者考虑从 ChatGPT 转向 Claude
一名非工程师独立开发者用 ChatGPT、Lovable 和 GitHub 搭建复杂 SaaS，进度已到 2/3，正在考虑是否改用 Claude。他已在 ChatGPT 付费订阅，并启用 Codex 和 Work，但聊天频繁超时，流程反而更繁琐，即便当前任务比过去更简单也难以恢复原有协作方式。
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 评分3434 Show HN: Clawock — AI 辩论、代码结算的港股美股投资工作流
Clawock 在 Hacker News 发布，为已有的 AI agent 提供港股 + 美股投资工作流：收集信息 → 多空辩论 → 代码结算 → 结果反馈进下一次决策，订单仍由用户自己下单。
Hacker News Show HNAI 评分5757 InBrief：开源 AI 新闻聚合器，用 LLM 过滤 94 个信源生成双语日报
作者发布开源项目 InBrief，一个可自托管的 AI 新闻聚合器，从 94 个信源（AI 实验室博客、Hacker News、Reddit、X 上 35 位 AI 开发者。
Reddit r/SaaSAI 评分2222 运营 230 万触达的 AI/GitHub 类 Instagram 账号，如何找到想推广产品的 SaaS 开发者？
一个专注 AI 工具、GitHub 项目和在线隐私的 Instagram 账号运营者正在寻找想推广产品的 SaaS 开发者，该账号目前每天涨约 5k 粉丝，上月触达 230 万账户。
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 编写。
dev.to · SaaSAI 评分2828 如何把多个产品的 Webhook 集中到一套投递系统：原因与迁移方法
多个产品各自实现 Webhook 会导致签名头、重试次数、去重 ID 和日志位置各不相同，集中到一套投递系统可只建一次签名、重试、投递日志、失败告警和 SSRF 防护。
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 评分2222 Show HN：把公开仓库变成艺术作品
一个 Show HN 项目可把公开仓库的提交历史转成图像：文件事件决定布局，代码行数决定圆点，缩进决定颜色，删除操作擦除墨迹，每 50 次提交布局旋转一次。稀有事件会留下稀有印记，红色代表提交冲突，蓝色代表沉寂一年后的提交，金色代表提交 ID 以 0000 开头。仅支持公开仓库，可选择风格与配色。
Hacker News Show HNAI 评分1010 Show HN：彩色图解纳维-斯托克斯方程
开发者在 Hacker News 的 Show HN 板块发布了一个用彩色可视化方式讲解纳维-斯托克斯方程的项目。该帖目前获得 1 分、0 条评论。
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 首页AI 评分5050 像 1866 年那样写作：LLM 重新学会电报体
作者发布 Telegraph Test 基准，用 50 篇文本、约 1300 道题测试让模型用 1866 年电报体（cablese）压缩记录的效果。在相同指令下各模型压缩率从 25% 到 49% 不等，GLM-5.3-Flash 自身节省 48.4%，跨模型读取恢复比为 0.99–1.10，即压缩记录被其他模型读取的准确率不低于纯文本。
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。
Reddit r/SideProjectAI 评分2222 独立开发者用 Claude Code 做了款 macOS 跑步教练 App Pace Lab，教练跑在你自己的 AI 上
Pace Lab 是一款用 Claude Code 开发的免费开源原生 macOS 跑步教练 App，教练不依赖自带 AI 后端，而是调用你已有的 Claude Code、Codex 或 LM Studio 本地模型，模型版本可随时切换。
V2EX 最新主题AI 评分4343 用 Cloudflare Workers + R2 做的开源轻量 WebDAV，支持个人自部署
有开发者开源了一个基于 Cloudflare Workers + R2 的轻量 WebDAV，用私有 R2 bucket 存文件，支持 Basic Auth 和 GET、PUT、PROPFIND、MKCOL、DELETE、COPY、MOVE 等常用操作，以及空目录和文件字节范围读取。
V2EX 最新主题AI 评分4242 一款 Android 看图 App 支持 HDR 显示 RAW 照片与 JXR 游戏截图，兼容 SMB 和 WebDAV
有开发者在 Android 上实现用 HDR 显示 FP16 位图，配合色彩管理可支持广色域、高色深和 HDR 图片格式。
LobstersAI 评分2222 Koreader 阅读统计与高亮同步插件，用于间隔重复复习
开发者 ZeitgeistMesh 发布 Koreader 插件 plug-koreader，可同步阅读统计、高亮、批注和书签，并支持给高亮打星标后按间隔重复复习、按天查看批注时间线。配对后即同步全部阅读活动，作者称已积累近十年的阅读统计数据。代码已在 GitHub 开源，间隔重复 Android 应用尚在开发中。
Reddit r/SideProjectAI 评分5656 开发者发布个性化落地页工具：按访客来源生成不同文案，代码已上 GitHub
开发者 ApoorvKhanna 发布个性化落地页工具，输入页面 URL 后会建议受众群体，并为每类受众生成标题、副标题、行动号召和功能说明，所有内容需人工审核后才上线。
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 主机密钥未校验。