产品库

Xcode 16 提供的功能和性能提升助力开发者用比以往更快的速度构建出色的 app，将开发者的生产力标准提升到了全新层次。

Xcode 16 提供了功能和性能提升，助力开发者以比以往更快的速度构建出色的 app，提升开发者的生产力标准。Xcode 16 带来了全新的预测性代码补齐引擎，使用了专为 Swift 和 Apple SDK 训练的独特模型，为开发者提供编码建议。此外，Xcode 16 还优化了测试环境，让开发者在开始构建 app 的那一刻起，更容易地看到 app 在实际场景中的表现。

AI驱动的代码片段库

代码片段AI是一款使用GPT-4技术驱动的代码片段库，帮助开发人员快速编写代码。它提供了生成代码、保存和分享代码片段、代码重构与调试、选择AI模型等功能。通过使用代码片段AI，开发人员可以节省大量时间，提高代码编写效率。专业版每月10美元，Power用户版每月30美元。

AI助力的高级编程平台，让您以更快的速度构建大多数应用程序！

MarsX是一款高级AI助力的编程平台，它集成了AI、无代码、代码和微应用的功能，让您能够以更快的速度构建大多数应用程序。它提供了一系列强大的功能，包括自动代码生成、智能错误修复、自动化测试和部署等。MarsX还提供了丰富的开发工具和模板，使开发人员能够更轻松地创建复杂的应用程序。它的定价灵活，适用于个人开发者和企业用户，并提供了免费试用期。无论您是初学者还是有经验的开发者，MarsX都是您构建应用程序的理想选择。

智能AI开发工具

Codefy AI是一款智能AI开发工具，提供强大的AI功能，帮助开发人员加速编码过程。支持所有编程语言。定价详见官网。

全球首创桌面双轮足式AI机器人，集成ChatGPT，能跑、能看、能说、倒不了。

XGO Rider是一款集成了ChatGPT的桌面双轮足式AI机器人，具备自平衡功能和全向移动能力。它基于Raspberry Pi CM4核心模块构建，支持Python和C++编程，适合AI编程学习和教育使用。XGO Rider不仅能够帮助学生和开发者轻松进入机器人世界，还能通过其丰富的传感器和AI功能进行各种互动和学习，如手势识别、人脸检测、骨骼识别等。

AI视频唇形同步工具，为创作者而生

sync. 是一款利用人工智能技术的视频唇形同步工具，它能够将任何视频中的嘴唇动作与任何音频同步，实现自然、准确且即时的唇形匹配。该工具不仅为内容创作者、播客和YouTube频道主提供了重新利用旧内容的可能，还通过其开发工具，帮助开发者在他们的应用程序中集成sync.功能，从而加速产品的全球影响力。此外，sync.支持多种语言，可以轻松地将内容翻译成任何语言，具有生命般的即时唇形同步效果。

学习编程和面试准备的趣味平台

edCode是一个面向所有人，从初学者到专家的编程学习平台。它提供AI面试准备功能，帮助用户学习编程或为梦想工作做准备。平台强调学习的乐趣，提供自定进度的课程，并通过动态排行榜和社交功能激励用户。

解决复杂问题的AI语言模型。

ChatGPT o1是OpenAI的最新AI技术，提供o1-preview和o1-mini模型，具备强化学习能力，可解决科学、编程和数学等领域的复杂问题。它具有高效率、安全性和创新性，是AI领域的前沿产品。

标准化AI应用开发流程的API集合

Llama Stack是一个定义和标准化生成式AI应用开发所需的构建模块的API集合。它涵盖了从模型训练和微调，到产品评估，再到生产环境中构建和运行AI代理的整个开发生命周期。Llama Stack旨在通过提供一致的、可互操作的组件，加速AI领域的创新。

可视化和透明的开源ChatGPT替代品

Show-Me是一个开源应用程序，旨在提供传统大型语言模型(如ChatGPT)交互的可视化和透明替代方案。它通过将复杂问题分解成一系列推理子任务，使用户能够理解语言模型的逐步思考过程。该应用程序使用LangChain与语言模型交互，并通过动态图形界面可视化推理过程。

精选优质AI内容，遇见未来

360AI导航是一个集合了多种人工智能工具和资源的平台，旨在为用户提供一站式的AI服务体验。该平台涵盖了从AI资讯、AI搜索、AI绘画到AI写作等多个领域的工具，帮助用户更高效地利用AI技术解决实际问题。360AI导航不仅提供了丰富的AI工具，还通过360智脑等产品展示了其在AI领域的技术实力和创新能力。

编程学习平台

