产品库

DexCode是AI软件工程工作控制平面，提供运行追踪、成本信号等功能

DexCode是一款用于AI软件工程工作的控制平面产品。它的重要性在于为工程团队提供了一个可审计的共享记录平台，让团队成员能够清晰了解AI编码工作的各个方面。其主要优点包括将Dex运行转化为可审计的团队历史，涵盖任务、阶段、分支、PR等多方面信息；支持本地优先模式，在本地运行的同时上传结构化数据供团队审查；具备完善的治理功能，可管理账户、预算等。产品背景可能是为了解决AI软件工程中信息管理和协作的难题。关于价格，页面未明确提及，可能有免费试用或付费模式。产品定位是为AI软件工程团队提供全面的工作管理和控制解决方案。

开源AI软件工程师

Devika AI是一个开源的AI软件工程师，可以理解高级人类指令，将其分解为步骤，研究相关信息并生成相应代码。它使用Claude 3、GPT 4、GPT 3.5和Local LLMs via Ollama。

AI模型软件工程能力评估工具

SWE-bench Verified是OpenAI发布的一个经过人工验证的SWE-bench子集，旨在更可靠地评估AI模型解决现实世界软件问题的能力。它通过提供代码库和问题描述，挑战AI生成解决所描述问题的补丁。这个工具的开发是为了提高模型自主完成软件工程任务的能力评估的准确性，是OpenAI准备框架中中等风险级别的关键组成部分。

世界首款AI软件工程师，自主完成复杂工程任务

Devin是世界上第一款完全自主的AI软件工程师。具有长期推理和规划能力，可执行复杂工程任务，并与用户进行实时协作。帮助工程师专注于更有趣的问题，推动工程团队实现更宏伟的目标。

世界领先的AI软件工程师

Genie是一款AI软件工程模型，它在SWE-Bench行业标准基准测试中取得了30%的评估分数，远超其他同类产品。Genie能够独立或与用户协作解决bug、构建功能、重构代码，就像与同事合作一样。它通过与GitHub问题跟踪器的直接集成，简化了工作流程，确保完全理解特定任务和目标。

开源编码 LLM，专为软件工程任务设计。

Kimi-Dev 是一款强大的开源编码 LLM，旨在解决软件工程中的问题。它通过大规模强化学习优化，确保在真实开发环境中的正确性和稳健性。Kimi-Dev-72B 在 SWE-bench 验证中实现了 60.4% 的性能，超越其他开源模型，是目前最先进的编码 LLM 之一。该模型可在 Hugging Face 和 GitHub 上下载和部署，适合开发者和研究人员使用。

为软件工程挑战打造的先进基础AI模型

poolside是一个为软件工程挑战而构建的先进基础AI模型，它通过在用户代码上进行微调，学习项目的独特之处，以理解通用模型无法理解的复杂性。它建立在poolside基础之上，每天都能变得更好。除了先进的代码编写模型，poolside还构建了一个直观的编辑器助手，并提供了一个开发者可以构建的API。poolside由Jason Warner和Eiso Kant于2023年4月创立，他们之前在AI和软件工程领域有着丰富的经验。

大语言模型的提示工程指南

提示工程指南是一份全面介绍提示工程的指南，包括基本概念、设计提示的通用技巧、提示技术、提示应用等内容。它帮助用户更好地了解大型语言模型的能力和局限性，并掌握与大语言模型交互和研发的各种技能和技术。

使用AI改善软件工程师的职业发展

AI职业发展助手致力于利用最新的人工智能技术来帮助软件工程师建立更好的职业生涯。我们提供100%免费的AI工具，包括AI职业教练和技能挑战者。AI职业教练是一个基于ChatGPT的教练，可以充当工程经理，为开发人员提供快速、相关且具体的建议，帮助他们实现特定的职业目标。技能挑战者通过全自动生成的多项选择题来评估您的核心开发技能，快速完成挑战并与全球同行进行排名。

构建、管理、扩展和支付来自拉美的顶级远程软件工程团队

TeamStation是一款通过Framework Science独有的远程软件工程团队增员SaaS平台，快速构建拉美近海软件开发团队，集成AI和Fintech技术，提供人性化的AI和Fintech服务，2022年获得了美国专利注册。用户可以通过简单的操作，一键雇佣顶级的近海软件工程师人才。

