产品库

AI编程智能体语言，实现LLM与IDE之间的通信以自动化编程。

the Shire是一种AI编程智能体语言，旨在实现大型语言模型（LLM）与集成开发环境（IDE）之间的通信，以支持自动化编程。它起源于AutoDev项目，旨在为开发者提供一个AI驱动的IDE，包括DevIns，Shire的前身。Shire通过提供定制化的AI代理，使用户能够构建符合个人需求的AI驱动开发环境。

数据驱动的框架，增强大型语言模型的工作流编排能力

WorkflowLLM是一个以数据为中心的框架，旨在增强大型语言模型（LLMs）在工作流编排方面的能力。核心是WorkflowBench，这是一个大规模的监督式微调数据集，包含来自83个应用、28个类别的1503个API的106763个样本。WorkflowLLM通过微调Llama-3.1-8B模型，创建了专门针对工作流编排任务优化的WorkflowLlama模型。实验结果表明，WorkflowLlama在编排复杂工作流方面表现出色，并且能够很好地泛化到未见过的API。

文本到图像生成的自适应工作流

ComfyGen 是一个专注于文本到图像生成的自适应工作流系统，它通过学习用户提示来自动化并定制有效的工作流。这项技术的出现，标志着从使用单一模型到结合多个专业组件的复杂工作流的转变，旨在提高图像生成的质量。ComfyGen 背后的主要优点是能够根据用户的文本提示自动调整工作流，以生成更高质量的图像，这对于需要生成特定风格或主题图像的用户来说非常重要。

突破大型语言模型限制的自动化框架

AutoDAN-Turbo是一个自动化的、无需人为干预的框架，旨在自动发现并实施多种策略，以突破大型语言模型（LLMs）的限制。该框架能够自动开发出多样的攻击策略，显著提高了攻击成功率，并且可以作为一个统一的框架整合现有的人为设计的越狱策略。AutoDAN-Turbo的重要性在于其能够提升LLMs在对抗环境中的安全性和可靠性，为红队评估工具提供了一种新的自动化方法。

免费且快速的提示链生成器

PromptChainer 是一个旨在提高大型语言模型输出质量的工具，通过自动化提示链的生成，帮助用户将复杂任务分解成可管理的小步骤，从而获得更精确和高质量的结果。它特别适合需要多步骤和/或大量上下文和知识的任务。

AI工具，协助用户构建软件项目。

Replit Agent是一个AI驱动的工具，旨在帮助用户构建软件项目。它能够理解自然语言提示，并协助从头开始创建应用程序，使得软件开发对所有技能水平的用户更加易于接近。Replit Agent是Replit在将AI编码工具普及化方面的最新尝试，它将人类与机器的协作推向了一个新的层次，使得AI代理和人类能够互补、相互填补空白并相互学习。

开源AI代码编辑器，为10倍效率工程师设计。

Melty是一款开源的AI代码编辑器，它能够理解用户从终端到GitHub的操作，并与用户协作编写生产就绪的代码。由Charlie和Jackson开发，他们有着丰富的编程工具使用经验，旨在通过AI技术提高编程效率和代码质量。Melty在28天内已经能够编写其一半的代码，展现了其强大的自适应和学习能力。

快速将UI设计图转换为React代码

Ocode AI是一个AI驱动的编程辅助工具，能够帮助开发者通过上传UI设计图，自动生成React代码，从而加快开发速度，提高开发效率。它通过实时代码生成、预览、部署和与AI的交互来修改代码，实现了从需求收集到代码编写、单元测试、部署的全流程自动化。

低代码多代理系统框架

Praison AI 是一个低代码的集中式框架，旨在简化各种大型语言模型（LLM）应用的多代理系统的创建和编排。它强调易用性、可定制性和人机交互。Praison AI 利用 AutoGen 和 CrewAI 或其他代理框架，通过预定义的角色和任务来实现复杂的自动化任务。用户可以通过命令行界面或用户界面与代理进行交互，创建自定义工具，并通过多种方式扩展其功能。

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

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

使用大型语言模型（LLMs）进行数据清洗和整理的Python库。

databonsai是一个Python库，利用大型语言模型（LLMs）执行数据清洗任务。它提供了一系列工具，包括数据分类、转换和提取，以及对LLM输出的验证，支持批量处理以节省令牌，并且具备重试逻辑以处理速率限制和瞬时错误。

轻量级AI代理，基于开源模型的智能助手

