产品库

一款支持80+编程语言的AI代码生成模型

Codestral-22B-v0.1是由Mistral AI Team开发的大型语言模型，它经过了80多种编程语言的训练，包括Python、Java、C、C++、JavaScript和Bash等。该模型能够根据指令生成代码，或对代码片段进行解释、重构等。它还支持Fill in the Middle (FIM)功能，用于预测代码中的中间部分，特别适合软件开发工具的插件使用，如VS Code。该模型目前没有内容审查机制，但开发团队正在寻求社区合作，以实现在需要内容审查的环境中部署。

智能编程助手，提升开发效率。

CodeGeeX是一款基于大模型的全能智能编程助手，能够实现代码的生成与补全、自动添加注释、代码翻译以及智能问答等功能，支持多种主流IDE和编程语言，帮助开发者显著提高工作效率。

AI驱动开发环境，集成AI Flow到编码工作流程中。

Windsurf AI Directory 提供了一个精选的资源、教程和指南集合，旨在为Windsurf AI Editor这一下一代AI驱动开发环境赋能。Windsurf AI Editor通过集成AI Flow到编码工作流程中，促进了开发者与AI的协作，提高了开发效率和质量。它通过提供AI编程伙伴Cascade、生产力特性、高级开发技术等，助力开发者构建交互式游戏、复杂的商业应用和革新的Web开发。

基于敏捷方法论的软件开发多智能体框架

AgileCoder是一个创新的多智能体软件开发框架，灵感来源于专业软件工程中广泛使用的敏捷方法论。该框架的关键在于其任务导向的方法，而不是给智能体分配固定角色，AgileCoder通过创建任务积压和将开发过程划分为冲刺，模仿现实世界的软件开发，每个冲刺都会动态更新积压。AgileCoder支持多种模型，包括OpenAI、Azure OpenAI、Anthropic以及自托管的Ollama模型。

新一代开放代码模型，提升编程效率。

Qwen2.5-Coder是Qwen2.5开源家族的一员，专注于代码生成、推理、修复等任务。它通过扩增大规模代码训练数据，提升了代码能力，同时保持了数学和通用能力。该模型支持92种编程语言，并在代码相关任务中取得了显著提升。Qwen2.5-Coder采用Apache 2.0许可，旨在加速代码智能的应用。

AI工具，协助用户构建软件项目。

Replit Agent是一个AI驱动的工具，旨在帮助用户构建软件项目。它能够理解自然语言提示，并协助从头开始创建应用程序，使得软件开发对所有技能水平的用户更加易于接近。Replit Agent是Replit在将AI编码工具普及化方面的最新尝试，它将人类与机器的协作推向了一个新的层次，使得AI代理和人类能够互补、相互填补空白并相互学习。

轻量级多语言跨平台集成开发环境

deepin-IDE是一款专为开发者设计的轻量级多语言跨平台集成开发环境，支持C/C++、JAVA、Python、JS等多种编程语言。它具备版本管理、智能编辑器、工具链管理等基础能力，并支持代码迁移、反向调试等特色功能。deepin-IDE还融入了AI智能编程技术，如代码生成、代码翻译和注释生成，大幅提升开发效率。此外，它支持国产硬件平台如龙芯、飞腾等，致力于构建操作系统新生态。

12B参数的大型语言模型

Mistral-Nemo-Base-2407是由Mistral AI和NVIDIA联合训练的12B参数大型预训练生成文本模型。该模型在多语言和代码数据上进行了训练，显著优于相同或更小规模的现有模型。其主要特点包括：Apache 2.0许可证发布，支持预训练和指令版本，128k上下文窗口训练，支持多种语言和代码数据，是Mistral 7B的替代品。模型架构包括40层、5120维、128头维、14364隐藏维、32头数、8个kv头（GQA）、词汇量约128k、旋转嵌入（theta=1M）。该模型在多个基准测试中表现出色，如HellaSwag、Winogrande、OpenBookQA等。

开源代码语言模型，支持多编程语言。

DeepSeek-Coder-V2是一个开源的Mixture-of-Experts代码语言模型，性能可与GPT4-Turbo相媲美，在代码特定任务上表现突出。它通过额外的6万亿个token进一步预训练，增强了编码和数学推理能力，同时保持了在一般语言任务上的相似性能。与DeepSeek-Coder-33B相比，在代码相关任务、推理和一般能力方面都有显著进步。此外，它支持的编程语言从86种扩展到338种，上下文长度从16K扩展到128K。

开源代码语言模型，提升编程和数学推理能力。

DeepSeek-Coder-V2是一个开源的专家混合模型(Mixture-of-Experts, MoE)，专为代码语言设计，其性能与GPT4-Turbo相当。它在代码特定任务上表现优异，同时在通用语言任务上保持了相当的性能。与DeepSeek-Coder-33B相比，V2版本在代码相关任务和推理能力上都有显著提升。此外，它支持的编程语言从86种扩展到了338种，上下文长度也从16K扩展到了128K。

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

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

