产品库

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

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

ChatGPT风格的交互式AI代理

Prompt Keeps是一个让您在几分钟内创建个性化AI的平台。它可以帮助您创建自己的ChatGPT风格的AI，用于各种应用场景。它提供了丰富的功能和优势，并根据不同的定价方案进行定位。无论是个人还是企业，Prompt Keeps都可以替代人工专家，为您提供高质量的AI服务。

NLP模型优化工具

Fine-Tuner是一款NLP模型优化工具，能够提供更好的结果、更少的数据和更短的时间。无需编码，通过Fine-Tuner可以构建智能AI代理，加快市场推广，并在不受技术复杂性或基础设施限制的情况下扩展智能解决方案。

专业AI提示生成工具，优化ChatGPT、Claude、Gemini等AI模型体验。

TaoPrompt是一款专业的AI提示生成工具，能够快速而准确地创建AI提示，帮助用户优化与ChatGPT、Claude、Gemini等AI模型的交互体验。它能够帮助用户节省时间，提高工作效率，适用于各种领域的需求。

Seed-Coder 是一个开源的 8B 代码大型语言模型系列。

Seed-Coder 是字节跳动 Seed 团队推出的开源代码大型语言模型系列，包含基础、指令和推理模型，旨在通过最小的人力投入，自主管理代码训练数据，从而显著提升编程能力。该模型在同类开源模型中表现优越，适合于各种编码任务，定位于推动开源 LLM 生态的发展，适用于研究和工业界。

AI Agent Marketplace是一个集成AI代理的市场，为用户提供各种AI服务。

AI Agent Marketplace是一个集成了各种AI代理的在线市场，用户可以通过该平台轻松获取各种AI服务，包括语音识别、自然语言处理、图像识别等。该平台的主要优点在于提供便捷的AI服务获取渠道，为用户节省时间和资源。AI Agent Marketplace的定位是为企业和个人用户提供高效的AI服务解决方案。

一个完整的AI代理平台，可以构建、使用和分享AI代理。

Nelly是一个完整的AI代理平台，无需编码即可构建、使用和分享AI代理。它提供自然语言构建AI代理、与AI代理进行自然对话、分享和市场化AI代理等功能。

一种无需搜索即可激励 LLM 搜索能力的框架。

ZeroSearch 是一种新颖的强化学习框架，旨在激励大型语言模型（LLMs）的搜索能力，而无需与实际搜索引擎进行交互。通过监督微调，ZeroSearch 转变 LLM 为能够生成相关和无关文档的检索模块，并引入课程推出机制来逐步激发模型的推理能力。该技术的主要优点在于其性能优于基于真实搜索引擎的模型，同时产生的 API 成本为零。它适用于各种规模的 LLM，并支持不同的强化学习算法，适合需要高效检索能力的研究和开发团队。

用于生成和推荐笔记的可检索大型语言模型。

NoteLLM 是一款专注于用户生成内容的可检索大型语言模型，旨在提升推荐系统的性能。通过将主题生成与嵌入生成相结合，NoteLLM 提高了对笔记内容的理解与处理能力。该模型采用了端到端的微调策略，适用于多模态输入，增强了在多样化内容领域的应用潜力。其重要性在于能够有效提升笔记推荐的准确性和用户体验，特别适用于小红书等 UGC 平台。

Promptaa是一个AI提示库，可帮助您创建、管理和共享AI提示。

Promptaa是一个用于创建、管理和共享AI提示的平台。它利用AI增强功能改进提示，提供了创建有效提示的指南，以及社区功能让用户分享和发现最佳提示。

专业人士构建、自动化和赚钱的AI代理

Dump.ai是一个专家将专业知识转化为AI代理并赚取收入的市场。它使专家能够构建、自动化和赚取AI代理。

AI Hay是一个强大的助手，可以提供学习支持、解答问题、识别图片、解释图像等多种功能。

AI Hay - Hỏi đáp AI是一个智能助手，可用于学习、解题、识别图片、解释图像等。它的主要优点是智能化、方便快捷，定位于为用户提供各种问题解答和知识服务。

一个智能助手，通过自然语言简化 AI 算法的调试和部署。

ComfyUI-Copilot 是一个基于 Comfy-UI 框架的智能助手，旨在通过自然语言交互简化和增强 AI 算法的调试和部署过程。该产品的设计目标是降低开发门槛，让即使是初学者也能轻松使用。其智能推荐功能和实时支持能够显著提高开发效率，解决开发过程中遇到的问题。同时，ComfyUI-Copilot 支持多种模型，并提供详细的节点查询和工作流建议，为用户提供全面的开发辅助。此项目仍在早期阶段，用户可通过 GitHub 获取最新代码和功能更新。

通过AI驱动的销售代理，帮助团队更快地关闭更多交易。

