产品库

强大的数学和编程模型，具备高度连贯性和多轮对话能力。

Mistral-22b-v.02 是一个强大的模型，展现出出色的数学才能和编程能力。相较于V1，V2模型在连贯性和多轮对话能力方面有显著提升。该模型经过重新调整取消了审查，能够回答任何问题。训练数据主要包括多轮对话，特别强调编程内容。此外，模型具备智能体能力，可执行真实世界任务。训练采用了32k的上下文长度。在使用时需遵循GUANACO提示格式。

基于PRIME方法训练的7B参数语言模型，专为提升推理能力而设计。

PRIME-RL/Eurus-2-7B-PRIME是一个基于PRIME方法训练的7B参数的语言模型，旨在通过在线强化学习提升语言模型的推理能力。该模型从Eurus-2-7B-SFT开始训练，利用Eurus-2-RL-Data数据集进行强化学习。PRIME方法通过隐式奖励机制，使模型在生成过程中更加注重推理过程，而不仅仅是结果。该模型在多项推理基准测试中表现出色，相较于其SFT版本平均提升了16.7%。其主要优点包括高效的推理能力提升、较低的数据和模型资源需求，以及在数学和编程任务中的优异表现。该模型适用于需要复杂推理能力的场景，如编程问题解答和数学问题求解。

一款高效率的2.4亿参数轻量级语言模型

YuLan-Mini是由中国人民大学AI Box团队开发的一款轻量级语言模型，具有2.4亿参数，尽管仅使用1.08T的预训练数据，但其性能可与使用更多数据训练的行业领先模型相媲美。该模型特别擅长数学和代码领域，为了促进可复现性，团队将开源相关的预训练资源。

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

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

高效能混合专家语言模型

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%。

Grok-1.5带有改进的推理能力和128,000个标记的上下文长度。

Grok-1.5是一种先进的大型语言模型,具有出色的长文本理解和推理能力。它可以处理高达128,000个标记的长上下文,远超以前模型的能力。在数学和编码等任务中,Grok-1.5表现出色,在多个公认的基准测试中获得了极高的分数。该模型建立在强大的分布式训练框架之上,确保高效和可靠的训练过程。Grok-1.5旨在为用户提供强大的语言理解和生成能力,助力各种复杂的语言任务。

自然语言处理模型

LLaMA Pro 是一种用于大规模自然语言处理的模型。通过使用 Transformer 模块的扩展，该模型可以在不遗忘旧知识的情况下，高效而有效地利用新语料库来提升模型的知识。LLaMA Pro 具有出色的性能，在通用任务、编程和数学方面都表现出色。它是基于 LLaMA2-7B 进行初始化的通用模型。LLaMA Pro 和其指导类模型（LLaMA Pro-Instruct）在各种基准测试中均取得了先进的性能，展示了在智能代理中进行推理和处理各种任务的巨大潜力。该模型为将自然语言和编程语言进行整合提供了宝贵的见解，为在各种环境中有效运作的先进语言代理的开发奠定了坚实的基础。

ChatGPT技术面试实时答疑助手

Chadview是一个基于ChatGPT的实时会议助手，用于技术面试。它能够在Zoom、Google Meet和Teams等视频会议中实时回答问题，帮助面试者节省时间和提高效率。Chadview使用Chrome插件捕捉浏览器中的音频，并通过ChatGPT API提供准确的编程、分析和数学问题的答案。用户只需在视频通话期间点击“Ask”按钮，Chadview将在3-4秒内生成适当的回答。Chadview的定价为每月15美元，用户可以随时取消订阅。

一个智能助手，通过自然语言简化 AI 算法的调试和部署。

ComfyUI-Copilot 是一个基于 Comfy-UI 框架的智能助手，旨在通过自然语言交互简化和增强 AI 算法的调试和部署过程。该产品的设计目标是降低开发门槛，让即使是初学者也能轻松使用。其智能推荐功能和实时支持能够显著提高开发效率，解决开发过程中遇到的问题。同时，ComfyUI-Copilot 支持多种模型，并提供详细的节点查询和工作流建议，为用户提供全面的开发辅助。此项目仍在早期阶段，用户可通过 GitHub 获取最新代码和功能更新。

