产品库

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

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

开源AI软件工程师

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

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

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

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

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

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

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

世界领先的AI软件工程师

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Mac、iPad和iPhone上的任务管理软件

Taskheat是一款功能强大的任务管理软件，利用流程图可视化和管理任务依赖关系。通过Taskheat的待办事项列表应用程序，在Mac、iPhone和iPad上保持组织和高效，实现任务规划、安排和跟踪的流程化。立即尝试Taskheat，体验视觉任务管理的好处。

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

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

Exponent 是一个高效的 AI 编程助手，协作完成软件工程任务。

Exponent 是一款协作式 AI 编程代理，旨在提升软件开发的效率与体验。它能够在多种环境中工作，从代码的探索到部署，能够帮助开发者自动化复杂的编程任务，极大地减少重复性工作，提升团队生产力。Exponent 的优点包括跨平台操作、便捷的用户界面和强大的功能集，适合各种规模的开发团队使用。

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

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

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

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

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

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

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

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

亚马逊库存管理软件

SoStocked是一款亚马逊库存管理和预测软件，帮助亚马逊卖家节省时间，避免缺货，准确预测库存需求。它提供可定制的库存管理功能和新的预测算法。SoStocked已有1000多名满意客户，他们说再也不会回到使用电子表格的日子了。试用30天免费。

AI助力任务生成

Process是一款AI助力任务生成工具。通过输入高级任务，AI会为开发人员生成简化的步骤和明确的指示。具备清晰的需求、人工辅助、完整的功能列表、导出至Jira等功能。提供免费试用，定价详情请查看官网。

AI 助手管理任务清单

flowlist.io 是一个基于人工智能的任务和生产力管理网站。它使用人工智能来保持任务的新鲜和有趣。用户只需输入关键任务，AI 会为其创建项目名称和激励的下一步行动。用户也可以输入自己的想法或情绪，AI 会生成相应的项目名称和激励的任务。flowlist.io 还提供了拖放排序、项目间移动和更多细分步骤等功能。目前 flowlist.io 处于测试阶段，使用 Chat-GPT 模型，免费提供服务。

综合库存管理软件

Inventory365是一款综合库存管理软件，旨在帮助电子商务企业跟踪库存、管理订单并优化业务运营。具有实时库存跟踪、自动补货提醒和可定制的报告等功能，Inventory365是电子商务企业优化运营的终极工具。立即尝试Inventory365，掌控库存管理！

Google Workspace 上的 AI 基于任务管理工具

Candy for Workspace 是一款基于人工智能的任务管理工具，可以帮助律师在 Google Workspace 上更高效地管理知识、提交提示和添加输入，提升工作效率。

高效任务管理工具

BeeDone 是一款专注于高效任务管理的应用。它提供了简洁易用的界面和丰富的功能，帮助用户有效地组织和追踪任务，提高工作效率。BeeDone 支持任务分类、优先级设定、提醒功能等，同时还提供了统计报表和团队协作功能。它适用于个人和团队的任务管理，使工作更加有序和高效。

智能发票管理软件

Vuala是一款智能发票管理软件，帮助中小企业轻松找到、提取和自动化发票管理。通过直观的平台，完美适用于各种企业。Vuala可以自动从公司电子邮件、SaaS工具和实用程序中查找所有发票，并将它们上传至Google Drive、Holded、Qonto等目的地。它还提供了实时的公司财务状况可视化，节省了大量时间和资源。

助力软件工程师职业发展

Codei是一个专注于帮助软件工程师追踪工作申请、提升技术技能和编码能力的平台。它通过ApplicationAI模型简化了申请跟踪流程，通过QuestionAI模型生成针对个人和职位的技术面试问题，并通过EvalAI模型对代码进行评分和反馈，以提高编码技能和风格。