导语： 翻遍9月13日Hacker News的Show HN新帖区，我发现一个和“又发新模型”完全不同的信号：海外开发者正在给AI补“信任基建”。三个刚冒头的新品——给技能包上户口的PromptSign、用数学证明修复安全洞的Railo、把会议同传打到每小时2.4美元的Pinch Sidecar——国内中文圈目前一篇教程都搜不到。这篇帮你把三个工具的功能、价格、上手路径一次拆完。
官网： https://promptsign.ai （Show HN 新帖，2026-09-13）
先说背景。现在玩 Claude Code、Codex 的人，谁没从 GitHub 下载过别人的 skill、CLAUDE.md、AGENTS.md？但 skill 本质是“AI会照办的指令+可执行脚本”，前几天海外社区还在吵假MCP包的事——你根本不知道包是谁发的、有没有被人偷偷改过一个字节。PromptSign 就是冲着这个缺口来的，它把软件供应链的“代码签名”那套搬到了AI指令文件上。
它做什么：
.promptsign/bundle.json 里，同时进入公开透明日志（transparency log），发布者作恶可以被公开吊销（revoke）；最狠的一步是它提供 Claude Code 和 Codex 的 hooks 接入：挂上之后，任何未签名或被篡改的指令文件会直接被拦截，AI 根本读不到。命令行两句话搞定：
promptsign login && promptsign sign ./my-skill
promptsign verify ./my-skill
价格： 官网目前没有任何收费项，浏览器签名/验签工具免费，数据不上传。属于典型的“趁早用”阶段。
为什么值得国内用户关注： 国内各家Agent平台的插件市场走的是“平台审核制”，普通开发者自己分发技能包没有任何验签手段。PromptSign 是通用协议级方案，不管你的包发在GitHub还是网盘，签名跟着文件走。官网有句大实话值得记住：“签名只证明是谁发的、没被改过，不证明它无害”——署名的恶意指令依然是恶意的，但它让追责和拉黑成为可能。
适用人群： 给团队维护内部skill库的人、在GitHub发技能包的开源作者、以及所有“来路不明的CLAUDE.md不敢乱挂”的谨慎党。
官网： https://railo.dev （Show HN 新帖，2026-09-13，公开Beta）
现在让AI修漏洞的通用姿势是：把告警丢给GPT，它给你一段补丁，你祈祷它没改坏。Railo 的做法完全反着来——不用LLM猜。它基于 AST 做确定性规则补丁，再用 Z3 SMT 求解器做数学级验证，同样的输入永远产出字节级相同的补丁，可从固定commit复现。
工作流长这样：装一个 GitHub App（不用写CI配置），之后每个 Pull Request 自动扫描改动代码，追出 source-to-sink 污点路径（SSRF、SQL注入、路径穿越等），然后直接开一个“配套修复PR”，PR标签上写明验证结论——verified / not cleared / inconclusive / not attempted 四档，证据只有启发式强度时自动降级为人工复核，绝不偷偷自动合并。
flowchart TD
A["提交Pull Request"] --> B["Railo扫描diff"]
B --> C["定位污点传播路径"]
C --> D["生成确定性补丁"]
D --> E["Z3数学验证"]
E --> F{"验证结果如何"}
F -->|已证明| G["开修复PR待人工合并"]
F -->|证据弱| H["降级为人工复核"]
价格（官网明码标价）：
| 档位 | 价格 | 内容 |
|---|---|---|
| Free | $0 永久 | 3仓库、200次PR扫描/月、只检出告警（7种语言） |
| Pro | $99/组织/月 | 自动开修复PR、10仓库、2000次扫描/月 |
| Team | $299/组织/月 | 组织级策略、50仓库、10000次扫描/月 |
| 代清历史欠账 | $1,500 固定价 | 5个工作日交付可审查的修复PR+一次复扫 |
战绩数字（官网自述）： 在22个仓库、21,768条发现的实测中，SSRF（CWE-918）清除了68%——248/363条。这个“敢报清除率”的姿势在国内安全厂商的宣传里几乎见不到，国内扫描器普遍卷“检出率”，自动修复+验证证据这条路线极少有人做。
适用人群： 被安全债压着的中小团队后端、接外包代码要快速“排雷”的技术负责人。建议先拿一个Python仓库上Free档试水。
官网： https://pinch.now （Show HN 新帖，2026-09-13，Sidecar为Beta新形态）
做跨境会议的人最懂这个痛：Zoom/Meet里来了个只说葡语的客户， либо请同传（一小时几百上千），либо大家凑合用平台字幕。Pinch 的新玩法是把同传做成了“标签页级服务”：任意Chrome标签页的声音都能实时翻译，不止 Meet/Teams/Zoom。三步开局：贴会议链接或共享标签页 → 选语言 → 把收听链接发给参会者。
几个细节说明它不是玩具：
flowchart TD
A["Chrome打开会议页"] --> B["共享标签页音频"]
B --> C["Pinch实时识别翻译"]
C --> D["生成参会者收听链接"]
D --> E["各自母语实时收听"]
E --> F{"要不要回话"}
F -->|按住讲话| G["Pinch代为转述"]
F -->|仅旁听| H["文字聊天双向翻"]
与国内方案对比： 腾讯会议、飞书都有字幕翻译，但基本锁死在自家会议体系内；“跨任意标签页+以原声说话+听众可插话”这个组合，国内公开产品里还没见到对标物。对做出海服务、跨境接单的独立开发者，$2.4/小时基本是把同传从“奢侈品”打成了“水电费”。
适用人群： 跨境电商客服、远程外包对接、海外客户培训、需要旁听英文技术分享的国内开发者。
| 你以为的 | 实际情况 |
|---|---|
| 技能包/CLAUDE.md 从GitHub下载直接用 | PromptSign 可签名验签+钩子自动拦截，供应链投毒有了端侧防线 |
| AI修漏洞=让大模型猜补丁再人工核对 | Railo 用规则+Z3数学证明，补丁字节级可复现，还敢公布68%清除率 |
| 同传是按小时计费的高端服务 | Pinch Sidecar $0.04/分钟，任意Chrome标签页即开即用 |
| 修正后的代码只能靠肉眼review | RunBoth 能对AI改动前后做真实行为diff |
promptsign verify 挂到你常用的技能包目录，先验一遍存量CLAUDE.md；本文由「51学通信」技术团队出品。51学通信由通信行业18年老兵爱卫生（微信ID: gprshome201101）维护。 聚焦5G/6G核心网、3GPP标准、AI工具实战。知识星球「51学通信」提供深度技术答疑和行业洞察。
[!tip] 51学通信知识星球 星主：爱卫生（微信：gprshome201101）——公众号「51学通信」创办者，19 年通信行业运维与讲师经验，著有《GPRS网络信令实例详解》《EPC原理与实践》《5G核心网原理与实践》三本纸质书（各大电商平台有售）。 星球定位：深耕 5G 核心网、IMS、NFV/AI、云原生等 ICT 领域，主打运维岗位与信令分析。 当前规模：5200 篇主题 / 990 个回答，198 元/年。 加入福利：加入星球后请加爱卫生微信，拉您进知识星球年度陪伴与答疑群——不限量回复您的各种问题，另有群内分享。 AI 加持：51学通信知识星球已作为 skill 接入 WorkBuddy，使用 deepseek-4-flash 在海量星球帖子中精准找贴、找视频、找 FAQ 和案例，做总结、找文档和 PPT 等场景全覆盖。