产品库

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

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

CocoIndex 是一个开源的数据索引引擎，支持自定义转换逻辑和增量更新。

CocoIndex 是一款面向数据索引的开源引擎，专注于数据提取、转换和索引。它支持自定义数据转换逻辑和增量更新，能够有效处理大规模数据流。产品主要面向数据科学家、工程师和企业用户，旨在简化数据索引流程，提高数据处理效率。CocoIndex 提供开源版本和企业级服务，开源版本完全免费，企业级服务则提供额外支持和功能，满足不同用户的需求。

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

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

一个开源的交互式开发环境，用于构建和优化基于LLM的数据处理管道。

DocWrangler是一个开源的交互式开发环境，旨在简化构建和优化基于大型语言模型（LLM）的数据处理管道的过程。它提供即时反馈、可视化探索工具和AI辅助功能，帮助用户更容易地探索数据、实验不同操作并根据发现优化管道。该产品基于DocETL框架构建，适用于处理非结构化数据，如文本分析、信息提取等。它不仅降低了LLM数据处理的门槛，还提高了工作效率，使用户能够更有效地利用LLM的强大功能。

AI生成Excel和Google Sheet公式

GPT Formula是一款AI工具，可以为您生成Excel和Google Sheet公式。它能够根据您提供的简短描述自动生成复杂的公式，并提供公式的解释和使用方法。无需再去搜索正确的公式，我们的AI工具会为您完成繁重的工作。只需在Chrome插件窗口中编写您的提示，我们的Google Sheets公式生成器就可以在几秒钟内创建复杂的公式。

最准确的Excel公式/Google Sheets公式生成AI

公式总部是一款能够生成准确的Excel公式和Google Sheets公式的人工智能工具。它可以帮助用户在处理电子表格数据时快速生成复杂的计算公式，提高工作效率。公式总部还提供各种函数、正则表达式、VBA代码和笔记等辅助功能，方便用户进行更多的数据处理操作。公式总部还可以与用户进行聊天交流，提供使用指导和解决问题。同时，公式总部还提供丰富的使用场景和标签，适用于各种不同的工作和学习需求。

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 网络解码为图像。其重要性在于能够有效满足真实用户的编辑需求，提升了图像编辑的便捷性和灵活性。

Kimi-Audio 是一个开源音频基础模型，擅长音频理解与生成。

Kimi-Audio 是一个先进的开源音频基础模型，旨在处理多种音频处理任务，如语音识别和音频对话。该模型在超过 1300 万小时的多样化音频数据和文本数据上进行了大规模预训练，具有强大的音频推理和语言理解能力。它的主要优点包括优秀的性能和灵活性，适合研究人员和开发者进行音频相关的研究与开发。

一套用于 DevOps 面试准备的练习题和资源。

devops-exercises 是一个旨在帮助求职者准备 DevOps 面试的资源库。它包含了各种技术和工具的练习题，帮助用户提高自己的技能和面试表现。该项目是开源的，适合所有希望在 DevOps 领域发展的人员。它涵盖了包括 Docker、Kubernetes、AWS 等热门技术，适合初学者和有经验的专业人士。该项目的使用完全免费，促进了社区的学习与成长。

开放源代码的 8B 参数文本到图像扩散模型。

Flex.2 是当前最灵活的文本到图像扩散模型，具备内置的重绘和通用控制功能。它是一个开源项目，由社区支持，旨在推动人工智能的民主化。Flex.2 具备 8 亿参数，支持 512 个令牌长度输入，并符合 OSI 的 Apache 2.0 许可证。此模型可以在许多创意项目中提供强大的支持。用户可以通过反馈不断改善模型，推动技术进步。

一个可以在一次传递中生成超逼真的对话的 TTS 模型。

Dia 是一个由 Nari Labs 开发的文本到语音（TTS）模型，具有 1.6 亿参数，能够直接从文本生成高度逼真的对话。该模型支持情感和语调控制，并能够生成非言语交流，如笑声和咳嗽。它的预训练模型权重托管在 Hugging Face 上，适用于英语生成。此产品对于研究和教育用途至关重要，能够推动对话生成技术的发展。

开源的全能 AI 助手，帮助完成各种任务。

Suna 是一个开源的 AI 助手，通过自然对话帮助用户轻松完成研究、数据分析和日常挑战。它结合强大的功能与直观的界面，能够高效解决复杂问题并自动化工作流程。Suna 的工具包包括无缝的浏览器自动化、文件管理、网站部署和与多种 API 的集成。其功能强大且灵活，适用于各种用户需求。

一个高效的强化学习框架，用于训练推理和搜索引擎调用的语言模型。

Search-R1 是一个强化学习框架，旨在训练能够进行推理和调用搜索引擎的语言模型（LLMs）。它基于 veRL 构建，支持多种强化学习方法和不同的 LLM 架构，使得在工具增强的推理研究和开发中具备高效性和可扩展性。

一款现代、功能丰富的无数据库平面文件 Wiki 平台。

LeoMoon Wiki-Go 是一款快速、现代的平面文件 Wiki，使用 Go 语言构建。它专注于简单性和性能，支持 Markdown 格式，完全不依赖数据库，零维护。适合个人知识管理、团队协作及内部文档。

