开源编码 LLM,专为软件工程任务设计。
Kimi-Dev 是一款强大的开源编码 LLM,旨在解决软件工程中的问题。它通过大规模强化学习优化,确保在真实开发环境中的正确性和稳健性。Kimi-Dev-72B 在 SWE-bench 验证中实现了 60.4% 的性能,超越其他开源模型,是目前最先进的编码 LLM 之一。该模型可在 Hugging Face 和 GitHub 上下载和部署,适合开发者和研究人员使用。
windsurf_ai推出首个针对软件工程流程优化的模型家族 SWE-1。
SWE-1 是windsurf_ai首个为整个软件工程流程优化的模型家族,旨在加速软件开发 99%。与传统的仅能编写代码的模型相比,SWE-1 不仅能编写代码,还能处理终端操作、访问其他知识和互联网、测试产品和理解用户反馈。SWE-1 系列包括 SWE-1、SWE-1-lite 和 SWE-1-mini 三种模型,旨在满足不同用户的需求。
AI驱动的测试代理工具,帮助开发人员更快地发布无bug软件。
Bugster是一款AI驱动的测试解决方案,能够将用户流程转化为自动化测试,帮助开发人员快速发布无bug的软件。其主要优点在于自动化测试流程、智能测试适应性和减少测试维护工作。Bugster定位于提高开发速度并保证软件质量。
创建产品预售等候名单,构建炒作,收集电子邮件。
Waitlister是一个帮助您创建产品预售等候名单的工具,以验证想法并建立炒作。它提供可定制的着陆页和表单。Waitlister价格适中,定位于为创业者和企业家提供预售市场营销解决方案。
mrge 帮助现代软件团队以 4 倍的速度交付更高质量的代码。
mrge 是一个专为现代软件团队设计的代码审查平台,能够加速代码合并流程并提高代码质量。其采用 AI 技术实时评估代码,确保团队能够快速、有效地处理 PR,减少开发周期。产品每位活跃开发者月收费 30 美元,提供无限的 AI 审查和自定义规则,适合需要高效协作的开发团队。
GPT-4.1 是一款在编程、指令跟随和长文本理解方面有显著提升的模型。
GPT-4.1 是一系列新模型,提供了显著的性能提升,特别是在编码、指令跟随和处理长文本上下文方面。它的上下文窗口扩大到 100 万标记,并且在真实世界的应用中表现出色,适合开发者创建更高效的应用程序。此模型的价格相对较低,且具有快速响应能力,使其在开发和执行复杂任务时更加高效。
Exponent 是一个高效的 AI 编程助手,协作完成软件工程任务。
Exponent 是一款协作式 AI 编程代理,旨在提升软件开发的效率与体验。它能够在多种环境中工作,从代码的探索到部署,能够帮助开发者自动化复杂的编程任务,极大地减少重复性工作,提升团队生产力。Exponent 的优点包括跨平台操作、便捷的用户界面和强大的功能集,适合各种规模的开发团队使用。
通过 Reve 实现您的创意,轻松将想法变为现实。
Reve 是一款创新的设计工具,旨在帮助用户将创意和想法以可视化的形式呈现。它支持多种设计风格和灵活的操作方式,使得用户无论是专业设计师还是普通用户,都能轻松实现自己的设计需求。Reve 通过其强大的功能和直观的界面,为创意工作提供了巨大的便利,助力用户在各类项目中提升效率,准确表达他们的想法。该产品以其易用性和强大的功能定位于设计行业,旨在帮助用户更好地沟通和展示创意。用户可以在官方网站上获取更多信息。
CodeX 是一款 AI 驱动的云端代码编辑器,提供智能代码建议和代码转换功能。
CodeX 是一个专注于提升编程效率的云端 IDE,利用 AI 技术为开发者提供智能代码补全、代码转换、语法高亮等功能。它支持多种编程语言,旨在通过智能化工具减少编程中的重复劳动,提高开发效率。产品主要面向开发者和编程爱好者,帮助他们在多语言环境下快速编写高质量代码。目前暂未提及具体价格,但从功能来看,预计会以付费或免费试用的形式推出。
Factory 是一个为软件开发带来自主性的平台,助力团队高效协作和开发未来软件。
Factory 是一个面向软件开发的自主性平台,旨在通过连接工程系统中的上下文和工具,提升团队协作效率和开发体验。它支持从代码生成、代码审查到文档生成的全流程开发任务,同时提供企业级安全性和标准化工作流,帮助团队更好地管理复杂项目。Factory 的目标是将开发团队转变为自主化的高效组织,适应现代软件开发的需求。
通过强化学习提升大型语言模型在开源软件演变中的推理能力
SWE-RL 是由 Facebook Research 提出的一种基于强化学习的大型语言模型推理技术,旨在利用开源软件演变数据提升模型在软件工程任务中的表现。该技术通过规则驱动的奖励机制,优化模型的推理能力,使其能够更好地理解和生成高质量的代码。SWE-RL 的主要优点在于其创新性的强化学习方法和对开源数据的有效利用,为软件工程领域带来了新的可能性。该技术目前处于研究阶段,尚未明确商业化定价,但其在提升开发效率和代码质量方面具有显著潜力。
专为中小团队设计的AI聊天应用,支持多种AI模型,如Deepseek、Open AI、Claude和Gemini。
HiveChat是一款面向中小团队的AI聊天应用,支持多种主流AI模型,如Deepseek、Open AI、Claude和Gemini等。其核心功能是为团队提供高效、灵活的AI交互体验,支持LaTeX和Markdown渲染、图像理解、AI智能体等功能。该产品通过管理员配置,可实现全团队轻松使用,适用于公司、学校、组织等小型团队。其技术栈包括Next.js、Tailwindcss、Auth.js、PostgreSQL等,支持本地部署、Docker部署和Vercel部署,具有较高的灵活性和可扩展性。
SWE-Lancer 是一个包含 1400 多个自由软件工程任务的基准测试,总价值 100 万美元。
SWE-Lancer 是由 OpenAI 推出的一个基准测试,旨在评估前沿语言模型在真实世界中的自由软件工程任务中的表现。该基准测试涵盖了从 50 美元的漏洞修复到 32000 美元的功能实现等多种独立工程任务,以及模型在技术实现方案之间的选择等管理任务。通过模型将性能映射到货币价值,SWE-Lancer 为研究 AI 模型开发的经济影响提供了新的视角,并推动了相关研究的发展。
你的笔记 + 日程 + 待办清单 + 任务 with AI
Liubai 是一款结合了笔记、日程、待办清单和任务管理的生产力工具,它通过集成 AI 功能,为用户提供更加智能化的工作和生活管理体验。Liubai 的主要优点在于其原子化附着功能,可以将文本、图片、多级标签、状态和文件等元素进行灵活组合,满足用户在不同场景下的需求。此外,Liubai 还支持云端同步和响应式设计,可以在不同设备上无缝使用。Liubai 的定位是为追求高效和智能化管理的用户提供一个全面的解决方案,帮助他们更好地组织和规划工作与生活。
现代硬件设计的CAD软件
Zoo提供了一个现代的硬件设计工具包,包括GPU驱动引擎、按需付费、远程流媒体和开放API兼容等特点,旨在提高硬件设计效率和降低成本。它允许用户创建前所未有的新设计工具,无论是个人爱好者、初创企业还是大型企业,Zoo的安全基础设施都能加速项目和工具的发展。
AI驱动的软件工程师,快速创建生产级应用
Websparks是一个AI驱动的软件开发平台,它通过人工智能技术将用户的想法快速转化为完整的全栈应用程序,包括响应式前端、强大的后端和优化的数据库。用户只需通过简单的提示即可构建、部署和扩展应用程序,支持实时预览和一键部署。Websparks通过AI技术提高了软件开发的效率,降低了开发成本,使得开发者、设计师或有远见者能够将想法快速转化为现实。
© 2025 AIbase 备案号:闽ICP备08105208号-14