AIlice是一个轻量级的AI代理，旨在创建一个类似于JARVIS的自包含人工智能助手。它通过构建一个以大型语言模型（LLM）为核心的“文本计算机”来实现这一目标。AIlice在主题研究、编码、系统管理、文献综述以及超越这些基本能力的复杂混合任务方面表现出色。AIlice利用GPT-4在日常生活中的任务中达到了近乎完美的性能，并正在利用最新的开源模型迈向实际应用。

用简单语言指令实现自动化

Neural Wave是一款基于生成式人工智能技术的自动化工具，通过简单的语言指令，使任何企业都能够轻松实现自动化任务，无需昂贵的技术专业知识。我们的自定义大型语言模型（LLM）可以在任何软件应用程序上自动化任何任务（具有或不具有API），并处理任何结构化和完全非结构化的文档。我们的工具不需要任何RPA开发技能或技术专业知识，任何用户都可以通过简单的语言解释任务来自动化任何任务，无需技术技能。

AI Shell是微软推出的基于人工智能的命令行交互式工具。

AI Shell是微软PowerShell团队推出的一个公共预览版工具，它通过集成人工智能能力增强了命令行界面的交互性。AI Shell允许用户以对话的方式与AI代理交互，提供了一个框架，用户可以基于此框架构建满足特定需求的自定义系统。AI Shell包括命令行界面、用于创建AI代理和其他辅助提供者的框架、以及与PowerShell深度集成的PowerShell模块。AI Shell的主要优点包括提高命令行操作的智能性和适应性，与PowerShell会话深度集成，以及可扩展性模型。

自动化日常工作任务的工具。

Copilot Actions 是 Microsoft 365 Copilot 的一部分，旨在帮助用户自动化日常重复性任务。通过简单的提示和设置，用户可以创建自动化流程，例如在工作日结束时自动接收最重要的待办事项摘要、自动收集团队输入以制作每周通讯等。这些自动化任务可以帮助员工节省时间，提高工作效率。

无需编码即可构建强大的定制功能

Ply是一个平台，允许用户无需编码即可为其客户和团队构建定制功能。它集成了流程、AI解决方案和智能表单，可以直接嵌入到用户现有的应用程序中。Ply的主要优点包括其无需编码的易用性、能够将AI解决方案快速集成到工作流程中的能力，以及与多种应用程序的兼容性。Ply的背景信息显示，77%的客户认为它是构建AI解决方案的首选工具，这强调了其在商业智能解决方案领域的重要性。

基于Segment-Anything-2和Segment-Anything-1的自动全视频分割工具

AutoSeg-SAM2是一个基于Segment-Anything-2（SAM2）和Segment-Anything-1（SAM1）的自动全视频分割工具，它能够对视频中的每个对象进行追踪，并检测可能的新对象。该工具的重要性在于它能够提供静态分割结果，并利用SAM2对这些结果进行追踪，这对于视频内容分析、对象识别和视频编辑等领域具有重要意义。产品背景信息显示，它是由zrporz开发的，并且是基于Facebook Research的SAM2和zrporz自己的SAM1。价格方面，由于这是一个开源项目，因此它是免费的。

一个智能旅行助手，利用多种语言模型处理旅行相关任务。

AI Travel Agent是一个基于LangGraph构建的智能旅行助手，旨在通过多种语言模型为用户提供流畅的旅行规划体验。该产品能够处理航班查询、酒店预订和个性化邮件发送等任务，极大地提高了用户的旅行效率。它的主要优点包括状态保持的交互、用户控制关键操作和动态切换语言模型等功能，适合需要高效旅行规划的用户。

Stripe代理工具包，助力自动化财务和支付流程

Stripe Agent Toolkit是一个集成到Stripe的插件，它允许开发者将Stripe的金融服务和工具集成到他们的代理工作流程中。这个工具包支持通过函数调用来创建和管理Stripe对象，例如动态创建Payment Links来接受资金，集成到支持工作流程中以帮助客户，并构建测试数据。它与Vercel AI SDK、LangChain和CrewAI等LLM提供商兼容，并且支持Python和TypeScript。Stripe Agent Toolkit的主要优点包括提高支付和财务流程的自动化程度，以及通过代理技术扩展Stripe的功能。

Sandra AI，专为汽车分销设计的智能语音代理。

Sandra AI是一个智能语音代理，专为汽车分销行业设计，提供全天候的电话接听服务，帮助经销商不错过任何来电，提高客户满意度和业务机会。Sandra AI具有深厚的行业知识，能够像真正的专家一样与客户交流，并且能够无缝集成到经销商的软件中，实现快速、平滑的部署。产品背景信息显示，Sandra AI致力于通过人工智能技术优化客户服务，让经销商能够专注于核心业务，同时提升团队的工作效率。