Codestral是为代码生成任务设计的AI模型。

Codestral是Mistral AI团队推出的首个代码生成AI模型，它能够通过共享指令和完成API端点帮助开发者编写和与代码交互。它在80多种编程语言上进行了训练，包括Python、Java、C、C++、JavaScript和Bash等，能够完成编码功能、编写测试和使用中间填充机制完成部分代码。Codestral在性能上设立了新的标准，它拥有32k的上下文窗口，比竞争对手的4k、8k或16k更大，从而在RepoBench上超越了所有其他模型。此外，它还提供了专用的API端点codestral.mistral.ai，允许用户在IDE中使用Instruct或Fill-In-the-Middle路由，并且提供了8周的免费beta期。Codestral还集成到了LlamaIndex和LangChain等应用框架中，以及VSCode和JetBrains环境中，使得开发者可以在这些环境中生成和与代码进行交互。

微软AI程序员,自主生成代码,性能超GPT-4 30%

AutoDev是微软推出的一款AI程序员工具,可根据用户设定的目标自主生成、执行代码等任务,无需人工干预。它基于GPT-4模型,并采用多Agent协作机制,在HumanEval测试中,代码生成任务Pass@1达91.5%,测试生成任务Pass@1为87.8%,性能均超过GPT-4基线30%以上。AutoDev旨在提高开发效率,降低编程门槛。

多语言代码大模型基座

CodeShell 是一个多语言代码大模型基座，具有强大的代码基础能力。它支持代码生成、代码补全、代码问答等功能。CodeShell 在权威的代码评估 Benchmark 上取得了最优的成绩，并提供了部署方案与 IDE 插件。

软件开发加速

GitWit是一个软件开发加速工具，通过自然语言提示生成代码。使用GitHub账号登录即可开始构建。GitWit将大型语言模型和现代开发工具紧密结合，只需一个提示即可生成和修改代码库。它可用于自动生成样板代码和为全栈应用添加功能。GitWit目前免费提供给最多三个项目使用，无限次数的修订（分支和拉取请求）。

ReaderLM v2是一个用于HTML转Markdown和JSON的前沿小型语言模型。

ReaderLM v2是由Jina AI推出的参数量为1.5B的小型语言模型，专门用于HTML转Markdown转换和HTML转JSON提取，具有卓越的准确性。该模型支持29种语言，能处理高达512K个token的输入和输出组合长度。它采用了新的训练范式和更高质量的训练数据，较前代产品在处理长文本内容和生成Markdown语法方面有重大进步，能熟练运用Markdown语法，擅长生成复杂元素。此外，ReaderLM v2还引入了直接HTML转JSON生成功能，允许用户根据给定的JSON架构从原始HTML中提取特定信息，消除了中间Markdown转换需求。

一个基于Google Gemini 2.0的高精度OCR文字识别应用。

该产品利用Google Gemini 2.0技术，实现高精度的文字识别，支持多国语言和手写字体识别。其主要优点包括高精度识别、多语言支持、优雅的渐变动画效果以及响应式设计。产品适用于需要进行文字识别的各类用户，如学生、研究人员、办公人员等。目前该产品是免费的，旨在为用户提供高效的文字识别解决方案。

上传产品图片，即时创建展示产品的 AI 视频形象。

Topview 2.0 - Product Avatar 是一款利用 AI 技术帮助用户快速生成产品展示视频的在线工具。它通过智能算法将用户上传的产品图片与精心设计的虚拟形象模板相结合，自动生成高质量、可定制的视频内容，无需昂贵的拍摄成本和专业的技术知识。该产品适用于各种规模的企业，尤其适合那些希望以更具吸引力和个性化的方式展示产品，同时节省时间和成本的商家。Topview 提供免费版本以及更高级的付费计划，以满足不同用户的需求。

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

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

Qwen是一个多功能的人工智能助手，提供聊天、写作等多种服务。

Qwen是一个由阿里巴巴推出的智能语言模型，旨在为用户提供高效、智能的对话体验。它基于深度学习技术，能够理解并生成自然语言文本，帮助用户解答问题、撰写文案、进行日常对话等。Qwen的主要优点包括强大的语言理解能力、快速的响应速度和丰富的知识储备。它适用于多种场景，如个人学习、工作沟通、内容创作等，定位为一个智能助手，目前提供免费试用服务。

下一代AI创意工作室，支持视频和图像生成及编辑。

KLINGAI是一个由Kling大模型和Kolors大模型驱动的下一代AI创意工作室，受到全球创作者的高度评价。它支持视频和图像的生成与编辑，用户可以在这里释放想象力，或从其他创作者的作品中获取灵感，将想法变为现实。该应用在App Store中属于图形与设计类别，排名123，拥有3.9的用户评分。它适用于iPad，提供免费下载，但包含应用内购买项目。

