产品库

LangGraph应用的辅助工具

LangGraph Engineer是一个alpha版本的代理，旨在帮助快速启动LangGraph应用程序。它专注于创建正确的节点和边，但不会尝试编写填充节点和边的逻辑，而是留给用户来完成。

代码重构工具，提升开发效率。

Instant Refactor 是一款编程辅助工具，旨在帮助开发者提高代码重构的效率。它通过自动化的方式识别代码中的模式，并提供重构建议，从而减少手动重构的时间和精力消耗。该工具支持多种编程语言，具有用户友好的界面，可以帮助开发者更快地进行代码优化和维护。

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以其高度的安全性和合规性而建，旨在满足企业级的需求，并提供免费试用和企业计划。

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

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

Qwen2.5-Coder系列中的1.5B参数量级代码生成模型

Qwen2.5-Coder是Qwen大型语言模型的最新系列，专注于代码生成、代码推理和代码修复。基于强大的Qwen2.5，该模型在训练中包含了5.5万亿的源代码、文本代码关联、合成数据等，是目前开源代码语言模型中的佼佼者，其编码能力可与GPT-4相媲美。此外，Qwen2.5-Coder还具备更全面的现实世界应用基础，如代码代理等，不仅增强了编码能力，还保持了在数学和通用能力方面的优势。

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

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

Qwen2.5-Coder系列中的1.5B参数代码生成模型

Qwen2.5-Coder是Qwen大型语言模型的最新系列，专为代码生成、推理和修复而设计。基于强大的Qwen2.5，该模型在训练时包含了5.5万亿的源代码、文本代码基础、合成数据等，使其在代码能力上达到了开源代码LLM的最新水平。它不仅增强了编码能力，还保持了在数学和通用能力方面的优势。

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

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

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

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

前沿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账户无缝集成。

企业团队的先进自然语言DevOps平台

SRE.ai AI DevOps Agents是一个由顶尖AI机构工程师打造，并得到顶级投资者支持的先进自然语言DevOps平台。该平台通过AI代理增强团队，实现任何工作流程的定制化，提供前所未有的自动化和速度。它支持快速部署和回退，能够在开发周期早期识别和解决合并、依赖和集成冲突，确保更快速、更安全的发布。此外，它还能通过模拟和影响报告提前获得发布洞察，实现真正全面的自动化，并与整个技术栈深度集成，保护数据免受损失，并提供无缝备份和灾难恢复方案。

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

Qwen2.5-Coder是Qwen大型语言模型的最新系列，专注于代码生成、代码推理和代码修复。基于强大的Qwen2.5，训练令牌扩展到5.5万亿，包括源代码、文本代码接地、合成数据等。Qwen2.5-Coder-32B已成为当前最先进的开源代码大型语言模型，其编码能力与GPT-4o相匹配。该模型在实际应用中提供了更全面的基础，如代码代理，不仅增强了编码能力，还保持了在数学和通用能力方面的优势。

AI驱动的医疗通信助手，自动化电话和短信沟通。

Hello Patient是一个AI驱动的医疗通信平台，旨在通过自动化电话和短信沟通来提高医疗服务效率。该平台通过集成EHR、CRM和PMS系统，确保在正确的时间进行一致性和符合脚本的电话和短信沟通，从而提升患者忠诚度和医疗服务质量。产品背景信息显示，Hello Patient致力于减轻医疗工作者的工作负担，通过AI技术提高患者互动的及时性和一致性，同时降低运营成本。

一站式开源高质量数据提取工具，将PDF转换成Markdown和JSON格式。

MinerU是一个开源工具，专注于将PDF文件转换成机器可读的格式，如Markdown和JSON，便于内容的提取和进一步处理。它在科学文献中解决符号转换问题，支持多种输出格式，并兼容多种操作系统。MinerU的主要优点包括去除页眉、页脚、脚注等，保持文档原有结构，自动识别和转换文档中的公式和表格，支持OCR功能，并且支持多达84种语言的检测和识别。

AI代理与功能连接平台

Functions for AI是一个将AI代理与各种功能连接的平台，使用户能够通过预测API获取正确的功能，收集用户认证，展示审核界面等。该产品通过集成多种应用程序的功能，增强AI的执行和验证能力，同时提供用户界面以确保交互的准确性和有效性。它支持无代码或少代码的快速集成开发，减少工程负担，并提供全面的合规性和数据安全保障。

使用先进计算机视觉算法进行自动、准确计数的应用。

CountAnything是一个前沿应用，利用先进的计算机视觉算法实现自动、准确的物体计数。它适用于多种场景，包括工业、养殖业、建筑、医药和零售等。该产品的主要优点在于其高精度和高效率，能够显著提升计数工作的准确性和速度。产品背景信息显示，CountAnything目前已开放给非中国大陆地区用户使用，并且提供免费试用。

开源代码生成语言模型

Qwen2.5-Coder-32B-Instruct-GPTQ-Int8是Qwen系列中针对代码生成优化的大型语言模型，拥有32亿参数，支持长文本处理，是当前开源代码生成领域最先进的模型之一。该模型基于Qwen2.5进行了进一步的训练和优化，不仅在代码生成、推理和修复方面有显著提升，而且在数学和通用能力上也保持了优势。模型采用GPTQ 8-bit量化技术，以减少模型大小并提高运行效率。

开源AI代码编辑器，加速开发流程

PearAI是一个开源的AI代码编辑器，它通过集成市场上最好的AI工具，为开发者提供一个强大的编辑器，以加速开发流程。PearAI集成了多种AI工具，如aider、Supermaven、MemO、Perplexity和Continue，这些工具分别帮助开发者自动生成代码、预测代码、记忆代码上下文、搜索代码和聊天编辑代码。PearAI的背景信息显示，它得到了Y Combinator的支持，并且提供了一个免费的下载选项。产品的定位是为开发者提供一个集成了多种AI工具的代码编辑器，以提高开发效率和质量。

Qwen2.5-Coder系列中的指令调优0.5B参数代码生成模型

Qwen2.5-Coder是Qwen大型语言模型的最新系列，专注于代码生成、代码推理和代码修复。基于强大的Qwen2.5，通过扩展训练令牌到5.5万亿，包括源代码、文本代码基础、合成数据等，Qwen2.5-Coder-32B已成为当前最先进的开源代码LLM，其编码能力与GPT-4o相匹配。该模型不仅增强了编码能力，还保持了在数学和通用能力方面的优势，为实际应用如代码代理提供了更全面的基础。

Qwen2.5-Coder系列中的1.5B参数代码生成模型

Qwen2.5-Coder-1.5B是Qwen2.5-Coder系列中的一款大型语言模型，专注于代码生成、代码推理和代码修复。基于强大的Qwen2.5，该模型通过扩展训练令牌至5.5万亿，包括源代码、文本代码基础、合成数据等，成为当前开源代码LLM中的佼佼者，编码能力媲美GPT-4o。此外，Qwen2.5-Coder-1.5B还强化了数学和通用能力，为实际应用如代码代理提供了更全面的基础。

Qwen2.5-Coder系列中的1.5B参数代码生成模型

Qwen2.5-Coder是Qwen大型语言模型的最新系列，专注于代码生成、代码推理和代码修复。基于Qwen2.5的强大能力，该模型在训练时使用了5.5万亿的源代码、文本代码基础、合成数据等，是目前开源代码生成语言模型中的佼佼者，编码能力与GPT-4o相媲美。它不仅增强了编码能力，还保持了在数学和通用能力方面的优势，为实际应用如代码代理提供了更全面的基础。