Cognition Labs是Devin的制造商，Devin是第一个AI软件工程师

Cognition Labs是一个应用AI实验室，专注于推理能力，他们开发的代码只是开始。该公司旨在通过AI技术提升软件工程的效率，并且已经推出了Devin的AI软件工程师。

AI创建软件工程师任务，一致、可读和详细。

Cubed是一个AI创建任务的平台，通过与GitHub代码库连接，使用人工智能生成具体可操作、描述性强的卡片。设置同步后，Cubed会智能地利用代码库的上下文，改进每个新的工单，为开发人员提供更多指导、加速和专注时间。

Kat Dev是专为软件工程和编码任务打造的大语言模型，助力AI编码。

Kat Dev是快手Kwaipilot团队开发的AI代码智能解决方案，是专注于软件工程和编码任务的大语言模型家族。其重要性在于为开发者提供强大的代码生成、优化等能力，提升开发效率。主要优点包括高性能，如KAT Dev 72B Exp在SWE Bench基准测试中达到74.6分排名第一；采用先进的多阶段代理训练；支持多语言代码；模型开源，采用Apache 2.0许可证，方便社区使用和研究，开发者可免费访问。该产品定位为服务现代开发者和团队，推动AI驱动的软件开发。

windsurf_ai推出首个针对软件工程流程优化的模型家族 SWE-1。

SWE-1 是windsurf_ai首个为整个软件工程流程优化的模型家族，旨在加速软件开发 99%。与传统的仅能编写代码的模型相比，SWE-1 不仅能编写代码，还能处理终端操作、访问其他知识和互联网、测试产品和理解用户反馈。SWE-1 系列包括 SWE-1、SWE-1-lite 和 SWE-1-mini 三种模型，旨在满足不同用户的需求。

面向软件工程师的创建文档和架构的代码平台，支持 AI、Git、测试和监控

CRUDERRA 是一个面向软件工程师的平台，提供创建文档和架构的代码功能。它支持使用流行的 Python/PlantUML 创建交互式架构文档，让您的代码更新速度提升 5 倍。您可以与团队一起协作讨论架构，并使用 Git 来批准团队成员的更改。实时追踪架构，并生成快速的测试用例，比较实际和目标架构之间的差异。CRUDERRA 能加速团队的开发过程。

自主程序改进的人工智能软件工程师

auto-code-rover是一种全自动的解决GitHub问题(Bug修复和功能添加)的方法,结合了语言模型与分析和调试功能,确定修复位置,生成补丁程序。目前可解决16%的SWE-bench问题和22%的SWE-bench lite问题,超越了现有的人工智能软件工程师的效果。它分两个阶段工作:首先通过代码搜索API获取相关上下文信息,然后基于获取的上下文信息尝试编写补丁程序。它具有两个独特的特点:一是代码搜索API具有项目结构感知能力,不是简单的字符串匹配,而是在抽象语法树中搜索相关的代码上下文;二是如果有测试套件可用,它还可以利用统计故障定位来提高修复率。

Devstral 2开源编码模型及Mistral Vibe CLI，高效解决软件工程任务

Devstral 2是一个拥有123B参数的开源编码模型，支持256K上下文窗口，在SWE - bench上达到72.2%的成绩，具有高成本效益，采用修改后的MIT许可。Mistral Vibe CLI是基于Devstral的开源命令行编码助手，采用Apache 2.0许可。Devstral 2适合数据中心部署，Devstral Small 2可用于本地和边缘部署，且支持图像输入。目前Devstral 2通过API免费使用，未来定价为每百万令牌0.40 - 2.00美元。该产品旨在为现代软件工程提供强大的编码能力，处于开源编码模型的前沿。

HackerPulse是一个展示软件工程师技能的ML驱动个人简历平台。

HackerPulse是一个免费的在线平台,使用机器学习算法和ChatGPT帮助软件工程师制作个性化的在线简历。它提供自定义的简历模板,使用ChatGPT自动生成个人描述,以及成功简历案例供参考。主要功能包括:简历生成器,使用ChatGPT智能编写个人描述;在线简历平台,创建个性化展示网页;求职指导,提供成功简历模板和案例。关键优势是简化简历制作流程,使用AI提高简历质量,在线可分享,方便被HR和招聘者发现。