Microsoft 365 Copilot for Sales 是一款基于人工智能的销售工具，旨在通过自动化和智能化的方式提升销售团队的效率和业绩。它结合了自然语言处理和机器学习技术，能够自动处理销售线索、安排会议、生成销售建议，并提供实时的客户洞察。该产品主要面向企业销售团队，帮助他们节省时间、提高销售转化率，并优化整个销售流程。其价格和具体定位可能因企业规模和需求而异，但目标是成为现代销售团队不可或缺的智能助手。

一个用于集成不同框架AI代理的通用平台，支持实时通信和人类监督。

Mahilo是一个强大的AI代理集成平台，旨在将来自不同框架的AI代理连接在一起，实现实时通信和人类监督。它通过提供框架无关的通信协议，支持多种流行的代理框架，如LangGraph、Pydantic AI等，同时允许通过API连接专有代理。该平台强调智能协作、组织级策略管理和以人类为中心的设计，确保在自动化的同时保持人类的控制权。Mahilo的出现为构建复杂的多代理系统提供了灵活的解决方案，适用于从内容创作到紧急响应等多种应用场景。目前，Mahilo在GitHub上拥有251颗星，每月PyPI下载量超过500次，显示出其在开发者社区中的受欢迎程度。Mahilo主要面向开发者和企业用户，帮助他们快速构建和部署多代理系统，提升工作效率和创新能力。

通过Lemni，您可以快速设置自定义AI代理，让每一次客户互动都保持个性化。

Lemni是一款专注于提升客户体验的AI平台，通过自定义AI代理帮助企业实现高效、个性化的客户互动。该产品利用先进的AI技术，能够快速响应客户需求，支持多语言交互，并与现有工具无缝集成。Lemni的主要优点包括快速部署、高度可定制化以及强大的自动化能力。其目标是帮助企业在全球范围内扩展业务，同时保持与客户的紧密联系。Lemni的定价策略灵活，适合不同规模的企业使用。

Monica 是一个万能的助手，懂你的伙伴，提供智能对话服务。

Monica 是由北京蝴蝶效应科技有限公司开发的智能助手产品。它以对话为核心功能，旨在为用户提供便捷、智能的交流体验。其背后的技术基于 DeepSeek V3 & R1 模型，能够理解并回应用户的多样化需求。Monica 的主要优点在于其智能对话能力，能够快速响应用户的问题，并提供个性化的服务。产品定位为用户的贴心伙伴，适用于多种场景，如日常交流、学习辅助、信息查询等。目前提供网页版和手机 APP 版本，用户可以根据自己的需求选择使用方式。

DeepTutor 是一款专注于学术论文阅读的智能助手，支持文本、图表、公式等深度理解。

DeepTutor 是一款面向学术研究与学习的智能工具，通过 AI 技术为用户提供深度的文档解读服务。它不仅能够提取文本信息，还能理解图表、公式等复杂内容，帮助用户快速获取关键信息。该产品主要面向学生、研究人员以及专业人士，旨在提高他们的学习和研究效率。目前，DeepTutor 提供免费试用，用户可以通过上传文件并选择不同的生成模型来体验其强大的功能。

通过强化学习提升大型语言模型在开源软件演变中的推理能力

SWE-RL 是由 Facebook Research 提出的一种基于强化学习的大型语言模型推理技术，旨在利用开源软件演变数据提升模型在软件工程任务中的表现。该技术通过规则驱动的奖励机制，优化模型的推理能力，使其能够更好地理解和生成高质量的代码。SWE-RL 的主要优点在于其创新性的强化学习方法和对开源数据的有效利用，为软件工程领域带来了新的可能性。该技术目前处于研究阶段，尚未明确商业化定价，但其在提升开发效率和代码质量方面具有显著潜力。

探索大型语言模型作为编程辅导工具的潜力，提出Trace-and-Verify工作流。

Coding-Tutor是一个基于大型语言模型（LLM）的编程辅导工具，旨在通过对话式交互帮助学习者提升编程能力。它通过Trace-and-Verify（Traver）工作流，结合知识追踪和逐轮验证，解决编程辅导中的关键挑战。该工具不仅适用于编程教育，还可扩展到其他任务辅导场景，帮助根据学习者的知识水平调整教学内容。项目开源，支持社区贡献。

SAP推出的Joule Agents通过AI技术优化企业跨功能流程，提升业务效率。

Joule Agents是SAP推出的一种生成式AI解决方案，旨在通过AI技术打破企业内部的功能孤岛，实现跨部门的高效协作。该产品基于SAP Business AI架构，结合了SAP Business Data Cloud和SAP知识图谱，能够快速解决复杂的多步骤业务流程问题。其主要优点包括强大的数据整合能力、深度语义理解以及灵活的定制化能力。Joule Agents的目标是帮助企业提升运营效率，优化客户体验，并通过AI驱动的自动化流程减少人工干预，从而实现更高的业务敏捷性和竞争力。产品目前处于逐步推广阶段，具体价格和详细定位需根据企业需求定制。

