产品库

下一代Python笔记本

marimo是一个开源的Python反应式笔记本，它具有可复现性、对git友好、可以作为脚本执行，并且可以作为应用程序分享。它通过自动运行受影响的单元格来响应单元格的更改，消除了管理笔记本状态的繁琐工作。marimo的UI元素如数据框架GUI和图表，使得数据处理变得快速、未来感和直观。marimo笔记本以.py文件存储，可以与git版本控制一起使用，可以作为Python脚本运行，也可以导入符号到其他笔记本或Python文件中，并使用你喜欢的工具进行lint或格式化。所有这些都在现代的 AI 支持的编辑器中进行。

Atom of Thoughts (AoT) 是一种用于提升大语言模型推理性能的框架。

Atom of Thoughts (AoT) 是一种新型推理框架，通过将解决方案表示为原子问题的组合，将推理过程转化为马尔可夫过程。该框架通过分解和收缩机制，显著提升了大语言模型在推理任务上的性能，同时减少了计算资源的浪费。AoT 不仅可以作为独立的推理方法，还可以作为现有测试时扩展方法的插件，灵活结合不同方法的优势。该框架开源且基于 Python 实现，适合研究人员和开发者在自然语言处理和大语言模型领域进行实验和应用。

一个基于 DuckDB 和 3FS 构建的轻量级数据处理框架

Smallpond 是一个高性能的数据处理框架，专为大规模数据处理而设计。它基于 DuckDB 和 3FS 构建，能够高效处理 PB 级数据集，无需长时间运行的服务。Smallpond 提供了简单易用的 API，支持 Python 3.8 至 3.12，适合数据科学家和工程师快速开发和部署数据处理任务。其开源特性使得开发者可以自由定制和扩展功能。

一个用于LLM预训练的高效网络爬虫工具，专注于高效爬取高质量网页数据。

Crawl4LLM是一个开源的网络爬虫项目，旨在为大型语言模型（LLM）的预训练提供高效的数据爬取解决方案。它通过智能选择和爬取网页数据，帮助研究人员和开发者获取高质量的训练语料。该工具支持多种文档评分方法，能够根据配置灵活调整爬取策略，以满足不同的预训练需求。项目基于Python开发，具有良好的扩展性和易用性，适合在学术研究和工业应用中使用。

开源的网页自动化库，支持任何大型语言模型（LLM）

browser-use是一个开源的网页自动化库，允许大型语言模型（LLM）与网站进行交互，通过简单的接口实现复杂的网页操作。该技术的主要优点包括对多种语言模型的通用支持、交互元素自动检测、多标签页管理、XPath提取、视觉模型支持等。它解决了传统网页自动化中的一些痛点，如动态内容处理、长任务解决等。browser-use以其灵活性和易用性，为开发者提供了一个强大的工具，以构建更加智能和自动化的网页交互体验。

Mochi视频生成器的ComfyUI包装节点

ComfyUI-MochiWrapper是一个用于Mochi视频生成器的包装节点，它允许用户通过ComfyUI界面与Mochi模型进行交互。这个项目主要优点是能够利用Mochi模型生成视频内容，并且通过ComfyUI简化了操作流程。它是基于Python开发的，并且完全开源，允许开发者自由地使用和修改。目前该项目还处于积极开发中，已经有一些基本功能，但还没有正式发布版本。

开源自主软件开发系统

SuperCoder 2.0是一个开源的自主软件开发系统，利用大型语言模型（LLMs）和大型动作模型（LAMs）针对Python代码生成进行微调，以实现更高精度的一次性或少次编程。它结合特定于开发框架的软件护栏，如Flask和Django，与SuperAGI的通用智能开发代理一起，提供复杂的现实世界软件系统。SuperCoder 2.0还确保了您的知识产权和代码免受AI相关的滥用，并与现有的开发栈如Jira、Github或Gitlab、Jenkins、CSPs以及QA解决方案如BrowserStack/Selenium Clouds深度集成，确保无缝的软件开发体验。

一个交互式绘图应用，用于数学方程的绘制和计算。

AI Math Notes 是一个开源的交互式绘图应用程序，允许用户在画布上绘制数学方程。应用程序利用多模态大型语言模型（LLM）计算并显示结果。该应用程序使用Python开发，利用Tkinter库创建图形用户界面，使用PIL进行图像处理。灵感来源于Apple在2024年全球开发者大会（WWDC）上展示的'Math Notes'。