PaliGemma 2是一款强大的视觉-语言模型，支持多种语言的图像和文本处理任务。

PaliGemma 2是由Google开发的视觉-语言模型，它结合了SigLIP视觉模型和Gemma 2语言模型的能力，能够处理图像和文本输入，并生成相应的文本输出。该模型在多种视觉-语言任务上表现出色，如图像描述、视觉问答等。其主要优点包括强大的多语言支持、高效的训练架构以及在多种任务上的优异性能。PaliGemma 2的开发背景是为了解决视觉和语言之间的复杂交互问题，帮助研究人员和开发者在相关领域取得突破。

PaliGemma 2是一个强大的视觉-语言模型，支持多种视觉语言任务。

PaliGemma 2是一个由Google开发的视觉-语言模型，继承了Gemma 2模型的能力，能够处理图像和文本输入并生成文本输出。该模型在多种视觉语言任务上表现出色，如图像描述、视觉问答等。其主要优点包括强大的多语言支持、高效的训练架构和广泛的适用性。该模型适用于需要处理视觉和文本数据的各种应用场景，如社交媒体内容生成、智能客服等。

AI代码生成器，将想法快速转化为应用

Deepseek Coder是一个基于AI的代码生成器，它利用Deepseek API的强大功能，帮助开发者将他们的创意快速转化为应用程序。这个工具以其高效的代码生成能力和易用性为主要优点，特别适合需要快速原型开发的开发者。产品背景信息显示，它受到了Llamacoder的启发，并在GitHub上有相应的代码库。价格方面，根据页面信息，Deepseek Coder可能是免费提供给用户的，但具体定价策略需要进一步确认。

AI漫画翻译神器，享受无语言障碍的漫画阅读体验。

Transmonkey的Comic Translator是一款利用人工智能技术进行漫画翻译的在线工具。它结合了强大的大型语言模型和尖端设计，提供准确、自然的翻译，同时保持原作的艺术美感。这款工具的主要优点包括精确的语言模型翻译、视觉真实性的保持、批量翻译的便捷性、浏览器的无缝集成、长漫画页面的优化处理以及即时翻译结果。产品背景信息显示，Transmonkey致力于通过AI技术打破全球沟通障碍，支持超过130种语言的翻译服务。价格方面，提供免费试用信用额度，用户可以在网页上翻译10张图片，更多信用需订阅高级服务。

自动语音识别工具，提供词级时间戳和说话人识别

BetterWhisperX是一个基于WhisperX改进的自动语音识别模型，它能够提供快速的语音转文字服务，并具备词级时间戳和说话人识别功能。这个工具对于需要处理大量音频数据的研究人员和开发者来说非常重要，因为它可以大幅提高语音数据处理的效率和准确性。产品背景基于OpenAI的Whisper模型，但做了进一步的优化和改进。目前，该项目是免费且开源的，定位于为开发者社区提供更高效、更准确的语音识别工具。

即用即走的翻译、OCR工具

STranslate是一款集成了翻译和OCR功能的在线工具，它支持多种语言翻译，包括输入、划词、截图等多种翻译方式，并能同时显示多个服务的翻译结果，方便用户比较。OCR功能支持中英日韩等多种语言，基于PaddleOCR技术，提供快速准确的识别效果。此外，STranslate还支持多家翻译服务接入，并提供免费API。产品背景信息显示，STranslate由ZGGSONG开发，旨在为用户提供便捷、高效的翻译和OCR服务。

使用智能技术为图片生成上下文相关的描述

智能图片描述生成器是一款AI驱动的在线工具，能够自动为网站图片生成准确、符合上下文的描述文本，提升搜索引擎排名，增强网站的SEO和可访问性。支持20多种语言，利用尖端AI技术生成自然、SEO优化的描述文本，帮助用户提升图片点击率，获取更多自然流量，提高网站可见度。

AI驱动的软件工程师，快速创建生产级应用

Websparks是一个AI驱动的软件开发平台，它通过人工智能技术将用户的想法快速转化为完整的全栈应用程序，包括响应式前端、强大的后端和优化的数据库。用户只需通过简单的提示即可构建、部署和扩展应用程序，支持实时预览和一键部署。Websparks通过AI技术提高了软件开发的效率，降低了开发成本，使得开发者、设计师或有远见者能够将想法快速转化为现实。

自动化为网站图片生成描述性文本

PicWordify是一款利用人工智能技术自动为网站图片生成准确描述性文本（alt text）的产品。它支持130多种语言，能够提升网站的可访问性并增强SEO效果。通过简单的代码集成，用户可以快速为新旧图片添加描述，从而提高搜索引擎排名并增加图片搜索流量。产品背景信息显示，PicWordify已经处理了超过500万张图片，准确率高达99.9%，是提升网站SEO和可访问性的有力工具。价格方面，PicWordify提供免费计划和付费计划，用户可以根据自己的需求选择合适的服务。