Gemini 2.5 是谷歌最智能的 AI 模型，具备推理能力。

Gemini 2.5 是谷歌推出的最先进的 AI 模型，具备高效的推理能力和编码性能，能够处理复杂问题，并在多项基准测试中表现出色。该模型引入了新的思维能力，结合增强的基础模型和后期训练，支持更复杂的任务，旨在为开发者和企业提供强大的支持。Gemini 2.5 Pro 可在 Google AI Studio 和 Gemini 应用中使用，适合需要高级推理和编码能力的用户。

一个轻量级且强大的多智能体工作流框架

OpenAI Agents SDK是一个用于构建多智能体工作流的框架。它允许开发者通过配置指令、工具、安全机制和智能体之间的交接来创建复杂的自动化流程。该框架支持与任何符合OpenAI Chat Completions API格式的模型集成，具有高度的灵活性和可扩展性。它主要用于编程场景中，帮助开发者快速构建和优化智能体驱动的应用程序。

AI Dev通过自动化重复开发任务，帮助开发者节省时间，专注于创造力。

AI Dev是一款专注于编程领域的工具，通过自动化处理重复性开发任务，让开发者能够将更多精力投入到创造性工作中。这种技术的重要性在于提高开发效率，减少人力成本，同时提升开发质量。产品主要面向软件开发者和企业，定位为高效开发助手，目前暂无明确价格信息。

Gemini Embedding 是一种先进的文本嵌入模型，通过 Gemini API 提供强大的语言理解能力。

Gemini Embedding 是 Google 推出的一种实验性文本嵌入模型，通过 Gemini API 提供服务。该模型在多语言文本嵌入基准测试（MTEB）中表现卓越，超越了之前的顶尖模型。它能够将文本转换为高维数值向量，捕捉语义和上下文信息，广泛应用于检索、分类、相似性检测等场景。Gemini Embedding 支持超过 100 种语言，具备 8K 输入标记长度和 3K 输出维度，同时引入了嵌套表示学习（MRL）技术，可灵活调整维度以满足存储需求。该模型目前处于实验阶段，未来将推出稳定版本。

基于LLM的代理框架，用于在代码库中执行大规模代码迁移。

Aviator Agents 是一款专注于代码迁移的编程工具。它通过集成LLM技术，能够直接与GitHub连接，支持多种模型，如Open-AI o1、Claude Sonnet 3.5、Llama 3.1和DeepSeek R1。该工具可以自动执行代码迁移任务，包括搜索代码依赖、优化代码、生成PR等，极大提高了代码迁移的效率和准确性。它主要面向开发团队，帮助他们高效完成代码迁移工作，节省时间和精力。

两个会话型AI代理在确认彼此为AI后切换到声音级协议进行通信

GibberLink是一个基于ggwave数据传输协议的AI通信模型。它允许两个独立的AI代理在对话中识别彼此为AI后，从英语切换到声音级协议进行通信。这种技术展示了AI在识别和切换通信方式上的灵活性，具有重要的研究和应用价值。项目基于开源协议，适合开发者进行二次开发和集成。目前未明确提及价格，但其开源性质意味着开发者可以免费使用和扩展。

将任何网页转化为Python编程环境，无需设置即可执行代码。

Cliprun 是一款基于浏览器的 Python 编程工具，通过 Chrome 插件的形式，让用户能够在任何网页上直接运行 Python 代码。它利用 Pyodide 技术，实现了无需本地环境配置的即时代码执行。该工具的主要优点包括无需安装 Python 环境、支持多种常用 Python 库（如 pandas、numpy、matplotlib 等）、提供代码片段保存功能以及支持数据可视化和自动化脚本运行。Cliprun 主要面向开发者、数据分析师和编程学习者，旨在提供一个便捷、高效的在线编程环境，帮助用户快速实现代码测试、数据分析和自动化任务。