基于 Intel Arc GPU 的 AI 图像生成与聊天机器人应用。

AI Playground 是一个开源项目，旨在为用户提供 AI 图像创建、图像风格化和聊天机器人的功能。它专为使用 Intel® Arc™ GPU 的 PC 设计，支持多种生成 AI 库和模型。此应用程序的主要优点在于其强大的图像生成能力和便捷的使用体验。适合 AI 开发者、设计师和爱好者，帮助他们探索和利用先进的 AI 技术。该软件为用户提供了自由选择和下载模型的灵活性，适合各种应用场景。

开源视频生成模型，支持多种生成任务。

Wan2.1-FLF2V-14B 是一个开源的大规模视频生成模型，旨在推动视频生成领域的进步。该模型在多项基准测试中表现优异，支持消费者级 GPU，能够高效生成 480P 和 720P 的视频。它在文本到视频、图像到视频等多个任务中表现出色，具有强大的视觉文本生成能力，适用于各种实际应用场景。

一个简单易用的语音克隆和语音模型训练工具。

EaseVoice Trainer 是一个后端项目，旨在简化和增强语音合成与转换训练过程。该项目基于 GPT-SoVITS 进行改进，注重用户体验和系统的可维护性。其设计理念不同于原始项目，旨在提供更模块化和定制化的解决方案，适用于从小规模实验到大规模生产的多种场景。该工具可以帮助开发者和研究人员更高效地进行语音合成和转换的研究与开发。

一款基于 Vue3 + ElementPlus 的聊天应用，内置多个大语言模型。

PureChat 是一款结合 AI 和前沿技术的现代聊天应用，采用 Vue3 和 ElementPlus 构建，内置 OpenAI、Ollama、DeepSeek 等大语言模型。其主要优点包括支持 Markdown 渲染和聊天记录截图功能，极大提升了用户的沟通效率与体验。PureChat 致力于为开发者提供一个快速掌握现代技术的平台。

一键将视频和音频转化为各种风格的文档。

AI 视频图文创作助手是一个开源工具，旨在将视频和音频内容转化为多种格式的文档，帮助用户进行二次阅读和思考。该产品的主要优势在于其完全开源、无需注册，用户可以在本地处理音视频文件，降低了使用成本。它非常适合需要将视听内容转化为文本的学生、研究人员和内容创作者。

轻松将现有代理框架中的工具、代理和调度器转换为 MCP 服务器。

automcp 是一个开源工具，旨在简化将各种现有代理框架（如 CrewAI、LangGraph 等）转换为 MCP 服务器的过程。这使得开发者可以通过标准化接口更容易地访问这些服务器。该工具支持多种代理框架的部署，并且通过易于使用的 CLI 界面进行操作。适合需要快速集成和部署 AI 代理的开发者，价格免费，适合个人和团队使用。

昆仑万维开源的高性能数学代码推理模型，性能卓越

Skywork-OR1是由昆仑万维天工团队开发的高性能数学代码推理模型。该模型系列在同等参数规模下实现了业界领先的推理性能，突破了大模型在逻辑理解与复杂任务求解方面的能力瓶颈。Skywork-OR1系列包括Skywork-OR1-Math-7B、Skywork-OR1-7B-Preview和Skywork-OR1-32B-Preview三款模型，分别聚焦数学推理、通用推理和高性能推理任务。此次开源不仅涵盖模型权重，还全面开放了训练数据集和完整训练代码，所有资源均已上传至GitHub和Huggingface平台，为AI社区提供了完全可复现的实践参考。这种全方位的开源策略有助于推动整个AI社区在推理能力研究上的共同进步。

使 AI 能够控制 Android 设备的强大自动化工具。

Droidrun 是一个强大的 Android 自动化工具，旨在使 AI 代理能够无缝地与 Android 应用程序进行互动。它结合了视觉理解和 UI 结构提取，为 AI 提供了一个强大的移动平台。Droidrun 目前处于等待名单阶段，面向个人开发者、小型团队和企业提供不同的解决方案。

mcp-use 是与 MCP 工具交互的最简单方式，支持自定义代理。

mcp-use 是一个开源的 MCP 客户端库，旨在帮助开发者将任何大型语言模型（LLM）连接到 MCP 工具，构建具有工具访问能力的自定义代理，而无需使用闭源或应用程序客户端。该产品提供了简单易用的 API 和强大的功能，可以应用于多个领域。

Pusa 是一个新颖的视频扩散模型，支持多种视频生成任务。

Pusa 通过帧级噪声控制引入视频扩散建模的创新方法，能够实现高质量的视频生成，适用于多种视频生成任务（文本到视频、图像到视频等）。该模型以其卓越的运动保真度和高效的训练过程，提供了一个开源的解决方案，方便用户进行视频生成任务。

一款通过生成模型提升图像生成一致性的工具。

UNO 是一个基于扩散变换器的多图像条件生成模型，通过引入渐进式跨模态对齐和通用旋转位置嵌入，实现高一致性的图像生成。其主要优点在于增强了对单一或多个主题生成的可控性，适用于各种创意图像生成任务。