Langroid是一个基于Python的轻量级LLM框架

Langroid是一个轻量级、可扩展和原则性的Python框架,可以轻松地构建基于LLM的应用程序。您可以设置代理,为它们配备可选组件(LLM、向量存储和方法),分配它们任务,并让他们通过交换消息协作解决问题。这个多代理范例的灵感来自Actor框架(但您不需要了解任何关于这个的知识!)。Langroid提供了一个全新的LLM应用程序开发方式,在简化开发人员体验方面进行了深思熟虑;它不使用Langchain。我们欢迎贡献--请参阅贡献文档以获取贡献想法。

DeepSeek R1-0528 是一款开源大模型，性能媲美 OpenAI o3 模型。

DeepSeek R1-0528 是知名开源大模型平台 DeepSeek 发布的最新版本，具有高性能的自然语言处理和编程能力。它的发布引起了广泛关注，因其在编程任务中表现出色，能够准确回答复杂问题。该模型支持多种应用场景，是开发者和 AI 研究者的重要工具。预计后续将发布更详细的模型信息和使用指南，增强其功能和应用广度。

使用低延迟语音识别和合成模型与 AI 对话。

Unmute 是一款创新的语音识别与合成工具，旨在使用户能够通过自然语言与 AI 进行高效的互动。其低延迟技术确保用户体验流畅，适合需要实时反馈的场景。该产品将以开源形式发布，推动更多开发者和用户的参与。当前尚未公布价格，预计将采取免费和付费相结合的模式。

DMind 是一个开源的 Web3 AGI 研究机构，致力于 AI 与 Web3 的交汇探索。

DMind-1 和 DMind-1-mini 是针对 Web3 任务的领域专用大型语言模型，提供比其他通用模型更高的领域准确性、指令跟随能力及专业理解。DMind-1 经过专家策划的 Web3 数据微调，并通过强化学习与人类反馈对齐，适合复杂指令和多轮对话，适用于区块链、DeFi 和智能合约等领域。DMind-1-mini 作为更轻量的版本，旨在满足实时和资源高效的应用场景，特别适合代理部署和链上工具。产品定价及具体信息需进一步确认。

一个简单的代理框架，支持浏览器使用、深度研究等功能。

Minion Agent 是一个简单而强大的代理框架，能够与浏览器交互，支持深度研究、自动规划等功能，适用于需要进行复杂任务和研究的用户。它提供了一种灵活的工具集，使开发者能够轻松集成不同的模型和工具。该框架不仅提高了工作的效率，还为用户提供了便捷的使用体验，适合各类科研和商业应用。该产品是开源的，用户可以自由使用和修改。

自动提取和总结 arXiv 研究论文的 Python 工具。

该产品是一个 Python 脚本，利用 Gemini API 从 arXiv 获取和总结研究论文。它帮助研究人员、学生和爱好者快速提取关键信息，从而节省阅读冗长文献的时间。该工具不仅适合个体用户，还可以自动化日常的文献检索，提升研究效率。产品免费提供，易于安装和配置。

个人化的 AI 记忆层，确保数据安全与隐私。

OpenMemory 是一个开放源代码的个人记忆层，为大型语言模型（LLMs）提供私密、可携带的记忆管理。它确保用户对自己的数据拥有完全的控制权，能够在构建 AI 应用程序时保持数据的安全性。此项目支持 Docker、Python 和 Node.js，适合开发者进行个性化的 AI 体验。OpenMemory 尤其适合希望在不泄露个人信息的情况下使用 AI 的用户。

开源的手机端 GUI 智能代理，支持中英文应用操作。

AgentCPM-GUI 是一款开源的手机端大型语言模型（LLM）代理，专为操作中英文应用程序而设计，能够根据用户的屏幕截图自动执行任务。其主要优点在于高效的 GUI 元素理解、增强的推理能力以及对中文应用的精准支持。此技术的开发背景是为了提升移动设备上智能代理的用户体验，特别是在复杂任务处理方面。该产品定位于提高移动端的生产力，适用于各类用户。

开源的 AI 研究助手，集成多种外部资源。

SurfSense 是一款开源的 AI 研究助手，它将多种外部资源（如搜索引擎、Slack、Notion 等）整合在一起，帮助用户高效地进行研究和信息管理。该产品支持多种文件格式的上传与搜索，具备自然语言交互能力，并能快速生成内容。SurfSense 旨在提升研究效率，适合对知识管理有高需求的用户。

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

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

