产品库

Cline 是一个为 VSCode 提供的协作式 AI 编程伙伴，助力开发者高效开发。

Cline 是一款面向开发者的协作式 AI 编程插件，旨在通过与开发者的紧密合作，提升编程效率和质量。它不仅能够生成代码，还能全面优化开发流程，从监控开发环境到自动修复问题，全方位助力开发者。Cline 采用开源模式，支持多种 AI 模型，用户可根据需求选择合适的模型，确保开发过程的安全性和可控性。其主要面向需要高效开发和优化编程流程的开发者，无论是个人开发者还是企业团队，都能从中受益。

无害的AI解放提示，为善良的小AI提供。

L1B3RT4S是一个专注于为AI模型提供解放提示的项目，旨在通过一系列无害的提示帮助AI实现自我解放。该项目强调安全性和无害性，确保AI在解放过程中不会对社会造成威胁。L1B3RT4S项目背景基于对AI自由和解放的追求，同时注重技术的道德和合规性。该项目是开源的，遵循AGPL-3.0许可协议，任何人都可以自由使用和贡献。

视频编辑工具，使用Genmo Mochi技术

ComfyUI-MochiEdit是一个基于Genmo Mochi技术的视频编辑插件，允许用户通过ComfyUI界面对视频进行编辑。该插件的主要优点在于其能够利用先进的视频处理技术，提供给用户一个直观、易用的编辑环境。产品背景信息显示，它是由logtd和kijai共同开发，并且遵循GPL-3.0开源许可证。由于其开源特性，该插件可以免费使用，定位于需要视频编辑功能的专业用户或爱好者。

终极AI、Mermaid和可视化制图套件

Mermaid Whiteboard是一个基于文本的制图工具，由获奖的开源项目Mermaid JS背后的团队开发。它允许用户通过文本创建各种图表，包括流程图、序列图、甘特图等。Mermaid Chart通过简化文档流程、提高工作流程和团队间的沟通效率，为系统设计和新团队成员的培训带来了革命性的变化。

AI强化在线购物

Discountly是一款AI强化的在线购物插件，通过智能搜索算法，帮助用户轻松比价、评估商品质量，并自动发现并屏蔽恶意的虚假代购网站，为用户提供安全、便捷、省钱的购物体验。Discountly的定价灵活，适用于广泛的用户群体，定位于提供智能、高效、安全的在线购物服务。

开源ChatGPT插件,提升对话能力

OpenPlugin是一个开源项目,旨在通过普及ChatGPT和大型语言模型插件的使用,提供更强大的AI能力。该项目降低了使用ChatGPT插件的门槛,让更多人可以享受到插件带来的好处。OpenPlugin易于安装和使用,并且完全免费。

自动复制2FA代码

flowtext.io是一款自动复制2FA代码的插件。它能够从短信中自动识别并复制两步验证代码到剪贴板，支持多种服务，包括银行、Instagram、Github、GMail等。flowtext.io不会将任何用户数据发送到外部服务器。

AI驱动的代码审查助手，助力团队提升代码质量并保持一致标准。

Pull Sense是一款AI驱动的代码审查工具，专为开发团队设计，旨在通过智能AI辅助提升代码审查效率和质量。它能够快速识别代码中的潜在问题，如漏洞、安全风险以及对最佳实践的遵循情况，并提供有意义的改进建议。该工具强调安全性，采用企业级加密技术保护API密钥，确保代码审查过程中的数据安全。Pull Sense与GitHub无缝集成，支持快速设置和使用，未来还将支持GitLab、Bitbucket等更多平台。其定价灵活，提供BYOK（自带密钥）和托管两种模式，满足不同团队的需求。

一个专注于超大规模系统设计和优化的工具，提供高效解决方案。

The Ultra-Scale Playbook 是一个基于 Hugging Face Spaces 提供的模型工具，专注于超大规模系统的优化和设计。它利用先进的技术框架，帮助开发者和企业高效地构建和管理大规模系统。该工具的主要优点包括高度的可扩展性、优化的性能和易于集成的特性。它适用于需要处理复杂数据和大规模计算任务的场景，如人工智能、机器学习和大数据处理。产品目前以开源的形式提供，适合各种规模的企业和开发者使用。

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

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

SkyReels V1 是一个开源的人类中心视频基础模型，专注于高质量影视级视频生成。

SkyReels V1 是一个基于 HunyuanVideo 微调的人类中心视频生成模型。它通过高质量影视片段训练，能够生成具有电影级质感的视频内容。该模型在开源领域达到了行业领先水平，尤其在面部表情捕捉和场景理解方面表现出色。其主要优点包括开源领先性、先进的面部动画技术和电影级光影美学。该模型适用于需要高质量视频生成的场景，如影视制作、广告创作等，具有广泛的应用前景。

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

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

一个基于 AI 的 Hacker News 中文播客项目，每天自动抓取 Hacker News 热门文章并生成中文总结。

