产品库

一款由Mistral AI推出的先进编程辅助模型。

Codestral 25.01是由Mistral AI推出的一款先进的编程辅助模型，它代表了当前编程模型领域的前沿技术。该模型具有轻量级、快速以及精通80多种编程语言的特点，专为低延迟、高频率的使用场景进行了优化，并支持诸如代码填充（FIM）、代码纠正和测试生成等任务。Codestral 25.01在架构和分词器方面进行了改进，代码生成和补全速度比前代产品快约2倍，成为了同级别中编程任务的领导者，尤其在FIM用例中表现突出。其主要优点包括高效的架构、快速的代码生成能力以及对多种编程语言的精通，对于提升开发者的编程效率具有重要意义。Codestral 25.01目前通过Continue.dev等IDE/IDE插件合作伙伴向全球开发者推出，并支持本地部署，以满足企业对于数据和模型驻留的需求。

一个尝试复现OpenAI O1模型的编程辅助工具

O1-CODER是一个旨在复现OpenAI的O1模型的项目，专注于编程任务。该项目结合了强化学习(RL)和蒙特卡洛树搜索(MCTS)技术，以增强模型的系统二型思考能力，目标是生成更高效、逻辑性更强的代码。这个项目对于提升编程效率和代码质量具有重要意义，尤其是在需要大量自动化测试和代码优化的场景中。

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

Qwen2.5-Coder是Qwen大型语言模型的最新系列，专注于代码生成、代码推理和代码修复。基于强大的Qwen2.5，该模型在训练中包含了5.5万亿的源代码、文本代码关联、合成数据等，是目前开源代码语言模型中的佼佼者，其编码能力可与GPT-4相媲美。此外，Qwen2.5-Coder还具备更全面的现实世界应用基础，如代码代理等，不仅增强了编码能力，还保持了在数学和通用能力方面的优势。

Qwen2.5-Coder系列的1.5B参数指令调优模型

Qwen2.5-Coder是Qwen大型语言模型的最新系列，专为代码生成、代码推理和代码修复而设计。基于强大的Qwen2.5，通过增加训练令牌至5.5万亿，包括源代码、文本代码基础、合成数据等，Qwen2.5-Coder-32B已成为当前最先进的开源代码大型语言模型，其编码能力与GPT-4o相匹配。此模型是1.5B参数的指令调优版本，采用GGUF格式，具有因果语言模型、预训练和后训练阶段、transformers架构等特点。

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

Qwen2.5-Coder是Qwen大型语言模型的最新系列，专为代码生成、推理和修复而设计。基于强大的Qwen2.5，该模型在训练时包含了5.5万亿的源代码、文本代码基础、合成数据等，使其在代码能力上达到了开源代码LLM的最新水平。它不仅增强了编码能力，还保持了在数学和通用能力方面的优势。

Qwen2.5-Coder系列中的3B参数指令调优模型

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

开源代码生成语言模型

Qwen2.5-Coder-32B-Instruct-GPTQ-Int8是Qwen系列中针对代码生成优化的大型语言模型，拥有32亿参数，支持长文本处理，是当前开源代码生成领域最先进的模型之一。该模型基于Qwen2.5进行了进一步的训练和优化，不仅在代码生成、推理和修复方面有显著提升，而且在数学和通用能力上也保持了优势。模型采用GPTQ 8-bit量化技术，以减少模型大小并提高运行效率。

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

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

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

Qwen2.5-Coder-1.5B是Qwen2.5-Coder系列中的一款大型语言模型，专注于代码生成、代码推理和代码修复。基于强大的Qwen2.5，该模型通过扩展训练令牌至5.5万亿，包括源代码、文本代码基础、合成数据等，成为当前开源代码LLM中的佼佼者，编码能力媲美GPT-4o。此外，Qwen2.5-Coder-1.5B还强化了数学和通用能力，为实际应用如代码代理提供了更全面的基础。

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

Qwen2.5-Coder是Qwen大型语言模型的最新系列，专注于代码生成、代码推理和代码修复。基于Qwen2.5的强大能力，该模型在训练时使用了5.5万亿的源代码、文本代码基础、合成数据等，是目前开源代码生成语言模型中的佼佼者，编码能力与GPT-4o相媲美。它不仅增强了编码能力，还保持了在数学和通用能力方面的优势，为实际应用如代码代理提供了更全面的基础。

Qwen2.5-Coder系列的3B参数指令调优模型

Qwen2.5-Coder是Qwen大型语言模型的最新系列，专注于代码生成、代码推理和代码修复。基于强大的Qwen2.5，该系列模型通过增加训练令牌至5.5万亿，包括源代码、文本代码接地、合成数据等，显著提升了代码生成、推理和修复能力。Qwen2.5-Coder-3B是该系列中的一个模型，拥有3.09B参数，36层，16个注意力头（Q）和2个注意力头（KV），全32,768令牌上下文长度。该模型是目前开源代码LLM中的佼佼者，编码能力与GPT-4o相匹配，为开发者提供了一个强大的代码辅助工具。