AI驱动的销售生产力平台

Rox是一个AI驱动的销售生产力平台，旨在通过其代理群技术帮助企业安全地增长其最重要的客户关系。该平台能够统一、处理和监控所有关于客户的外部和内部信息，使人类能够找到的任何信息都触手可及，准备行动。Rox以其高度的安全性和合规性而建，旨在满足企业级的需求，并提供免费试用和企业计划。

123B参数的大型语言模型，具备先进推理和编码能力。

Mistral-Large-Instruct-2411是由Mistral AI提供的一款具有123B参数的大型语言模型，它在推理、知识、编码等方面具有最先进的能力。该模型支持多种语言，并在80多种编程语言上进行了训练，包括但不限于Python、Java、C、C++等。它以代理为中心，具备原生函数调用和JSON输出能力，是进行科研和开发的理想选择。

企业级全渠道消息解决方案

Superchat是一个为企业提供全渠道消息服务的平台，支持通过WhatsApp等即时通讯工具与客户进行互动，包括销售、市场营销、客户支持和招聘等多种业务场景。它通过集中管理消息、自动化流程和集成第三方服务，帮助企业提升客户沟通效率和销售业绩。Superchat以其用户友好的界面、高效的团队协作功能和强大的自动化能力，成为企业客户沟通的重要工具。

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

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

竞争对手特征智能分析工具

Sharbo是一个利用人工智能技术，帮助用户分析、比较并跟踪竞争对手产品特征的平台。它允许用户通过自动化的特征比较分析，定制化的产品比较页面，以及实时同步的竞争对手情报，来捕捉市场份额并促进业务增长。Sharbo的主要优点在于节省时间、提供深度洞察以及优化转化率。产品背景信息显示，Sharbo旨在通过自动化和定制化服务，让用户在激烈的市场竞争中保持领先。

124B参数的多模态大型语言模型

Pixtral-Large-Instruct-2411是由Mistral AI研发的124B参数的大型多模态模型，基于Mistral Large 2构建，展现出前沿级别的图像理解能力。该模型不仅能够理解文档、图表和自然图像，同时保持了Mistral Large 2在文本理解方面的领先地位。它在MathVista、DocVQA、VQAv2等数据集上达到了最先进的性能，是科研和商业应用的强大工具。

前沿AI技术，您的智能工作助手。

Mistral AI 提供的 le Chat 是一个免费的生成性AI工作助手，旨在通过前沿的AI技术提升人类的工作效率和创造力。le Chat 结合了搜索、视觉、创意、编码等多种功能，为用户提供了一个多功能的智能平台。它不仅能够进行网络搜索并引用来源，还拥有创意画布、文档和图像理解、图像生成等功能，并且支持任务自动化。Mistral AI 的使命是将前沿AI技术交到用户手中，让用户决定如何利用这些高级AI能力。目前，所有这些功能都以免费试用的形式提供，未来将推出更高级的服务保证。

Notion Mail是Notion推出的电子邮件服务。

Notion Mail是Notion推出的电子邮件服务，它集成了Notion的多种功能，如AI助理、日程安排、自定义视图等，旨在为用户提供一个简洁、高效、个性化的邮件管理体验。Notion Mail的设计理念是打破传统邮箱的束缚，通过现代化的设计和智能化的功能，让用户的工作和沟通更加流畅。产品预计将在2025年初正式发布，并将与Google和Gmail账户无缝集成。

多模态语音大型语言模型

fixie-ai/ultravox-v0_4_1-llama-3_1-70b是一个基于预训练的Llama3.1-70B-Instruct和whisper-large-v3-turbo的大型语言模型，能够处理语音和文本输入，生成文本输出。该模型通过特殊伪标记<|audio|>将输入音频转换为嵌入，并与文本提示合并后生成输出文本。Ultravox的开发旨在扩展语音识别和文本生成的应用场景，如语音代理、语音到语音翻译和口语音频分析等。该模型遵循MIT许可，由Fixie.ai开发。

多模态语音大型语言模型

fixie-ai/ultravox-v0_4_1-llama-3_1-8b是一个基于预训练的Llama3.1-8B-Instruct和whisper-large-v3-turbo的大型语言模型，能够处理语音和文本输入，生成文本输出。该模型通过特殊的<|audio|>伪标记将输入音频转换为嵌入，并生成输出文本。未来版本计划扩展标记词汇以支持生成语义和声学音频标记，进而可以用于声码器产生语音输出。该模型在翻译评估中表现出色，且没有偏好调整，适用于语音代理、语音到语音翻译、语音分析等场景。