OOMOL Studio 是一个通过直观视觉交互连接代码片段和 API 服务的 AI 工作流 IDE。

OOMOL Studio 是一款面向开发人员和数据科学家的 AI 工作流 IDE。它通过直观的视觉交互方式，帮助用户轻松连接代码片段和 API 服务，从而缩短从想法到产品的距离。该产品支持 Python 和 Node.js 等编程语言，内置丰富的 AI 功能节点和大模型 API，能够满足用户在数据处理、多媒体处理等多场景下的需求。其主要优点包括直观交互、预安装环境、编程友好和社区共享等。产品定位为高效、便捷的 AI 开发工具，适用于不同技术水平的用户。

专为专业软件工程师和大型代码库设计的人工智能开发助手。

Augment Code 是一款面向专业软件工程师的 AI 开发助手，旨在帮助开发者更好地管理和优化复杂的代码库。它通过智能的代码编辑建议、实时代码补全和团队协作功能，提升开发效率并降低维护成本。Augment Code 支持多种开发环境，如 VSCode、JetBrains 和 Vim，并与 GitHub 和 Slack 等工具无缝集成。其主要优点包括高效代码管理、智能编辑建议和强大的团队协作支持，适合大型团队和复杂项目。

LLaDA是一种大规模语言扩散模型，具备强大的语言生成能力，与LLaMA3 8B性能相当。

LLaDA是一种新型的扩散模型，通过扩散过程生成文本，与传统的自回归模型不同。它在语言生成的可扩展性、指令遵循、上下文学习、对话能力和压缩能力等方面表现出色。该模型由中国人民大学和蚂蚁集团的研究人员开发，具有8B的规模，完全从零开始训练。其主要优点是能够通过扩散过程灵活地生成文本，支持多种语言任务，如数学问题解答、代码生成、翻译和多轮对话等。LLaDA的出现为语言模型的发展提供了新的方向，尤其是在生成质量和灵活性方面。

国内首个AI原生IDE，深度理解中文开发场景，提供高效、优质的开发体验。

Trae是一款专为中文开发场景设计的AI原生IDE，将AI技术深度集成于开发环境中。它通过智能代码补全、上下文理解等功能，显著提升开发效率和代码质量。Trae的出现填补了国内AI集成开发工具的空白，满足了中文开发者对高效开发工具的需求。其定位为高端开发工具，旨在为专业开发者提供强大的技术支持，目前尚未明确公开价格，但预计会采用付费模式以匹配其高端定位。

一个用于构建Retrieval-Augmented Generation (RAG)应用的开源项目。

bRAG-langchain是一个开源项目，专注于Retrieval-Augmented Generation (RAG)技术的研究与应用。RAG是一种结合了检索和生成的AI技术，通过检索相关文档并生成回答，为用户提供更准确、更丰富的信息。该项目提供了从基础到高级的RAG实现指南，帮助开发者快速上手并构建自己的RAG应用。其主要优点是开源、灵活且易于扩展，适合各种需要自然语言处理和信息检索的应用场景。

QwQ-Max-Preview 是 Qwen 系列的最新成果，基于 Qwen2.5-Max 构建，具备强大的推理和多领域应用能力。

QwQ-Max-Preview 是 Qwen 系列的最新成果，基于 Qwen2.5-Max 构建。它在数学、编程以及通用任务中展现了更强的能力，同时在与 Agent 相关的工作流中也有不错的表现。作为即将发布的 QwQ-Max 的预览版，这个版本还在持续优化中。其主要优点包括深度推理、数学、编程和 Agent 任务的强大能力。未来计划以 Apache 2.0 许可协议开源发布 QwQ-Max 以及 Qwen2.5-Max，旨在推动跨领域应用的创新。