CoderWithAI是一个综合性的编程学习平台，提供多种编程语言和技术的教程和资源。它旨在帮助初学者和有经验的开发者提高编程技能，并通过实践项目加深理解。平台涵盖了从前端到后端，从移动开发到数据科学的广泛技术领域。

为软件工程挑战打造的先进基础AI模型

poolside是一个为软件工程挑战而构建的先进基础AI模型，它通过在用户代码上进行微调，学习项目的独特之处，以理解通用模型无法理解的复杂性。它建立在poolside基础之上，每天都能变得更好。除了先进的代码编写模型，poolside还构建了一个直观的编辑器助手，并提供了一个开发者可以构建的API。poolside由Jason Warner和Eiso Kant于2023年4月创立，他们之前在AI和软件工程领域有着丰富的经验。

AI推理模型，解决复杂问题的新系列。

OpenAI o1是一系列新开发的AI模型，旨在通过更长时间的思考来解决科学、编码和数学等领域的复杂问题。这些模型通过训练学习，能够细化思考过程、尝试不同策略并识别错误。在国际数学奥林匹克竞赛的资格赛中，o1模型的得分远高于之前的GPT-4o模型，展现了其在数学和编码方面的优势。此外，o1系列还引入了新的安全训练方法，使其能够更好地遵循安全和对齐准则。

利用AI自动化开发流程，提升开发效率。

Fine AI Coding Workflows是一个AI驱动的软件开发自动化平台，它通过定制化的AI工作流程来加速开发周期。该平台基于Atlas知识图谱，整合了团队使用的工具，为AI代理提供丰富的上下文信息，以实现更精确的任务执行。它支持与多种开发工具集成，比如OpenAI、Anthropic、Sentry、GitHub等，旨在提高开发效率、代码质量和问题解决速度。

微信机器人框架，可定制、强大、快速、开源。

WechatFerry是一个微信机器人框架，旨在为用户提供一站式的微信操作解决方案。它通过集成WCF SDK客户端，支持消息监听、消息发送及群聊操作等功能。同时，它还提供了Agent库，帮助用户轻松实现历史消息处理、数据库操作和复杂业务逻辑。此外，WechatFerry还提供了与Wechaty兼容的免费PC Hook协议，以及Nuxt框架的集成工具包，使得开发者可以快速构建和调试微信机器人应用。

自动化代码审查、文档和补丁的开源工作流自动化框架。

Patched是一个开源的工作流自动化框架，专为开发团队设计，通过集成大型语言模型（LLMs）来自动化代码审查、文档生成、补丁生成等开发任务。它通过提供预设的patchflows或允许用户自定义patchflows来加速日常开发工作。Patched支持与现有的开发和安全解决方案集成，如Gitlab、GitHub、Jira等，使得开发人员能够构建复杂的多步骤工作流。Patched强调隐私优先，支持在用户自己的基础设施内部署，并使用自己的LLM API密钥。

由知识图谱引擎驱动的创新Agent框架

muAgent是一个创新的Agent框架，由知识图谱引擎驱动，支持多Agent编排和协同技术。它利用LLM+EKG（Eventic Knowledge Graph 行业知识承载）技术，结合FunctionCall、CodeInterpreter等，通过画布式拖拽和轻文字编写，实现复杂SOP流程的自动化。muAgent兼容市面上各类Agent框架，具备复杂推理、在线协同、人工交互、知识即用等核心功能。该框架已在蚂蚁集团多个复杂DevOps场景中得到验证。

AI工具目录，提升你的生产力

AI Scout是一个全面的AI工具目录，提供超过1800种AI工具，涵盖生产力、写作、设计、编程等多个领域。用户可以根据分类、平台和价格快速找到所需的AI工具，以提高工作效率和生活质量。

高效编码的开源大型语言模型

Yi-Coder是一系列开源的代码大型语言模型（LLMs），在少于100亿参数的情况下提供最先进的编码性能。它有两种尺寸—1.5B和9B参数—提供基础和聊天版本，旨在高效推理和灵活训练。Yi-Coder-9B在GitHub的代码库级别代码语料库和从CommonCrawl筛选的代码相关数据上，额外训练了2.4万亿高质量token。Yi-Coder在多种编程任务中表现出色，包括基础和竞技编程、代码编辑和仓库级完成、长上下文理解以及数学推理。

精选全球AI前沿科技和开源产品

漫话开发者 - UWL.ME 是一个专注于人工智能前沿科技和开源产品的平台，提供最新的AI技术动态、开源产品介绍、以及相关领域的深度分析。它不仅为开发者和科技爱好者提供了一个获取信息的渠道，也为行业内部人员提供了交流和学习的平台。

Java编程爱好者的免费问答平台

