产品库

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功能，帮助开发人员加速编码过程。支持所有编程语言。定价详见官网。

QwQ是一款专注于深度推理能力的AI研究模型。

QwQ（Qwen with Questions）是一款由Qwen团队开发的实验性研究模型，旨在提升人工智能的推理能力。它以一种哲学精神，对每个问题都抱有真正的好奇和怀疑，通过自我提问和反思来寻求更深层次的真理。QwQ在数学和编程领域表现出色，尤其是在处理复杂问题时。尽管它仍在学习和成长，但它已经展现出了在技术领域深度推理的重要潜力。

社区驱动的专家级LLMs市场，专为技术主题设计。

Lune AI是一个社区驱动的专家级大型语言模型（LLMs）市场，由开发者在技术主题上创建，以超越单独的AI模型。它通过集成各种技术知识源，如GitHub仓库、文档等，减少技术查询的幻觉，并提供准确的参考。Lune AI的API与OpenAI兼容，可以轻松集成到各种支持OpenAI兼容模型的工具中，如Cursor、Continue等。此外，Lune AI还提供了一个付费计划，用户可以通过贡献和创建Lunes来获得报酬。

.NET 9，跨平台开发的最新力作。

.NET 9是微软推出的最新跨平台开发框架，它集成了数千项性能、安全性和功能改进，使得开发者能够以统一的平台构建应用程序，并轻松地将AI融入应用。.NET 9不仅提升了运行时性能，还增强了对AI的支持，改进了ASP.NET Core和Blazor框架，以及对.NET MAUI的多平台应用开发进行了增强。

Qwen2.5-Coder系列中的0.5B参数代码生成模型

Qwen2.5-Coder是Qwen大型语言模型的最新系列，专注于代码生成、代码推理和代码修复。基于强大的Qwen2.5，该系列模型通过增加训练令牌至5.5万亿，包括源代码、文本代码基础、合成数据等，显著提升了编码能力。Qwen2.5-Coder-32B已成为当前最先进的开源代码大型语言模型，编码能力与GPT-4o相当。此外，Qwen2.5-Coder还为实际应用如代码代理提供了更全面的基础，不仅增强了编码能力，还保持了在数学和通用能力方面的优势。

Qwen2.5-Coder系列中的3B参数模型，专注于代码生成与理解。

Qwen2.5-Coder-3B是Qwen2.5-Coder系列中的一个大型语言模型，专注于代码生成、推理和修复。基于强大的Qwen2.5，该模型通过增加训练令牌至5.5万亿，包括源代码、文本代码基础、合成数据等，实现了在代码生成、推理和修复方面的显著改进。Qwen2.5-Coder-32B已成为当前最先进的开源代码大型语言模型，其编码能力与GPT-4o相匹配。此外，Qwen2.5-Coder-3B还为现实世界的应用提供了更全面的基础，如代码代理，不仅增强了编码能力，还保持了在数学和通用能力方面的优势。

AI监控广告数据，提升游戏和应用的ROAS。

Segwise是一个专注于游戏和应用领域的广告数据监控平台，通过AI技术帮助用户监控和分析广告活动数据，及时发现并解决问题，避免广告预算的浪费。产品背景信息显示，Segwise已经筹集了160万美元资金，并且提供了一个名为Melron的AI监控工具，能够自动从移动测量合作伙伴(MMPs)获取和分析数据。Segwise的主要优点包括无需工程师参与、无需信用卡即可开始免费试用，以及提供无缝集成所有数据源的能力。

AI应用快速生成器

AnotherWrapper是一个AI应用快速生成器，旨在帮助开发者节省100多个小时的编码和头痛时间。它提供了一个全功能的Next.js AI启动套件，集成了多种AI模型和后端API路由，允许用户在沙盒中尝试并下载代码。产品背景信息显示，开发者Fekri在15个月内构建了约10个不同的AI应用，注意到在设置基础设施上浪费了大量时间，因此创建了这个工具以简化流程。产品定位于帮助用户快速启动AI创业项目，价格方面提供一次性付费，无限产品构建的选项。

多智能体系统，解决复杂任务

Magentic-One是由微软研究团队开发的一个通用多智能体系统，旨在解决开放性网络和文件任务。该系统代表了人工智能领域向代理系统发展的重要一步，这些系统能够完成人们在工作和生活中遇到的复杂多步骤任务。Magentic-One采用了一个名为Orchestrator的主智能体，负责规划、跟踪进度和在需要时重新规划，同时指导其他专门智能体执行任务，如操作网络浏览器、导航本地文件或编写和执行Python代码。Magentic-One在多个挑战性的代理基准测试中表现出与最新技术相媲美的性能，且无需对其核心能力或架构进行修改。

AI生成的应用，全栈+生成式UI

cofounder是一个全栈AI生成的应用，它结合了后台、数据库和有状态的web应用。它基于应用架构的生成式UI，拥有AI引导的草图设计和模块化设计系统。这个项目还处于早期alpha阶段，但已经展现出强大的潜力，尤其是在快速原型设计和开发方面。它的目标是提供一个完整的本地、基于浏览器的开发环境，支持多种框架，并且通过集成的AI插件提供生成式设计系统。

一个需要JavaScript支持的网页应用

Codura是一个编程相关的网站，它可能提供了一些在线编程工具或服务。由于页面需要JavaScript支持，我们可以推测它可能包含了一些交互式功能，比如在线代码编辑器、代码测试环境等。这类工具对于开发者来说非常重要，因为它们可以提高开发效率，方便代码的快速测试和迭代。Codura的具体价格和定位信息需要进一步的页面内容来确定。

AI驱动的工具，无需编码即可创建和分享个性化微应用。

GitHub Spark是一个AI驱动的工具，旨在让用户无需编写或部署任何代码即可创建和分享个性化的微应用（sparks）。它通过自然语言编辑器、托管运行环境和PWA支持的仪表板三个紧密集成的组件实现这一目标。GitHub Spark的背景是让软件个性化变得像个性化开发环境一样简单，并使周围的人也能这样做。产品的主要优点包括无需编码、易于分享和个性化、以及强大的AI模型支持。

构建多智能体系统的JavaScript框架

KaibanJS是一个专为JavaScript开发者设计的框架，用于构建和协调AI智能体。它允许开发者以类似微服务的方式处理AI任务，每个智能体负责不同的任务，如数据处理、处理和输出生成，全部自动协同工作。KaibanJS强调易用性和原生JavaScript支持，使得JavaScript开发者也能享受到构建复杂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场景中得到验证。