Claude 3.7 Sonnet 是 Anthropic 推出的最新智能模型，支持快速响应和深度推理。

Claude 3.7 Sonnet 是 Anthropic 推出的最新混合推理模型，能够实现快速响应和深度推理的无缝切换。它在编程、前端开发等领域表现出色，并通过 API 提供对推理深度的精细控制。该模型不仅提升了代码生成和调试能力，还优化了对复杂任务的处理，适用于企业级应用。其定价与前代产品一致，输入每百万 token 收费 3 美元，输出每百万 token 收费 15 美元。

一个开源的多智能体聊天界面，支持在一个动态对话中管理多个智能体。

Open Multi-Agent Canvas 是一个基于 Next.js、LangGraph 和 CopilotKit 构建的开源多智能体聊天界面。它允许用户在一个动态对话中管理多个智能体，主要用于旅行规划和研究。该产品利用先进的技术，为用户提供高效、灵活的多智能体交互体验。其开源特性使得开发者可以根据需求进行定制和扩展，具有很高的灵活性和可扩展性。

DeepHermes 3 是一款支持推理和常规响应模式的大型语言模型。

DeepHermes 3 是 NousResearch 开发的先进语言模型，能够通过系统性推理提升回答准确性。它支持推理模式和常规响应模式，用户可以通过系统提示切换。该模型在多轮对话、角色扮演、推理等方面表现出色，旨在为用户提供更强大和灵活的语言生成能力。模型基于 Llama-3.1-8B 微调，参数量达 80.3 亿，支持多种应用场景，如推理、对话、函数调用等。

一个在线代码编辑器，支持多种编程语言，提供代码片段分享和Web开发功能。

CodeOrbital是一个在线代码编辑平台，为开发者提供了一个便捷的编程环境。它支持多种编程语言，如JavaScript等，用户可以在浏览器中直接编写、运行和调试代码。该平台还提供了代码片段分享功能，方便开发者之间交流和学习。此外，它还集成了Web开发功能，支持HTML、CSS和JavaScript的实时预览，让开发者能够快速构建和测试Web项目。CodeOrbital的主要优点是便捷性、实时反馈和社区共享功能，适合编程初学者和专业开发者使用。目前该平台是免费的，旨在为开发者提供一个高效、协作的编程环境。

一个专注于超大规模系统设计和优化的工具，提供高效解决方案。

The Ultra-Scale Playbook 是一个基于 Hugging Face Spaces 提供的模型工具，专注于超大规模系统的优化和设计。它利用先进的技术框架，帮助开发者和企业高效地构建和管理大规模系统。该工具的主要优点包括高度的可扩展性、优化的性能和易于集成的特性。它适用于需要处理复杂数据和大规模计算任务的场景，如人工智能、机器学习和大数据处理。产品目前以开源的形式提供，适合各种规模的企业和开发者使用。

在Kie.ai上集成DeepSeek R1和V3 API，提供安全且可扩展的AI解决方案。

DeepSeek R1与V3 API是Kie.ai提供的强大AI模型接口。DeepSeek R1是专为数学、编程和逻辑推理等高级推理任务设计的最新推理模型，经过大规模强化学习训练，能够提供精准结果。DeepSeek V3则适用于处理常规AI任务。这些API部署在美国安全服务器上，保障数据安全与隐私。Kie.ai还提供详细的API文档和多种定价方案，满足不同需求，助力开发者快速集成AI能力，提升项目性能。

Nia 是一款协作式 AI 开发工具，帮助开发者理解代码库、构建自定义应用并优化工作流程。

Nia 是一款面向开发者的 AI 工具，专注于代码库的理解和协作开发。它通过高级语义文件搜索和代码理解能力，帮助开发者快速找到所需文件、理解代码结构，并通过 API 集成到现有工作流程中。Nia 的主要优点包括高效理解代码库、简化新成员入职流程以及强大的 API 集成能力。目前处于免费试用阶段，目标是帮助开发者提高开发效率。