产品库

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

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

命令行工具，提升开发效率

o1-engineer 是一个命令行工具，旨在帮助开发者通过 OpenAI 的 API 高效地管理和交互项目。它提供了代码生成、文件编辑、项目规划等功能，以简化开发工作流程。

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

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

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

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

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

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

AI 编码助理，提升软件开发和交付速度

Gemini Code Assist 是 Google Cloud 提供的一款 AI 编码助理，它通过生成式 AI 协助、企业安全和隐私保护机制，帮助提升软件开发和交付速度。该产品利用数十亿行开源代码、安全数据以及 Google Cloud 文档和示例代码进行微调，为开发者在其 IDE 和 Google Cloud 服务中提供代码补全、代码生成、自然语言聊天等功能。它支持多种编程语言，并集成了 Google Cloud 的多种服务，如 Firebase、Colab Enterprise、Databases、BigQuery、Apigee 和 Application Integration。

AI助手自动化Slack站会

HowsThisGoing是一个AI驱动的项目管理工作助手，通过自动化状态更新、连接用户喜爱的工具、生成摘要，并提供团队进度的洞察，全部通过Slack实现。它不仅仅是一个站会机器人，而是一个可以对话的AI项目经理，能够回答关于团队工作的各类问题，如前端团队最近在做什么，或者显示所有阻碍，并即时给出答案。它结合了来自站会、GitHub和其他工具的数据，让用户无需在不同平台间切换即可了解团队的最新动态。

VS Code中的智能编程助手

GitHub Copilot for VS Code是一个集成在Visual Studio Code中的人工智能编程助手，它通过使用先进的机器学习模型，帮助开发者自动补全代码、生成代码段，甚至整个文件。这个工具的背景是提高编程效率和质量，特别是在大型项目和复杂代码库中。GitHub Copilot分为免费版和付费版，免费版提供有限的代码补全和聊天请求，而付费版则提供无限的功能和访问更多模型。

一站式商业套件，集成15+工具。

Jenium - Business Suite 是一款集成了多种商业管理工具的平台，旨在帮助企业通过减少工具分散和数据重复来提高效率。它包括项目管理、客户关系管理（CRM）、财务管理、人力资源管理等功能，适合各种行业和规模的企业使用。下一版本将包括针对初创公司的 GenAI 和 AI 代理。产品以每月每用户4.90美元的价格提供所有工具的完整套件，性价比高，易于使用，并且提供14天的免费试用，让企业在做出购买决策前能够充分体验产品功能。

API设计和开发的新范式

ApiHug是一个专注于API设计和开发的平台，它提供了高度描述性、模块化和可视化的体验。该平台集成了API资产的分发、监控和管理功能，支持全语言在IDEA中的智能自动补全建议、linting、语法高亮等功能，并通过插件形式提供。ApiHug旨在提高开发者在API开发中的效率和协作，通过标准化的API设计元语言，实现规范驱动的开发流程。

全球MCP服务器集合平台

MCP Servers是一个集合了全球各种MCP服务器的平台，提供了查询和汇总聊天消息、使用Brave搜索API进行网络和本地搜索、操作Git仓库、AI图像生成、从Sentry.io获取和分析问题等多种功能。这些服务器支持开发者和企业在不同领域中实现自动化和智能化，提高效率和创新能力。MCP Servers平台以其丰富的功能和广泛的应用场景，成为编程领域中的重要工具。

探索AI前沿，精选国内外AI产品与应用。

智趣AI甄选是一个专注于人工智能领域的综合性平台，旨在洞察行业发展前景，精选并展示国内外的AI产品与应用。平台提供丰富的学习资源，行业融合案例分析，助力用户洞悉AI发展趋势，与AI技术同行，共创未来。

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

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

主动型AI自动化大数据多维表格，实现销售、营销、项目任务AI化。

Bika.ai是一个商业智能和知识自动化平台，通过其主动型AI自动化大数据多维表格，用户可以实现销售自动化、营销自动化以及项目任务的AI化管理。该产品以其强大的数据处理能力和AI自动化功能，帮助用户提升工作效率，减少重复性工作，并通过集成6000+应用，实现无代码自动化和效率提升。Bika.ai支持自托管部署，确保用户数据安全，并通过SOC2和GDPR审核，适合个人和企业级项目使用。

一键克隆网页UI组件并生成代码的浏览器插件