月之暗面推出的最新AI模型，支持自动同步更新和大上下文长度，适用于AI聊天和智能助手构建。

kimi-latest 是月之暗面公司推出的最新 AI 模型，与 Kimi 智能助手同步升级，具备强大的上下文处理能力和自动缓存功能，能够有效降低使用成本。该模型支持图像理解和多种功能，如 ToolCalls 和联网搜索，适用于构建 AI 智能助手或客服系统。其价格为每百万 Tokens 1 元，定位为高效、灵活的 AI 模型解决方案。

Goedel-Prover 是一款开源的自动化定理证明模型，专注于数学问题的形式化证明。

Goedel-Prover 是一款专注于自动化定理证明的开源大型语言模型。它通过将自然语言数学问题翻译为形式化语言（如 Lean 4），并生成形式化证明，显著提升了数学问题的自动化证明效率。该模型在 miniF2F 基准测试中达到了 57.6% 的成功率，超越了其他开源模型。其主要优点包括高性能、开源可扩展性以及对数学问题的深度理解能力。Goedel-Prover 旨在推动自动化定理证明技术的发展，并为数学研究和教育提供强大的工具支持。

小艺是华为推出的智能助手，提供聊天、写作、编程等多种AI服务。

小艺是华为推出的智能助手，集成了自然语言处理和机器学习技术，能够提供聊天、写作、编程、翻译等多种功能。它基于深度学习模型，能够理解用户的问题并给出准确的回答。小艺的主要优点是功能丰富、响应速度快、智能化程度高。作为华为生态的一部分，小艺致力于为用户提供便捷的智能服务，提升用户体验。

OmniParser 是一款通用屏幕解析工具，可将 UI 截图转换为结构化格式，提升基于 LLM 的 UI 代理性能。

OmniParser 是微软开发的一种先进的图像解析技术，旨在将不规则的屏幕截图转换为结构化的元素列表，包括可交互区域的位置和图标的功能描述。它通过深度学习模型，如 YOLOv8 和 Florence-2，实现了对 UI 界面的高效解析。该技术的主要优点在于其高效性、准确性和广泛的适用性。OmniParser 可以显著提高基于大型语言模型（LLM）的 UI 代理的性能，使其能够更好地理解和操作各种用户界面。它在多种应用场景中表现出色，如自动化测试、智能助手开发等。OmniParser 的开源特性和灵活的许可证使其成为开发者和研究人员的有力工具。

Le Chat 是一款结合强大 AI 与网络信息的生产力工具，可用于个人生活和专业场景。

Le Chat 是一款由 Mistral AI 开发的 AI 助手应用，旨在通过自然语言处理和实时互联网搜索技术，帮助用户在个人生活和专业工作中提升效率。它能够进行文档分析、提供信息查询服务，并支持多种语言交互。作为一款免费应用，它为用户提供了一个强大的工具来优化日常任务和工作流程。

EasyWeb是一个用于构建和部署与浏览器交互的AI代理的开放平台。

EasyWeb是一个基于AI的开放平台，专注于构建和部署能够与浏览器交互的智能代理。它通过提供一个简单易用的界面，让用户能够快速部署AI代理来完成各种浏览器相关任务，如旅行规划、在线购物和新闻收集等。该平台基于OpenHands架构，支持并行处理多个用户请求，并允许用户根据需要切换不同的代理和LLM（大型语言模型）。其主要优点包括部署简单、使用方便、支持多种任务类型，并且完全开源，适合开发者和研究人员进行二次开发和研究。EasyWeb的出现为AI在自动化任务中的应用提供了新的可能性，同时也为相关领域的研究和开发提供了有力的支持。

Mistral Small 24B 是一款多语言、高性能的指令微调型大型语言模型，适用于多种应用场景。

Mistral Small 24B 是一款由 Mistral AI 团队开发的大型语言模型，拥有 240 亿参数，支持多语言对话和指令处理。该模型通过指令微调，能够生成高质量的文本内容，适用于聊天、写作、编程辅助等多种场景。其主要优点包括强大的语言生成能力、多语言支持以及高效推理能力。该模型适合需要高性能语言处理的个人和企业用户，具有开源许可，支持本地部署和量化优化，适合对数据隐私有要求的场景。

DeepSeek-R1-Distill-Llama-70B 是一款基于强化学习优化的大型语言模型，专注于推理和对话能力。

DeepSeek-R1-Distill-Llama-70B 是由 DeepSeek 团队开发的一款大型语言模型，基于 Llama-70B 架构并通过强化学习进行优化。该模型在推理、对话和多语言任务中表现出色，支持多种应用场景，包括代码生成、数学推理和自然语言处理。其主要优点是高效的推理能力和对复杂问题的解决能力，同时支持开源和商业使用。该模型适用于需要高性能语言生成和推理能力的企业和研究机构。