产品库

开源AI代码编辑器，提供强大的AI功能和完全的数据控制。

Void是一个开源的代码编辑器，是Visual Studio Code的分支，它允许用户利用AI工具编写代码，同时完全控制自己的数据。它提供了丰富的AI特性，如自动补全、内联编辑、文件搜索和生成等。此外，它还支持本地模型托管和直接与大型语言模型通信，无需通过中间人。Void的定位是为开发者提供一个高效、安全且功能丰富的编程环境。

一个开源的产品管理平台，借助AI帮助团队探索问题、构思解决方案、优先排序功能并规划路线图。

Eververse是一个开源的产品管理平台，旨在为产品团队提供一个高效、智能的工作环境。它通过AI技术，帮助团队成员快速处理用户反馈，自动生成产品待办事项列表，并通过预测性AI优先级排序等功能，优化产品规划和管理流程。Eververse的主要优点包括开源免费、强大的AI辅助写作和分析功能、高度可定制的视图和工作流等。它主要面向产品团队，尤其是那些需要快速迭代和优化产品路线图的团队。Eververse提供免费版本，同时也有一些高级功能需要付费解锁。

自动解决软件开发问题的无代理方法

Agentless是一种无需代理的自动解决软件开发问题的方法。它通过定位、修复和补丁验证三个阶段来解决每个问题。Agentless利用分层过程定位故障到特定文件、相关类或函数，以及细粒度的编辑位置。然后，Agentless根据编辑位置采样多个候选补丁，并选择回归测试来运行，生成额外的复现测试以复现原始错误，并使用测试结果重新排名所有剩余补丁，以选择一个提交。Agentless是目前在SWE-bench lite上表现最佳的开源方法，具有82个修复（27.3%的解决率），平均每问题成本0.34美元。

开源AI代码编辑器，为10倍效率工程师设计。

Melty是一款开源的AI代码编辑器，它能够理解用户从终端到GitHub的操作，并与用户协作编写生产就绪的代码。由Charlie和Jackson开发，他们有着丰富的编程工具使用经验，旨在通过AI技术提高编程效率和代码质量。Melty在28天内已经能够编写其一半的代码，展现了其强大的自适应和学习能力。

为Cursor.sh IDE提供AI辅助编码的开源仪表板。

CursorLens是一个开源的仪表板，专为Cursor.sh IDE设计，用于记录AI代码生成、跟踪使用情况并控制AI模型（包括本地模型）。它允许用户在本地运行或使用即将推出的托管版本。该产品代表了编程领域中AI技术的应用，提供了代码生成、使用跟踪和模型控制等功能，极大地提高了开发效率和代码质量。

高性能、多人协作代码编辑器

Zed是由Atom和Tree-sitter的创造者开发的高性能、多人协作代码编辑器，开源且集成了AI代码生成功能。它利用多核心CPU和GPU，实现即时启动、快速文件加载和响应键盘输入。Zed支持GitHub Copilot，并通过内置助手面板与模型进行对话式交互，以生成或重构代码。

现代设计和代码编辑器，简单、灵活、开放。

rnbw是一个现代的设计和代码编辑器，它简单、灵活、开放，并且基于网络。它与您的文件协同工作，由Web提供动力。rnbw能够连接人工智能来理解您的项目，并提供一系列工具来管理它。它允许您专注于创造，而AI驱动的命令则帮助您完成工作。

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

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

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

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

一个快速启动带有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 的开源旨在赋能普通用户通过音乐创作提升研究中的音效表现。

本地运行的AI模型训练与部署工具，支持个性化训练和多平台使用。

Kolosal AI 是一款用于本地设备训练和运行大型语言模型（LLMs）的工具。它通过简化模型训练、优化和部署流程，使用户能够在本地设备上高效地使用 AI 技术。该工具支持多种硬件平台，提供快速的推理速度和灵活的定制能力，适合从个人开发者到大型企业的广泛应用场景。其开源特性也使得用户可以根据自身需求进行二次开发。

Blaze 是一款强大的移动设备集成开发环境（IDE）和编译器，支持 Python 编程。

Blaze Code 是一款专为移动设备设计的 Python 集成开发环境（IDE），它允许用户随时随地编写、运行和调试 Python 代码。该产品的主要优点包括移动优先的设计理念、全面的 Python 开发环境支持以及离线编程能力。Blaze 旨在为开发者提供一个高效、便捷的移动编程解决方案，无论是在通勤途中、旅行中还是在任何需要快速编写代码的场景下都能使用。其开发者 Sarthak Developer 专注于提供优质的编程工具，以满足移动开发者的需求。

RAG-FiT是一个用于提升LLMs利用外部信息能力的库，通过特别创建的RAG增强数据集对模型进行微调。

RAG-FiT是一个强大的工具，旨在通过检索增强生成（RAG）技术提升大型语言模型（LLMs）的能力。它通过创建专门的RAG增强数据集，帮助模型更好地利用外部信息。该库支持从数据准备到模型训练、推理和评估的全流程操作。其主要优点包括模块化设计、可定制化工作流以及对多种RAG配置的支持。RAG-FiT基于开源许可，适合研究人员和开发者进行快速原型开发和实验。

s1是一个基于Qwen2.5-32B-Instruct微调的推理模型，仅用1000个样本进行训练。

s1是一个推理模型，专注于通过少量样本实现高效的文本生成能力。它通过预算强制技术在测试时进行扩展，能够匹配o1-preview的性能。该模型由Niklas Muennighoff等人开发，相关研究发表在arXiv上。模型使用Safetensors技术，具有328亿参数，支持文本生成任务。其主要优点是能够通过少量样本实现高质量的推理，适合需要高效文本生成的场景。

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

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

本地运行的人工智能代理，无缝自动化工程任务。

Codename Goose 是一款本地运行的人工智能代理工具，旨在帮助开发者高效完成工程任务。它强调开源和本地运行，确保用户对任务执行有完全控制权。通过连接外部服务器或API，Goose 可以根据用户需求进行扩展，实现复杂任务的自动化处理，从而让开发者专注于更重要的工作。Goose 的开源特性鼓励开发者参与贡献和创新，其本地运行的模式保障了数据隐私和任务执行效率。