7B参数的代码生成语言模型

Qwen2.5-Coder-7B-Instruct是Qwen2.5-Coder系列中的一款代码特定大型语言模型，覆盖了0.5、1.5、3、7、14、32亿参数的六种主流模型尺寸，以满足不同开发者的需求。该模型在代码生成、代码推理和代码修复方面有显著提升，基于强大的Qwen2.5，训练令牌扩展到5.5万亿，包括源代码、文本代码基础、合成数据等。Qwen2.5-Coder-32B已成为当前最先进的开源代码LLM，其编码能力与GPT-4o相匹配。此外，该模型还支持长达128K令牌的长上下文，并为实际应用如代码代理提供了更全面的基础。

代码生成与理解的大型语言模型

Qwen2.5-Coder-14B是Qwen系列中专注于代码的大型语言模型，覆盖了0.5到32亿参数的不同模型尺寸，以满足不同开发者的需求。该模型在代码生成、代码推理和代码修复方面有显著提升，基于强大的Qwen2.5，训练令牌扩展到5.5万亿，包括源代码、文本代码接地、合成数据等。Qwen2.5-Coder-32B已成为当前最先进的开源代码LLM，其编码能力与GPT-4o相匹配。此外，它还为现实世界应用如代码代理提供了更全面的基础，不仅增强了编码能力，还保持了在数学和通用能力方面的优势。支持长达128K令牌的长上下文。

Qwen2.5-Coder系列中参数最多的开源代码生成模型

Qwen2.5-Coder-32B是基于Qwen2.5的代码生成模型，拥有32亿参数，是目前开源代码语言模型中参数最多的模型之一。它在代码生成、代码推理和代码修复方面有显著提升，能够处理长达128K tokens的长文本，适用于代码代理等实际应用场景。该模型在数学和通用能力上也保持了优势，支持长文本处理，是开发者在进行代码开发时的强大助手。

Xcode的智能侧边栏助手

Alex Sidebar是一个为Xcode设计的智能侧边栏插件，它通过提供多种功能来增强开发者的编程效率。产品背景信息显示，Alex Sidebar由Combinator支持，是一款在Beta阶段免费提供给用户的插件。它通过语义搜索、代码生成、错误自动修复等功能，帮助开发者更快速、更智能地编写代码。

将你的想法快速转化为代码

Code2.AI是一个创新的在线平台，它通过人工智能技术帮助开发者将想法快速转化为代码。该平台通过压缩代码库，使AI能够理解并与开发者一同编程。Code2.AI的主要优点包括加速开发进程、无限制的编码能力以及与现有项目的无缝集成。它支持任何编程语言，无论是Web还是移动开发，都能提供完整的函数代码，而不仅仅是代码片段。此外，Code2.AI还提供了详细的使用指南，帮助用户更有效地利用AI进行编程。

开启代码智能新篇章的模型

WaveCoder是由微软亚洲研究院开发的代码大语言模型，通过指令微调增强代码大语言模型的广泛性和多功能性。它在代码摘要、生成、翻译、修复等多个编程任务上展现出卓越的性能。WaveCoder的创新之处在于其使用的数据合成框架和两阶段指令数据生成策略，确保了数据的高质量和多样性。该模型的开源，为开发者提供了一个强大的编程辅助工具，有助于提高开发效率和代码质量。

专业程序员AI问答工具

C知道是由CSDN和外部合作伙伴联合研发的生成式AI产品，专注于为程序员提供问答、对话、文件分析、代码生成等服务，旨在提高工作学习效率。它通过先进的人工智能技术，能够理解并回答与编程相关的问题，支持多种编程语言和框架，是程序员日常开发和学习过程中的得力助手。

高性能多模态AI模型

Gemini Pro是DeepMind推出的一款高性能多模态AI模型，专为广泛的任务设计，具有高达两百万token的长上下文窗口，能够处理大规模文档、代码、音频和视频等。它在多个基准测试中表现出色，包括代码生成、数学问题解决和多语言翻译等。

高性能的开源代码模型

Mamba-Codestral-7B-v0.1 是 Mistral AI Team 开发的基于 Mamba2 架构的开源代码模型，性能与最先进的基于 Transformer 的代码模型相当。它在多个行业标准基准测试中表现出色，提供高效的代码生成和理解能力，适用于编程和软件开发领域。

开源代码语言模型，提升编程智能。

DeepSeek-Coder-V2是一个开源的Mixture-of-Experts (MoE) 代码语言模型，性能与GPT4-Turbo相当，在代码特定任务上表现卓越。它在DeepSeek-Coder-V2-Base的基础上，通过6万亿token的高质量多源语料库进一步预训练，显著增强了编码和数学推理能力，同时保持了在通用语言任务上的性能。支持的编程语言从86种扩展到338种，上下文长度从16K扩展到128K。

基于Dolphin-2.9-Mixtral-8x22b的先进AI模型

