8.How We Build Open Source with AI Agents-闻冰.pdf

1、How We Build Open Sourcewith AI Agents蚂蚁终端体验科技大会徐文彬（闻冰）LobeHub 创始人We are a crew of e/acc design engineerson a mission to forge next-gen human-agent interaction paradigms,while building an open-source,transparent,and symbiotic AI ecosystem_我们是群 e/acc 设计程师，希望打造下代与 Agent 的交互范式，同时建设个更加开放、透明、互利的 AI 态。Arv

2、in Xu空LobeHub 创始/设计程师 FOUNDER,DESIGN ENGINEERAI Workspace for Pro UserPART 3Agentsin ActionAgents 如何辅助我们PART 2The Scarcity of Correctness正确性是机协作的稀缺资源PART 1HumanAI CollaborationAI 与的协作模式Empowered by Agent Teammate in LobeHub在 LobeHub 除了我们以外，还有很多 Agent 队友Positioning the Collaboration Between Humans an

3、d AI Partners_AI 在产研中的定位与协作模式Positioning the Collaboration Between Humans and AI Partners_AI 在产研中的定位与协作模式PART 2What is our Role?Where is our Scarcity?在这样的协同中该扮演什么？以及我们的稀缺性到底在哪？Every piece of software in the world has to be“correct”with respect to some notion of correctness.Before LLMs,our time was s

4、plit between writing,reading and verifying code.With LLMs,we are able to offload code writing phase to LLMs,but the verification process cannot be offloaded,only pushed up to a different layer.世界上的每段软件都必须在某种正确性的概念下是“正确”的。在 LLMs 出现之前，我们的时间分配在编写、阅读和验证代码之间。借助 LLMs，我们能够将代码编写阶段转移给 LLMs，但验证过程法转移，只能被推到另个层。

5、所谓的正确性就是指所创建的软件符合创作者的意图，创作者必须验证这种正确性。VERIFIABILITY IS THE LIMITfrom Alperen Kele,University of Marylandhttps:/ Test CI AreWeTurboYCorrectness Is Becoming Critical正确性正在变得愈发重要 函数/模块级别的测试驱动开发 可直接由AI成 由校验测试例与业务表现TDD:Ensuring Correctness at the Function&Module Level通过测试驱动开发，为核逻辑提供可预测、可验证的正确性BDD+E2E:Captu

6、ring Correctness from the Business Perspective通过为驱动与端到端测试，验证真实户流程中的业务正确性PART 3Agents in Action辅助我们的 Agentsi18n Agent国际化(i18n)实现：多语持的快速实现案CASE 1:https:/ CLI 模式个命令调 i18n 实现项国际化动化Stage1_ CLI 模式个命令调 i18n 实现项国际化动化ComfyUI 在 2024 也引了我们的案Stage1_ CLI 模式个命令调 i18n 实现项国际化