一周热榜

大家好，我是Adam。 我们围绕一个问题构建了一个简单的MCP示例： 如何在不将凭据提供给代理的情况下，让代理使用需要凭据的工具？ 演示中有两个工具。一个是公开的。一个是受保护的。 当代理调用受保护的工具时，Keydris会先检查策略： 允许 → 运行工具 拒绝 → 停止 凭据保留在服务器上。代理永远看不到它。 我们通过MCP服务器上的一个名为KIT Reader的小型中间件来执行检查。 代码库：https://github.com/keydrisLabs/mcp-auth-keydris-template 我们还处于早期阶段。如果您正在使用MCP、Claude Code或Codex进行开发，我很想了解您目前是如何处理这个问题的，以及您认为这种方法在哪些地方会失效。 我们支持其他元素，如集成等，但非常希望得到您的反馈。

我构建了 PGSkiff，旨在让 IPv4 网络上的应用程序和工具能够连接到仅限 IPv6 的 Postgres 数据库。<p>客户端通过 IPv4 连接到 PGSkiff 端点，PGSkiff 则通过 IPv6 将连接转发给数据库。这消除了维护自己的代理或配置 VPN 的需求。<p>一个用例是连接到 Supabase，当你需要在不使用连接池的情况下进行访问时。<p>你可以在 <a href="https:&#x2F;&#x2F;pgskiff.com" rel="nofollow">https:&#x2F;&#x2F;pgskiff.com</a> 试用。<p>我希望收到关于连接设置的反馈，并了解此工具在哪些场景下会很有用。

各位 HN 的朋友们！我想分享一下我近期一直在开发的一个项目，并听听大家的看法。这是一个基于 JSON 构建的、专为 AI 设计的领域特定语言，同时还有一个生态系统，可以快速地在设备本身上构建原生的移动功能、界面，甚至是完整的应用程序。更重要的是，终端用户可以使用 AI 动态地自定义应用程序的功能，这可能会将用户体验提升到一个全新的水平。

为一家试图租赁人形机器人用于活动和派对的公司寻找保险，感觉像是一项艰巨且不可能完成的任务。特斯拉的擎天柱（Optimus）等机器人如果出现在家庭环境中，将如何获得保险保障？ 它们是否仅仅因为是大型企业，就能接触到风险承保人并让他们批准？然而，一家试图为派对建造租赁机器人或使用人形机器人开展教育工作坊的小型公司，甚至连一般责任险都无法获得。