最新

Show HN：Claude Code、Cursor 和 Codex 的运行时授权 大家好，Fernando 和我开发了 Kastra。Kastra 会拦截 AI 代理的工具调用，并在执行前根据确定性策略进行评估。这主要面向使用 Claude Code、Codex、Cursor 和 OpenClaw 等编码代理的开发者。 我们开发 Kastra 是因为我们有一个 Cursor 代理差点对生产数据库执行了 `DELETE FROM customers WHERE status='test'` 命令。虽然我们在它执行前就阻止了，但这让我们意识到，我们堆栈中没有任何东西能够真正决定代理可以做什么。对我们来说，重要的是我们意识到，如果不是我们主动监控，我们现有的设置将无法阻止这种情况发生。大型语言模型是概率性的，提示会影响行为，但它们并不能确定性地决定代理可以做什么。没有确定性的策略系统，就无法决定它被允许做什么。 Kastra 在操作执行前会推送一个允许、暂缓或拒绝的决策。您可以通过 Web 应用以纯英文构建这些策略。拦截引擎会评估每次操作的工具、目标和参数。我们还发布了许多策略包，涵盖了常见的、高风险的场景，并且每个决策都会被记录在不可变的审计日志中。桌面应用、CLI、仪表板和 Recon 扫描对开发者免费。 如果您经常使用 Claude、Codex、Openclaw 和 Cursor，Kastra 可以运行一个扫描命令，检查您的代理已经执行过的风险操作，并自动构建规则以避免它们再次发生。Recon 是 Kastra 的一项功能，可以扫描您的本地代理历史记录。要运行此扫描，请在您的编码代理中执行以下命令： ```bash brew install kastra-labs/tap/kastra-edge kastra-edge scan ``` 扫描会读取您本地的代理会话历史记录，并显示您的代理之前已经执行过的所有风险操作、写入受跟踪文件的敏感信息、访问过的生产数据库、强制推送、curl-to-shell 等等。这在您的本地机器上运行，敏感信息绝不会离开。在我们自己的使用案例中，我们不断发现我们忘记的或不知道代理已经做过的事情。 每个发现都可以转换为运行时策略，让您在不信任模型本身的情况下将更多工作委托给 AI。Kastra 在运行时拦截所有工作负载，并确保这些策略评估通常在毫秒内完成。与其信任模型，不如信任控制其操作的确定性规则。 我们仍在努力改进堆栈的一个问题是如何管理具有冲突策略的代理团队。我们非常欢迎任何构建多代理系统的人提供反馈。Fernando 和我将审查评论。我们非常好奇您的第一次扫描会发现什么。请在下方发布结果，以便我们了解最常见的模式，并根据您的反馈调整我们的策略包。 文档： [https://kastra.ai/docs](https://kastra.ai/docs) macOS Kastra Edge 下载： [https://kastra.ai/edge/download.html](https://kastra.ai/edge/download.html) 立即查看 Kastra 的实际运行效果： [https://www.youtube.com/watch?v=6TUETu5lb3Q&feature=youtu.be](https://www.youtube.com/watch?v=6TUETu5lb3Q&feature=youtu.be)

我父亲被诊断出患有 III 期肾癌后，我的家庭陷入了混乱。寻求第二意见、规划手术、确保保险覆盖、应对恐惧。这一切都需要时间来消化。 在处理所有医疗事务的同时，我意识到我们家人竟然没有人能回答以下问题： - 他是否有医疗指示？ - 如何触发他的寿险保单？ - 他的遗嘱在哪里？谁是遗嘱执行人？ - 存在哪些银行账户和信用卡？ - 哪些账单不是自动支付的？ - 这些账单的到期日是什么时候？如何支付？ 这些问题不是密码管理器或预算应用程序能解决的。所以我构建了它。 LastShelf：在紧急情况下自动发现、记录和分发关键生活文件、开支和联系人信息。在此注册：<a href="https://www.lastshelf.ai/" rel="nofollow">https://www.lastshelf.ai/</a> 如果您经历过类似的危机，我非常想听听什么能让这个过程变得更容易。 任何与我分享反馈的人都将获得第一年的免费使用权。请发送邮件至 support [at] lastshelf.ai。

大家好，我是 FormGrid 的 Björn。我觉得最近的网页变得过于标准化和模板化了，所以我开发了一个工具，可以让你创建更具个性的表单和微型网站。 最终的效果可以多种多样，例如： * 命令行界面 (CLI)：[https://share.formgrid.com/templates/sgNeeDu1AUYn2S5d](https://share.formgrid.com/templates/sgNeeDu1AUYn2S5d) * 像素艺术：[https://share.formgrid.com/templates/TVsBQkwkg4fx3OW0](https://share.formgrid.com/templates/TVsBQkwkg4fx3OW0) * GeoCities 风格：[https://share.formgrid.com/templates/TZzJNLkfJqR72N95](https://share.formgrid.com/templates/TZzJNLkfJqR72N95) * HN 风格：[https://share.formgrid.com/templates/QxO3deyBTnDBI8MW](https://share.formgrid.com/templates/QxO3deyBTnDBI8MW) 这些示例是我自己创建的，但它也可以根据提示生成完全自定义的表单（内容 + 主题 + 逻辑）。 编辑器的工作方式就像写文档一样，支持 Markdown 和斜杠命令。布局是基于块的，并且非常灵活。逻辑块也内联添加。 我使用了 React 进行渲染，Vite 作为构建工具（构建单页应用 SPA），ProseMirror 用于表单编辑器，MobX 用于状态管理。 它是免费的，无需账户/注册。欢迎提问和反馈！

Ask HN：如果你能“氛围编码”（vibe-coded）出一个比 Firefox 更好的网页浏览器，你会怎么做？例如，更安全、更易于维护、更少监控、更酷等等。 https://github.com/nordstjernen-web/nordstjernen

我越来越觉得我对幕后发生的事情失去了控制。代理的行动迅速而混乱。有没有什么框架、工具或治理解决方案可以让我们重新获得更多控制权？