UICloner Extension是一款AI驱动的浏览器插件，它允许用户通过一键操作克隆任何网页上的UI组件，并自动生成相应的代码实现。这款插件的主要优点包括一键选取、多格式代码支持、实时预览等。它的重要性在于能够大幅提高前端开发者的工作效率，尤其是在UI设计和原型制作阶段。产品背景信息显示，UICloner Extension支持HTML+Tailwind CSS或HTML+纯CSS代码的生成，适合需要快速实现UI原型的开发者使用。插件是免费使用的，定位于提高开发效率和降低设计到代码的转换难度。

AI代理和多代理系统的无限画布

Canvas by MindPal是一个为现代专业人士提供AI解决方案的平台，旨在提高工作效率。它突破了线性聊天的限制，提供了一个无限的画布，让用户可以同时运行多个AI代理和多代理系统。这个平台允许用户以更符合人类思维的方式与AI互动，通过并行或顺序运行AI代理来实现复杂的工作流程。产品背景信息显示，MindPal致力于通过AI技术帮助用户打破线性限制，重新想象AI的可能性。价格方面，目前有黑五促销活动，所有年度计划享受60%的折扣。

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系列的0.5B参数代码生成模型

Qwen2.5-Coder是Qwen大型语言模型的最新系列，专注于代码生成、代码推理和代码修复。基于强大的Qwen2.5，该模型在训练中涵盖了5.5万亿的源代码、文本代码基础、合成数据等，成为当前开源代码语言模型的最新技术。该模型不仅在编程能力上与GPT-4o相匹配，还在数学和一般能力上保持了优势。Qwen2.5-Coder-0.5B-Instruct-GPTQ-Int4模型是经过GPTQ量化的4位指令调整模型，具有因果语言模型、预训练和后训练、transformers架构等特点。

AI编程代码检查工具，提升开发速度。

aiCode.fail是一个AI编程代码检查工具，它通过使用大型语言模型（LLM）来分析代码，从新的角度检查代码错误和安全问题，支持所有编程语言，且不会编译用户代码。该产品的主要优点包括代码错误检测、安全性问题暴露、加速调试过程，以及提供不同级别的审计服务。它适用于需要快速检查和优化代码的开发者，特别是在敏捷开发和代码审查中。产品提供免费和付费服务，包括免费试用和不同级别的审计服务。

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

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

从想法到应用，秒速实现的全栈工程师。

Lovable是一个创新的全栈工程平台，它允许用户通过自然语言描述自己的想法，快速将概念转化为功能完备的应用程序。这个平台以其超快速的开发流程、直观的设计原则和对代码的完全所有权而受到赞誉。Lovable通过简化开发流程，使得产品团队、创始人、独立创业者和产品设计师能够快速迭代和验证他们的想法，同时为人类软件工程师提供了一个强大的工具，以提高开发效率和质量。Lovable的价格策略灵活，提供免费版本，并为不同规模的团队提供定制计划。

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

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

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

Qwen2.5-Coder是Qwen大型语言模型的最新系列，专注于代码生成、代码推理和代码修复。基于Qwen2.5的强大能力，通过扩展训练令牌至5.5万亿，包括源代码、文本代码基础、合成数据等，Qwen2.5-Coder-32B已成为当前最先进的开源代码LLM，其编码能力与GPT-4o相匹配。此模型为AWQ量化的4位指令调整0.5B参数版本，具有因果语言模型、预训练和后训练、transformers架构等特点。

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系列的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的最新水平。它不仅增强了编码能力，还保持了在数学和通用能力方面的优势。

在线免费制作思维导图，简化任务与项目管理

Layer是一个在线思维导图工具，旨在帮助用户通过可视化的方式简化任务和项目管理。它提供了多种模板，支持个性化AI助理，实时协作功能，以及详细的项目规划选项。Layer以其用户友好的界面和强大的功能，帮助个人和团队提高工作效率，实现目标。产品背景信息显示，Layer已经拥有超过100,000用户，他们通过Layer分析任务，提高工作流程。价格方面，Layer提供免费的入门级别，同时也提供付费的专业版，包含更多高级功能。

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

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

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

Qwen2.5-Coder是Qwen大型语言模型的最新系列，专为代码生成、推理和修复而设计。该模型基于Qwen2.5，扩展了训练令牌至5.5万亿，包括源代码、文本代码基础、合成数据等。Qwen2.5-Coder-32B是目前开源代码LLM中的佼佼者，其编码能力与GPT-4o相匹配。此模型为GPTQ-量化的4位指令调优3B参数Qwen2.5-Coder模型，具有因果语言模型、预训练和后训练阶段、transformers架构等特点。