SWE-Lancer 是一个包含 1400 多个自由软件工程任务的基准测试，总价值 100 万美元。

SWE-Lancer 是由 OpenAI 推出的一个基准测试，旨在评估前沿语言模型在真实世界中的自由软件工程任务中的表现。该基准测试涵盖了从 50 美元的漏洞修复到 32000 美元的功能实现等多种独立工程任务，以及模型在技术实现方案之间的选择等管理任务。通过模型将性能映射到货币价值，SWE-Lancer 为研究 AI 模型开发的经济影响提供了新的视角，并推动了相关研究的发展。

一个能理解高级人类指令、进行研究和编写代码以实现给定目标的AI软件工程师

Devika是一个先进的AI软件工程师，可以理解高级人类指令、将其分解为步骤、研究相关信息并编写代码以实现给定目标。该项目旨在提供一个能够与人类协作完成复杂编程任务的AI伙伴。

AI Powered 工程分析

Dystr 是一个 AI 驱动的分析环境，旨在帮助您自动化工作负载。它提供强大的分析功能和智能化的工程帮助，支持多种数据处理和分析任务。通过 Dystr，您可以更高效地完成工作，减少人工干预，并获得准确和可靠的分析结果。定价灵活，可根据个人或团队需求进行定制。无论您是工程师还是团队，Dystr 都能为您提供可靠的支持和解决方案。

专为软件改进设计的开源大型语言模型。

Lingma SWE-GPT是一个开源的大型语言模型，专注于软件工程领域的任务，旨在提供智能化的开发支持。该模型基于Qwen系列基础模型，经过额外训练以增强其在复杂软件工程任务中的能力。它在软件工程智能代理的权威排行榜上表现出色，适合需要自动化软件改进的开发团队和研究人员。

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

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

自动解决软件开发问题的无代理方法

Agentless是一种无需代理的自动解决软件开发问题的方法。它通过定位、修复和补丁验证三个阶段来解决每个问题。Agentless利用分层过程定位故障到特定文件、相关类或函数，以及细粒度的编辑位置。然后，Agentless根据编辑位置采样多个候选补丁，并选择回归测试来运行，生成额外的复现测试以复现原始错误，并使用测试结果重新排名所有剩余补丁，以选择一个提交。Agentless是目前在SWE-bench lite上表现最佳的开源方法，具有82个修复（27.3%的解决率），平均每问题成本0.34美元。

AI工程和研究的智能伴侣

MLE-Agent 是为机器学习工程师和研究人员设计的智能伴侣，具备自主创建基线、集成Arxiv和Papers with Code、智能调试、文件系统整合、综合工具集成以及交互式命令行聊天等功能。它支持OpenAI、Ollama等AI/ML功能和MLOps工具，为无缝工作流程提供支持。

AI提示工程师，提升AI交互效率。

Ape是一个开源的AI提示工程师，由Weavel公司开发，旨在通过优化AI的交互方式来提升效率。它是一个专门为AI设计的提示工程库，支持自定义和自动化的AI交互流程，帮助开发者和用户更高效地利用AI技术。Ape的核心优势在于其开源性、灵活性和易用性，适用于需要与AI进行复杂交互的场景。

mutatio是一个AI提示工程平台，帮助AI工程师系统测试，衡量和优化提示。

mutatio是一个现代LLM提示实验平台，可帮助用户Craft，refine和optimize他们的AI提示。它允许用户创建和测试各种提示变异，以提高AI的输出质量。

首个用于快速工程的平台

PromptLayer是一个旨在帮助用户管理提示工程的平台。用户可以视觉化管理提示、评估模型、记录LLM请求以及搜索使用历史。它还支持团队协作。产品定位为提供快速工程解决方案，旨在简化提示工程的创建、部署和管理流程。用户可以免费开始使用，同时也提供高级功能以满足企业需求。

工程团队的时间序列数据分析平台

Marple是一个面向工程团队的时间序列数据分析平台。它提供了强大的数据可视化功能，用于处理测试和测量中传感器数据。

全面的AI项目咨询与工程服务

IntelliConsult是一家提供全面的人工智能驱动的项目咨询与工程服务的公司。借助我们的专业知识和尖端AI技术，实现项目成功并推动创新。