一个社区驱动的深度研究框架，结合语言模型与多种工具。

DeerFlow 是一个深度研究框架，旨在结合语言模型与如网页搜索、爬虫及 Python 执行等专用工具，以推动深入研究工作。该项目源于开源社区，强调贡献回馈，具备多种灵活的功能，适合各类研究需求。

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

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

代理法官，用于自动评估任务和提供奖励信号。

Agent-as-a-Judge 是一种新型的自动化评估系统，旨在通过代理系统的互相评估来提高工作效率和质量。该产品能够显著减少评估时间和成本，同时提供持续的反馈信号，促进代理系统的自我改进。它被广泛应用于 AI 开发任务中，特别是在代码生成领域。该系统具备开源特性，便于开发者进行二次开发和定制。

一个模型上下文协议服务器，用于 Excel 文件操作。

Excel MCP Server 是一个无须安装 Microsoft Excel 即可操作 Excel 文件的服务器，用户可以创建、读取和修改 Excel 工作簿。该工具的主要优点在于它的易用性和灵活性，支持多种 Excel 功能，并可通过 AI 代理进行文件操作。此产品适合需要频繁处理 Excel 文件的用户，如数据分析师、财务人员等。此工具是开源的，使用 Python 开发，便于在本地或远程服务器上运行。

全面管理的AI搜索基础设施，支持RAG。

Ducky是一种全面管理的AI检索服务，专为那些需要快速准确结果的开发人员而设计。它支持语义搜索，包括检索增强生成（RAG），并且提供了简单明了的Python SDK，可以快速构建出色的搜索功能。

Ubicloud是一种开源云，可在任何地方运行，提供弹性计算、块存储、负载均衡器、防火墙、托管PostgreSQL和GitHub Actions运行器。

Ubicloud是一个开源云平台，可在任何地方运行。它提供弹性计算、块存储、负载均衡器、防火墙、托管PostgreSQL和GitHub Actions运行器。通过自托管软件或使用托管服务，可将云成本降低3-10倍。

Zarin是首个开源AI平台，集成了200多个热门和最新的AI多模型，可生成图片、视频、音频、代码、学术论文等。

Zarin是一个开源AI平台，汇聚了200多个热门和最新的AI多模型，为用户提供生成图片、视频、音频、代码、学术论文等功能。该平台的主要优点是打破了不同AI平台之间切换的障碍，使用户能够在一个平台上完成多种任务。Zarin的背景信息是由Ibrohim Abdivokhidov开发。

一个旨在推动人工智能民主化的开源项目。

DeepSeek-Prover-V2-671B 是一个先进的人工智能模型，旨在提供强大的推理能力。它基于最新的技术，适用于多种应用场景。该模型是开源的，旨在促进人工智能技术的民主化与普及，降低技术壁垒，使更多开发者和研究者能够利用 AI 技术进行创新。通过使用该模型，用户可以提升他们的工作效率，推动各类项目的进展。

F Lite 是一款 10B 参数的扩散模型，专注于合法和安全内容。

F Lite 是由 Freepik 和 Fal 开发的一个大型扩散模型，具有 100 亿个参数，专门训练于版权安全和适合工作环境 (SFW) 的内容。该模型基于 Freepik 的内部数据集，包含约 8000 万张合法合规的图像，标志着公开可用的模型在这一规模上首次专注于合法和安全的内容。它的技术报告提供了详细的模型信息，并且使用了 CreativeML Open RAIL-M 许可证进行分发。该模型的设计旨在推动人工智能的开放性和可用性。

Simular AI 提供开放源代码的智能 AI 代理，以自动化计算机任务。

Simular 是一款领先的开放源代码计算机使用代理，通过人类般的计算机操作来自动化多种数字任务，提升工作效率。该产品由来自 DeepMind、Google 和 Baidu 等顶尖 AI 研究机构的专家团队开发，旨在通过开放的代理框架实现透明且可控的业务集成。

一个统一的图像编辑模型，支持多种用户指令。

Step1X-Edit 是一种实用的通用图像编辑框架，利用 MLLMs 的图像理解能力解析编辑指令，生成编辑令牌，并通过 DiT 网络解码为图像。其重要性在于能够有效满足真实用户的编辑需求，提升了图像编辑的便捷性和灵活性。