Java Q&A Hub是一个专门为Java编程爱好者设计的在线问答平台，它提供了一系列与Java编程相关的问题和解答。该平台专注于Java语言的各个方面，包括基础知识、后端开发、Spring框架、Android开发、网络编程和Java虚拟机等。利用GPT-40-mini模型，Java Q&A Hub能够为用户提供准确、详实的回答，帮助用户解决Java编程中遇到的问题。

CodeGuide是您的算法助手，提供直观和可操作的学习反馈。

CodeGuide是一个专注于算法学习的网站，它通过与用户的交互，提供优化建议和正确的学习方向。它基于会话学习，实时工作，通过用户输入提出有益的想法，评估用户的技能水平，并推荐资源帮助用户提高。

MUI开发辅助的VS Code插件

MUI VS Code Extension是一款专为MUI框架设计的VS Code插件，通过集成的AI助手、文档搜索和直接反馈功能，旨在提高开发者在使用MUI框架时的工作效率和体验。目前，部分功能如文档搜索和直接反馈尚在开发中，未来将提供更全面的服务。

高效能混合专家语言模型

Yuan2.0-M32-hf-int8是一个具有32个专家的混合专家(MoE)语言模型，其中2个是活跃的。该模型通过采用新的路由网络——注意力路由器，提高了专家选择的效率，使得准确率比使用传统路由网络的模型提高了3.8%。Yuan2.0-M32从头开始训练，使用了2000亿个token，其训练计算量仅为同等参数规模的密集模型所需计算量的9.25%。该模型在编程、数学和各种专业领域展现出竞争力，并且只使用37亿个活跃参数，占总参数40亿的一小部分，每个token的前向计算仅为7.4 GFLOPS，仅为Llama3-70B需求的1/19。Yuan2.0-M32在MATH和ARC-Challenge基准测试中超越了Llama3-70B，分别达到了55.9%和95.8%的准确率。

高效能的混合专家语言模型

Yuan2.0-M32是一个具有32个专家的混合专家(MoE)语言模型，其中2个处于活跃状态。引入了新的路由网络——注意力路由器，以提高专家选择的效率，使模型在准确性上比使用传统路由器网络的模型提高了3.8%。Yuan2.0-M32从头开始训练，使用了2000亿个token，其训练计算量仅为同等参数规模密集型模型所需计算量的9.25%。在编码、数学和各种专业领域表现出竞争力，Yuan2.0-M32在总参数40亿中只有3.7亿活跃参数，每个token的前向计算量为7.4 GFLOPS，仅为Llama3-70B需求的1/19。Yuan2.0-M32在MATH和ARC-Challenge基准测试中超越了Llama3-70B，准确率分别达到了55.9%和95.8%。

AI代码审查和自动修复工具

Ellipsis是一个AI开发者工具，它能够自动审查代码并修复拉取请求中的bug。它支持超过20种编程语言，每天审查2.1k次提交，帮助加速13%的合并时间。Ellipsis致力于安全性，拥有SOC II Type I认证，并且不保留用户源代码。它通过智能代码审查、异步代码生成、问题与答案、风格指南、自定义反馈和生成变更日志等功能，为开发团队提供高效、安全的支持。

为Cursor.sh IDE提供AI辅助编码的开源仪表板。

CursorLens是一个开源的仪表板，专为Cursor.sh IDE设计，用于记录AI代码生成、跟踪使用情况并控制AI模型（包括本地模型）。它允许用户在本地运行或使用即将推出的托管版本。该产品代表了编程领域中AI技术的应用，提供了代码生成、使用跟踪和模型控制等功能，极大地提高了开发效率和代码质量。

多代理礼宾系统，提升客户服务效率

multi-agent-concierge是一个多代理礼宾系统，它通过多个专门的代理来完成复杂的任务，并通过一个“礼宾”代理来引导用户到正确的代理。这种系统设计用于处理具有相互依赖关系的多个任务，使用数百种工具。该系统展示了如何通过自然语言指令创建代理之间的隐式“链”，并通过“延续”代理来管理这些链，同时使用全局状态来跟踪用户及其当前状态。

前沿语言模型，具有先进的推理能力。

Grok-2是xAI的前沿语言模型，具有最先进的推理能力。此次发布包括Grok家族的两个成员：Grok-2和Grok-2 mini。这两个模型现在都在𝕏平台上发布给Grok用户。Grok-2是Grok-1.5的重要进步，具有聊天、编程和推理方面的前沿能力。同时，xAI引入了Grok-2 mini，一个小巧但功能强大的Grok-2的兄弟模型。Grok-2的早期版本已经在LMSYS排行榜上以“sus-column-r”的名字进行了测试。它在整体Elo得分方面超过了Claude 3.5 Sonnet和GPT-4-Turbo。