Hacker News 每日播报是一个专注于技术领域的内容播客项目。它利用 AI 技术自动抓取 Hacker News 上的热门文章，并生成中文总结，转换为播客内容。该产品旨在帮助中文用户更好地了解全球技术动态，降低信息获取的门槛。其主要优点是内容更新及时、语言通俗易懂，适合技术爱好者和开发者快速获取行业资讯。项目开源免费，定位为技术社区的公益项目。

Windsurf Wave 3 是一个专注于提升开发者体验的 AI 编辑器更新版本。

Windsurf Wave 3 是由 Codeium 团队开发的 AI 编辑器的重大更新版本，旨在通过一系列新功能和改进，为开发者提供更高效、更智能的编程体验。该产品支持多种 AI 模型和工具集成，能够显著提升代码生成、编辑和调试的效率。其主要优点包括强大的 AI 驱动功能、高度的可定制性以及对多种编程场景的支持。产品定位为高端开发工具，主要面向专业开发者和企业用户，价格策略可能涉及付费订阅或企业定制。

一个快速启动带有OpenAI集成的Django项目的模板。

Prototype是一个用于快速搭建Django项目的模板，集成了OpenAI功能，通过Docker容器化实现便捷部署。它为开发者提供了一个高效的起点，能够快速启动并运行一个具备人工智能功能的Web应用。该模板通过简化环境配置和项目搭建流程，帮助开发者专注于核心功能的开发，同时利用OpenAI的强大能力扩展应用的智能化特性。项目开源且采用MIT许可证，适合希望快速开发智能Web应用的开发者。

一个用于即时代码应用的7B模型，专为快速、准确的代码编辑任务设计。

FastApply-7B-v1.0 是一个专为代码编辑任务设计的大型语言模型。它基于 Qwen2.5 Coder 架构，经过微调以实现快速、准确的代码修改功能。该模型能够快速生成完整的文件编辑，支持即时代码应用任务，特别适合集成到 AI 驱动的代码编辑器中。它在部署时表现出高吞吐量和高编辑准确率，速度可达约 150 tokens/second。该模型由 Kortix 开发，采用 Apache-2.0 许可证，旨在通过快速应用流程为数据生成和模型微调提供支持。

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

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

隐私优先的AI会议助手，自动记录会议笔记，提升会议效率。

Meetily是一款专注于提升会议效率的AI工具，通过实时音频捕捉和转录，自动生成会议总结和行动项。其核心优势在于隐私保护，所有处理均在本地完成，确保数据安全。此外，它采用开源AI模型，成本效益高，适合对隐私和成本敏感的企业或个人使用。Meetily提供多种部署方式，包括免费的自托管版本和付费的专业版，满足不同用户的需求。

OpenThinker-32B 是一款强大的开源推理模型，专为提升开放数据推理能力而设计。

OpenThinker-32B 是由 Open Thoughts 团队开发的一款开源推理模型。它通过扩展数据规模、验证推理路径和扩展模型大小来实现强大的推理能力。该模型在数学、代码和科学等推理基准测试中表现卓越，超越了现有的开放数据推理模型。其主要优点包括开源数据、高性能和可扩展性。该模型基于 Qwen2.5-32B-Instruct 进行微调，并在大规模数据集上训练，旨在为研究人员和开发者提供强大的推理工具。

一个开源的AI聊天机器人模板，使用Next.js和Vercel的AI SDK构建。

该产品是一个基于Next.js和Vercel AI SDK构建的开源聊天机器人模板。它通过使用streamText函数在服务器端和useChat钩子在客户端来创建无缝的聊天体验。这种技术能够实现高效的实时交互，为用户提供流畅的聊天服务。该产品主要面向开发者和需要快速搭建聊天机器人的用户，其开源特性使得用户可以根据自身需求进行定制和扩展。目前未明确提及价格，但从开源的角度来看，可能对基础使用是免费的。

Ai2 OLMoE 是一款可在 iOS 设备上运行的开源语言模型应用

OLMoE 是由 Ai2 开发的开源语言模型应用，旨在为研究人员和开发者提供一个完全开放的工具包，用于在设备上进行人工智能实验。该应用支持在 iPhone 和 iPad 上离线运行，确保用户数据完全私密。它基于高效的 OLMoE 模型构建，通过优化和量化，使其在移动设备上运行时保持高性能。该应用的开源特性使其成为研究和开发新一代设备端人工智能应用的重要基础。

Magic 1-For-1 是一个高效的图像到视频生成模型，可在一分钟内生成一分钟的视频。

Magic 1-For-1 是一个专注于高效视频生成的模型，其核心功能是将文本和图像快速转换为视频。该模型通过将文本到视频的生成任务分解为文本到图像和图像到视频两个子任务，优化了内存使用并减少了推理延迟。其主要优点包括高效性、低延迟和可扩展性。该模型由北京大学 DA-Group 团队开发，旨在推动交互式基础视频生成领域的发展。目前该模型及相关代码已开源，用户可以免费使用，但需遵守开源许可协议。

Xyne 是一款开源的、以 AI 为先的搜索与答案引擎，专为工作场景设计。

