Rohan 是一个开源的 MCP 隐私护盾（beta v0.6.0），可防止明文工具参数泄露到 LLM 上下文。它在隔离的客户端 RAM 中评估工具参数，过滤提示注入和隐藏 Unicode，确定性清零见证内存，并生成锚定到 Midnight 的 32 字节加密意图承诺（免 Gas）。附带的 MCP 服务器可通过 npx 或源码运行，并暴露 `rohan_zk_handshake`。它与 Claude Desktop 和 Cursor 等客户端集成，使用中继器进行免 Gas 交易，并包含针对注入、内存窃取、Socket 耗尽和浏览器抓取的缓解措施。原生客户端 WASM ZK-SNARK 证明仍在积极研究中。
每日HackerNews RSS
Hacker News
新 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交
登录
内存隐私防护，用于防止 MCP 工具中的上下文泄露 (github.com/rohan-protocol)
10 分 by jvonb 1 天前 | 隐藏 | 过去 | 收藏 | 1 条评论
帮助
tcdent 1 天前
[–]
更简单、更安全的方法是通过代理服务注入敏感凭证，该服务最好位于运行代理的环境之外。
因为即使你在做这种内存替换，内容仍存在于系统内存中。所以它只是让泄露凭证没那么明显，但肯定不能防止泄露。
回复
考虑申请 YC 的 Winter 2027 批次！申请开放至 11 月 2 日。
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
启用 JavaScript 和 Cookie 以继续
对不起。
Voxtral 3 Voxtral 3
19 天前
Voxtral 3 是 Mistral 新推出的语音转文本与文本转语音模型系列，以及用于实时对话式 AI 的语音代理 SDK。Voxtral Small Transcribe 3 提供跨 50 多种语言的领先多语言转录，支持说话人分离、上下文偏置和轮次结束检测。Voxtral Mini TTS 3 提供 35 多种语言和 50 多种方言的富有表现力的语音，能根据上下文调整情感、语速和重音，并支持语音克隆和发音控制。语音代理 SDK 将听、推理、工具调用和说话整合到一条低延迟流式管道中，使代理能够检索信息、与业务系统交互，并通过电话或 Web 完成多步任务。Pro Voice 适配可从 30 分钟的音频中复现说话者的风格。Voxtral 3 支持通过 Mistral 的欧盟托管 API 或自托管进行主权部署，让组织掌控音频处理和数据保留。它可通过 Mistral API 使用。
Mistral 发布了 Voxtral 3，这是一个语音代理 SDK，结合实时聆听、推理、工具调用和语音输出，适用于电话/网页对话。与此前的开源权重 Voxtral Mini 不同，Voxtral 3 为闭源版本，可通过 Mistral 的欧盟托管 API 或购买进行自部署。它提供 18 种语音预设，但缺少许多欧洲语言，定价略有上涨。Hacker News 评论者哀叹缺少开源权重，指出闭源 STT/TTS 模型占主导地位，而本地替代方案如 Parakeet、Whisper、Kokoro、Qwen 和 PocketTTS 仍然流行。用户讨论了从有声书同步到呼叫中心的应用场景，担忧欺诈、隐私和模型质量。一些人注意到 Mistral 在沉寂一段时间后的近期发布热潮（Large 4、Timestral），而另一些人认为新语音比之前版本更不自然。总体而言，对实时语音代理的兴奋因闭源许可和有限的语言覆盖而有所减弱。
三个遥远、弥散的星系——DF2、DF4 和 DF9——看起来包含的暗物质很少，与大多数星系不同。2026年6月《天体物理学杂志》的一篇论文提出，它们形成于两颗普通星系碰撞时：气体和尘埃聚集在一起，而暗物质穿行而过，留下了三个暗物质极少、恒星稀少的新星系。研究人员表示，这支持暗物质是真实的物理物质而非引力修正，因为分离后的物质表现符合预测。这一发现可能有助于限制暗物质的性质，尽管其确切身份——无论是中微子、弱相互作用大质量粒子、原初黑洞还是其他东西——尽管有多重证据，仍尚未被探测到。
对不起。
penmentor 是一个用于 Linux 上 Xournal++ 手写作业的数学学习工具。按下一个键，即可将当前页面发送到你已在使用的 AI 代理（Claude Code、Codex 或 Antigravity CLI），使用你自己的订阅。它会叠加教师式的批注：正确行打勾，圈出第一个错误，下划线标出后续依赖性错误，并提供从提示到淡色下一行幽灵提示的线索，而非完整答案。它还支持练习题和找错练习。框选一个表达式可生成交互式 Manim 动画，例如拖动积分上下限并观察 Riemann 和收敛。插件可共享整页，而不仅是可见屏幕。要求包括 X11 Linux、一个受支持的代理，以及 rofi、slop、xdotool 和 PyQt6 等工具。用户可通过前缀选择模型，并将脚本绑定到按键。
Hacker News 展示了 Show HN：Penmentor，一个 Claude 像老师一样批改手写数学的工具。它有 65 个点赞和 7 条评论。在评论中，创建者表示它目前仅支持 Claude、Codex 和 Antigravity CLI 模型，不支持其他 LLM 提供商。用户赞扬了它的绘图工具和在家教育潜力，而创建者指出它针对 Linux（Arch/i3wm）定制，并询问用户想要什么平台。还提到了 YC 2027 冬季申请。
（无内容可翻译）
Show HN：Jev Cards 是一个开源的图片问答游戏，玩家与 TypeSafe/Opper 的快速视觉模型 Jev 对抗，Jev 约在 0.25 秒内作答。用户可以玩单人模式（冲刺、对战、连击）并查看排行榜，或与朋友进行实时对战，Jev 作为额外玩家加入。创作者从零制作了卡片，并计划增加更多。
评论认为它很有趣且是 AI 速度的很好演示，但提出了关于评分偏向速度而非准确度、交互不清晰（如象棋问题）、可能的计分 bug 以及类别偏差的担忧。创作者回应称增加了 300 张卡片，正在考虑类别筛选，增加了答错惩罚，并澄清 Jev 的准确率约为 70–80%，取决于类别。总体而言，该项目突出了快速视觉模型的优点与缺点。
乌伊-特-朗吉奥拉 UI-Te-Rangiora
19 天前
本文讨论毛利航海家乌伊-特-朗吉奥拉（Ui-te-Rangiora）的传说，该传说有时被声称他在公元七世纪初发现了南极洲。传说源自拉罗汤加岛，尽管该岛直到十世纪才有人居住。19世纪斯蒂芬森·珀西·史密斯的一种解读将短语读作冰冻的海洋，从而引出南极发现的说法。学者对此提出质疑：原始传说可能并未提及南极航程，库克群岛毛利人没有前欧洲时代的“冰”一词，该短语可能反而表示被泡沫覆盖的海。人类学家特·朗吉·希罗阿认为该传说不可靠，而恩格伊塔胡人将其视为神话起源故事而非历史。有人提出被浮石覆盖的海可能是真实基础。关于波利尼西亚人抵达安提波德斯群岛的考古说法仍未得到证实，尽管恩德比岛显示13或14世纪的毛利使用，而麦夸里岛可能的波利尼西亚沉船也不确定。
对不起。
SIwithin 是一个仅限 macOS、单文件的 Python 3.10+ 工具，可在沙盒文件夹中无人值守地运行 AI 代理 CLI（Claude Code 或 OpenAI Codex），受美元预算限制，并每次运行留下一条账本记录。它保证三项承诺：运行仅接触给定文件夹（主目录读写被拒绝）、支出不能超过预算（每次运行、全局上限、定时器）、每次运行都被记录。对于 Claude，回环代理在围栏外保存真实 API 密钥，并使用每次运行的令牌计量每个请求；Codex 在环境中有认证，需要 --soft-budget 和 --network open。生成的 sandbox-exec 配置文件拒绝主目录、限制写入，并除代理端口外阻止网络。每次运行写入链接到账本的收据；--verify 检查完整性。--reconcile 比较提供商用量与账本。Linux/Windows 上拒绝运行。仅使用标准库，无遥测。Apache 2.0。
Hacker News 的一篇“Show HN”帖子介绍了一个工具，用于在沙箱中无人值守地运行 Claude Code，预算不到一美元。评论者质疑其价值：一人认为这类 Claude 生成的个人项目很常见且可能未审查；另一人表示预算上限有用，但区分“完成”与“停止”更难；第三人询问它除了现有的 Claude Code 预算/轮次限制和 Copilot CLI 等工具之外解决了什么问题。
客户端挑战：您的浏览器已禁用 JavaScript。请启用 JavaScript 以继续。网站的必要部分无法加载。这可能是由于浏览器扩展、网络问题或浏览器设置导致的。请检查网络连接，禁用广告拦截器，或尝试使用其他浏览器。
该帖探讨了会议过多的多种原因：有些人避免异步决策，偏好口头讨论，或把会议作为优先级信号；大型组织常缺乏明确的能动性、所有权和决策权；会议还用于社会信号、达成共识以及跨专业团队协调。远程与混合办公似乎增加了会议频率和时长，而糟糕的书面沟通和模糊的邮件会引发后续通话。一些评论者指出，会议可以迫使对齐、让成本可见、帮助非技术利益相关者理解复杂性，但其他人批评它们是地位表演、责任分散或清晰任务所有权的替代品。建议的改进包括议程、更短的默认时长、更好的邮件、任务跟踪、授权个人，以及尊重不同的沟通风格。总体而言，会议之所以持续存在，是因为它们提供强制同步和可见的对齐，即使效率低下。
作者因分享一个用 AI 构建的 Swing WebView 组件而违反了新的禁止 AI 规则，被 r/java 永久封禁。尽管并不因封禁而愤怒，但这件事揭示了自 2025 年底 AI 超越人类编码能力以来，AI 改变软件开发所引发的深层挣扎。他们认为手写代码如今主要用于娱乐或学习；对于真实项目，AI 对效率和质量至关重要。他们承认情感上的损失：辛苦获得的技能感到被贬值，身份认同受到冲击，而且新人瞬间获得更强大能力似乎不公平。他们理解禁止 AI 的空间是为保护技艺与社区所做的尝试，但认为由于 AI 辅助代码日益普遍，这些尝试最终是徒劳的。回顾自 1998 年以来的 Java，他们感到悲伤：将不再手写代码，而是引导和审查 AI 代理——获得生产力，却失去技艺以及对 r/java 等社区的参与。
一个Hacker News讨论围绕一名开发者因在新“禁止AI”规则下分享含AI的软件而被r/java封禁展开。评论者争论不用AI手写代码是否已变得低效。支持AI的声音认为模型能提高速度与生产力，有时在bug、安全和性能检查上优于人类，拒绝任何AI审查是不可辩护的。怀疑者反驳AI代码往往需要大量审查，可能缺乏系统层面的一致性，正确性、可维护性和 craftsmanship 仍重要；AI是工具，不是理解的替代品。其他人将开发者分为结果导向与 craftsmanship 导向，并讨论结对编程、版主权力动态以及严格Reddit封禁的问题。有人引用Linus Torvalds使用AI。总体而言，该帖反映两极化但细致的观点：AI可提升生产力和审查能力，但人类判断仍不可或缺，围绕AI的平台 moderation 具有争议性。