Dolphin 2.9.1 Mixtral 1x22b是由Cognitive Computations团队精心训练和策划的AI模型，基于Dolphin-2.9-Mixtral-8x22b版本，拥有Apache-2.0许可。该模型具备64k上下文容量，通过16k序列长度的全权重微调，经过27小时在8个H100 GPU上的训练完成。Dolphin 2.9.1具有多样的指令、对话和编码技能，还具备初步的代理能力和支持函数调用。该模型未进行审查，数据集已过滤去除对齐和偏见，使其更加合规。建议在作为服务公开之前，实施自己的对齐层。

优秀的代码助手，智能化编程体验

Fitten Code是一个GPT驱动的代码生成和完成工具，支持多种语言：Python、Javascript、Typescript、Java等。它能够自动为您的代码补充缺失的部分，节省您宝贵的开发时间。基于AI大模型对代码进行语义级翻译，支持多种编程语言互译。同时，它能够根据您的代码自动生成相关注释，为您的代码提供清晰易懂的解释和文档。除此之外，它还拥有智能bug查找、解释代码、自动生成单元测试的功能，以及根据代码自动产生相应的测试用例等功能。

Mistral 7B是最佳7B模型

Mistral 7B是由Mistral AI免费提供给所有人使用的第一个大型语言模型。它适用于许多用例，具有优秀的自然编码能力和8k序列长度。该模型在所有基准测试中表现优于Llama 2.13B，并且在代码和推理基准测试中远远超过其他模型。Mistral 7B易于在任何云端和游戏GPU上部署。

Amazon Q是亚马逊推出的面向IT专业人员和开发者的新型生成式AI助手

Amazon Q将生成式AI带入日常工作,可提供定制化的业务支持,协助开发者编写代码、解决问题、优化工作负载等,从而简化应用程序开发的全部阶段。它可以快速回答问题、编写代码、故障排除和生成新功能代码。

昆仑万维开源的高性能数学代码推理模型，性能卓越

Skywork-OR1是由昆仑万维天工团队开发的高性能数学代码推理模型。该模型系列在同等参数规模下实现了业界领先的推理性能，突破了大模型在逻辑理解与复杂任务求解方面的能力瓶颈。Skywork-OR1系列包括Skywork-OR1-Math-7B、Skywork-OR1-7B-Preview和Skywork-OR1-32B-Preview三款模型，分别聚焦数学推理、通用推理和高性能推理任务。此次开源不仅涵盖模型权重，还全面开放了训练数据集和完整训练代码，所有资源均已上传至GitHub和Huggingface平台，为AI社区提供了完全可复现的实践参考。这种全方位的开源策略有助于推动整个AI社区在推理能力研究上的共同进步。

一个可以复制任何网页UI界面并生成代码提示的工具。

Same是一个强大的在线工具，允许用户通过输入网页链接生成对应的代码提示，帮助开发者快速复现目标网站的UI界面。它基于先进的网页解析技术，能够精准提取页面元素并生成可复用的代码片段。该工具对于前端开发者来说是一个高效的辅助工具，能够节省大量的时间和精力，特别是在需要快速搭建原型或进行界面克隆时。目前，Same以免费的形式提供服务，主要面向开发者和设计人员。

基于DeepSeek R1和V3模型的浏览器侧边栏AI工具，提供问答、创作、翻译等功能

DeepSider是一款集成于浏览器侧边栏的AI智能助手，基于DeepSeek R1和V3模型开发。它以极简交互和超快响应速度，帮助用户在工作、学习和日常娱乐中应对复杂任务。产品免费开放，旨在为用户提供高效、稳定且功能强大的AI体验。

Qodo Gen 是一款 AI 驱动的 IDE 插件，帮助开发者生成高质量代码和测试用例。

Qodo Gen 是一款专为开发者设计的 AI 编程工具，以插件形式集成到 IDE 中。它通过智能代码生成、自动化测试和代码审查等功能，帮助开发者提高编程效率和代码质量。其基于 Retrieval Augmented Generation (RAG) 技术，能够理解代码上下文并生成符合项目风格的代码和测试用例。Qodo Gen 的主要优点包括高效生成代码和测试用例、智能代码审查以及与现有开发流程的无缝集成。产品面向追求高效开发和高质量代码的开发团队，支持多种编程语言和开发环境，定价策略灵活，适合不同规模的企业使用。

私密且无审查的人工智能平台，提供文本、图像和代码生成等功能。

Venice 是一个以隐私保护为核心的人工智能平台，提供文本生成、图像生成和代码生成等多种功能。它强调用户数据的私密性，所有数据仅存储在用户设备上，不会上传至服务器。该平台利用领先的开源 AI 技术，提供无审查、无偏见的智能服务，旨在为用户提供一个自由探索创意和知识的环境。Venice 提供免费和付费两种账户选项，付费用户可享受更高分辨率的图像、无水印、无限制的提示次数等高级功能。