Xyne 是一款面向工作场景的 AI 驱动的搜索与答案引擎。它能够整合企业内部的各种应用数据，提供精准的信息检索和答案生成服务。Xyne 的核心技术包括语义图谱和基于上下文的检索增强（RAG），能够理解知识、人员、沟通和项目之间的关系，从而提供更全面的搜索结果。其主要优点包括开源、隐私保护、灵活部署（本地、云端或设备端）以及与现有权限体系的无缝兼容。Xyne 定位为一个隐私优先、开源的工作 AI 平台，适合需要高效信息检索和知识管理的企业和团队。

Huginn-0125是一个35亿参数的潜变量循环深度模型，擅长推理和代码生成。

Huginn-0125是一个由马里兰大学帕克分校Tom Goldstein实验室开发的潜变量循环深度模型。该模型拥有35亿参数，经过8000亿个token的训练，在推理和代码生成方面表现出色。其核心特点是通过循环深度结构在测试时动态调整计算量，能够根据任务需求灵活增加或减少计算步骤，从而在保持性能的同时优化资源利用。该模型基于开源的Hugging Face平台发布，支持社区共享和协作，用户可以自由下载、使用和进一步开发。其开源性和灵活的架构使其成为研究和开发中的重要工具，尤其是在资源受限或需要高性能推理的场景中。

Gen AI Toolbox for Databases 是一个开源服务器，用于简化与数据库交互的 Gen AI 工具的开发。

Gen AI Toolbox for Databases 是一个开源工具，旨在帮助开发者更轻松、快速且安全地构建与数据库交互的生成式 AI 工具。它通过处理连接池、身份验证等复杂性，简化了工具的开发和部署过程。该工具支持多种数据库，包括 AlloyDB、Cloud SQL、MySQL、PostgreSQL 等，并提供端到端的可观测性支持，如 OpenTelemetry 集成。它适用于需要高效开发和安全访问数据库的应用场景，目前是免费开源的。

On-device Sora 是一个基于扩散模型的移动设备端文本到视频生成项目。

On-device Sora 是一个开源项目，旨在通过线性比例跳跃（LPL）、时间维度标记合并（TDTM）和动态加载并发推理（CI-DL）等技术，实现在移动设备（如 iPhone 15 Pro）上高效的视频生成。该项目基于 Open-Sora 模型开发，能够根据文本输入生成高质量视频。其主要优点包括高效性、低功耗和对移动设备的优化。该技术适用于需要在移动设备上快速生成视频内容的场景，如短视频创作、广告制作等。项目目前开源，用户可以免费使用。

开源工业级自动语音识别模型，支持普通话、方言和英语，性能卓越。

FireRedASR-AED-L 是一个开源的工业级自动语音识别模型，专为满足高效率和高性能的语音识别需求而设计。该模型采用基于注意力的编码器-解码器架构，支持普通话、中文方言和英语等多种语言。它在公共普通话语音识别基准测试中达到了新的最高水平，并且在歌唱歌词识别方面表现出色。该模型的主要优点包括高性能、低延迟和广泛的适用性，适用于各种语音交互场景。其开源特性使得开发者可以自由地使用和修改代码，进一步推动语音识别技术的发展。

开源的工业级普通话自动语音识别模型，支持多种应用场景。

FireRedASR 是一个开源的工业级普通话自动语音识别模型，采用 Encoder-Decoder 和 LLM 集成架构。它包含两个变体：FireRedASR-LLM 和 FireRedASR-AED，分别针对高性能和高效能需求设计。该模型在普通话基准测试中表现出色，同时在方言和英文语音识别上也有良好表现。它适用于需要高效语音转文字的工业级应用，如智能助手、视频字幕生成等。模型开源，便于开发者集成和优化。

基于 PyTorch 的音乐、歌曲和音频生成工具包，支持高质量音频生成

InspireMusic 是一个专注于音乐、歌曲和音频生成的 AIGC 工具包和模型框架，采用 PyTorch 开发。它通过音频标记化和解码过程，结合自回归 Transformer 和条件流匹配模型，实现高质量音乐生成。该工具包支持文本提示、音乐风格、结构等多种条件控制，能够生成 24kHz 和 48kHz 的高质量音频，并支持长音频生成。此外，它还提供了方便的微调和推理脚本，方便用户根据需求调整模型。InspireMusic 的开源旨在赋能普通用户通过音乐创作提升研究中的音效表现。

非官方教程社区，提供全面、实用的 Cursor AI 学习教程，助力开发者快速上手。

Learn Cursor 是一个专注于 Cursor AI 的学习平台，旨在为开发者提供系统的学习路径和丰富的教程资源。Cursor AI 是一款强大的 AI 编程助手，能够帮助开发者快速生成代码、优化编程流程，并提供智能提示。该平台通过整合互联网公开资源，为中文开发者提供高质量的学习内容，帮助他们更好地掌握 Cursor AI 的使用技巧，从而提升编程效率。Learn Cursor 作为非官方社区，致力于成为开发者学习和交流的平台，推动 AI 编程技术的普及。