Qwen2.5-Coder-1.5B-Instruct-GPTQ-Int4

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

Qwen2.5-Coder 是针对代码生成的模型，在代码生成等方面显著提升，参数规模多样，支持量化。免费，面向开发者提高效率和质量。

gait是一个AI原生版本控制工具，它通过存储提示、上下文和代码的结合，帮助团队更容易理解和编辑AI生成的代码。gait自动保存AI代码生成对话，并通过版本控制与团队共享开发上下文。它支持GitHub Copilot和Cursor，并且提供了包括AI Blame、Codegen Analytics和Team Collaboration在内的多种功能。gait旨在通过AI技术提高开发人员的生产力，同时确保代码的版权和知识产权得到保护。

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

Gemini Code Assist 是 Google 推出的一款免费 AI 编程助手，旨在帮助开发者更高效地编写和审查代码。它基于 Gemini 2.0 模型，支持所有公开领域的编程语言，并针对代码生成和审查进行了优化。该工具提供高达每月 180,000 次代码补全的免费使用额度，适合学生、自由开发者和初创团队等不同用户群体。通过集成到 Visual Studio Code 和 JetBrains IDEs 等开发环境中，开发者可以在不切换窗口的情况下完成代码生成、调试和修改。

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

Qwen2.5-Coder系列是基于Qwen2.5架构的代码特定模型，包括Qwen2.5-Coder-1.5B和Qwen2.5-Coder-7B两个模型。这些模型在超过5.5万亿个token的大规模语料库上继续预训练，并通过精细的数据清洗、可扩展的合成数据生成和平衡的数据混合，展现出令人印象深刻的代码生成能力，同时保持了通用性。Qwen2.5-Coder在包括代码生成、补全、推理和修复在内的多种代码相关任务上取得了超过10个基准测试的最新性能，并且一致性地超越了同等大小的更大模型。该系列的发布不仅推动了代码智能研究的边界，而且通过其许可授权，鼓励开发者在现实世界的应用中更广泛地采用。

Kimi k1.5 是由 MoonshotAI 开发的多模态语言模型，通过强化学习和长上下文扩展技术，显著提升了模型在复杂推理任务中的表现。该模型在多个基准测试中达到了行业领先水平，例如在 AIME 和 MATH-500 等数学推理任务中超越了 GPT-4o 和 Claude Sonnet 3.5。其主要优点包括高效的训练框架、强大的多模态推理能力以及对长上下文的支持。Kimi k1.5 主要面向需要复杂推理和逻辑分析的应用场景，如编程辅助、数学解题和代码生成等。