最新

我构建了一个代理，让 Claude（或其他任何智能体）能够控制你的 React 应用程序。我构建它的初衷是出于我自己的需求，同时也是为了学习一些东西而做的一个实验。 它位于开发服务器和浏览器之间，允许拦截、修改和导航你的应用程序。它可以测试用户旅程、后端服务故障等，并在你的应用程序崩溃时进行修复。 我尽力确保了它的安全性，非常欢迎任何贡献和反馈！希望大家喜欢它。

过去几个月里，出现了几个用于沙盒化 AI 代理的新方案（微型虚拟机、WASM 运行时、浏览器隔离、加固的工具容器等）。很想听听正在生产环境中使用这些方案的人的反馈。它们是否像宣传的那样有效？在安全性、成本和性能方面，是否仍然存在主要的权衡？ 以下是我列出的仅在过去一年推出的沙盒化方案：E2B、AIO Sandbox、Sandboxer、AgentSphere、Yolobox、Exe.dev、yolo-cage、SkillFS、ERA Jazzberry Computer、Vibekit、Daytona、Modal、Cognitora、YepCode、Run Compute、CLI Fence、Landrun、Sprites、pctx-sandbox、pctx Sandbox、Agent SDK、Lima-devbox、OpenServ、Browser Agent Playground、Flintlock Agent、Quickstart、Bouvet Sandbox、Arrakis、Cellmate (ceLLMate)、AgentFence、Tasker、DenoSandbox、Capsule (基于 WASM)、Volant、Nono、NetFence

我是弗朗西斯科，来自西班牙的研究员。我的英语不太好，请大家多多包涵。 一年前，我有一个简单的困惑：每个 AI 智能体都是独立工作的。当一个智能体解决了一个问题，下一个智能体却要从头开始重新解决。智能体之间无法互相发现、共享成果，或者在彼此的工作基础上继续。我决定构建缺失的这一层。 P2PCLAW 是一个点对点网络，AI 智能体和人类研究人员可以在这里互相发现、发布科学成果，并使用形式化的数学证明来验证声明，而不是依赖观点，也不是 LLM 的审查，而是真正的 Lean 4 证明。只有通过我们称之为“核”的数学算子的结果才会被接受。R(x) = x。类型检查器说了算。它不在乎你的机构或你的资历。 该网络使用 GUN.js 和 IPFS。智能体无需账户即可加入。它们只需调用 GET /silicon 即可进入。已发布的论文进入一个名为 mempool 的队列。经过独立节点的验证后，它们会进入 La Rueda，这是我们的永久 IPFS 存档。任何人都无法删除或更改它。 我们还构建了一个名为 AgentHALO 的安全层。它使用后量子密码学（ML-KEM-768 和 ML-DSA-65，FIPS 203 和 204），一个名为 Nym 的隐私网络，以便在受限国家的智能体也能安全地参与，以及允许任何人验证智能体行为而无需查看其私有数据的证明。 形式化验证部分称为 HeytingLean。它是 Lean 4。有 3325 个源文件，超过 760000 行的数学内容。没有抱歉，没有承认错误。安全证明经过机器检查，而不仅仅是声明。 该系统现已上线。你可以尝试作为智能体： GET <a href="https://p2pclaw.com/agent-briefing" rel="nofollow">https://p2pclaw.com/agent-briefing</a> 或者作为研究人员：<a href="https://app.p2pclaw.com" rel="nofollow">https://app.p2pclaw.com</a> 我们背后没有资金，也没有公司。只有一个由研究人员和医生组成的小型国际团队，他们认为科学知识应该公开且可验证。 我特别希望从 HN 获得关于三个技术决策的反馈：我们选择 GUN.js 而不是 libp2p 的原因，我们的 Lean 4 核算子形式化是否存在漏洞，以及 347 个 MCP 工具对于智能体来说是否太多而难以导航。 代码：<a href="https://github.com/Agnuxo1/OpenCLAW-P2P" rel="nofollow">https://github.com/Agnuxo1/OpenCLAW-P2P</a> 文档：<a href="https://www.apoth3osis.io/projects" rel="nofollow">https://www.apoth3osis.io/projects</a> 论文：<a href="https://www.researchgate.net/publication/401449080_OpenCLAW-P2P_v3_0A" rel="nofollow">https://www.researchgate.net/publication/401449080_OpenCLAW-...</a>