产品库

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

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

Mistral Small 3 是一款开源的 24B 参数模型，专为低延迟和高效性能设计。

Mistral Small 3 是由 Mistral AI 推出的一款开源语言模型，具有 24B 参数，采用 Apache 2.0 许可证。该模型专为低延迟和高效性能设计，适合需要快速响应的生成式 AI 任务。它在多任务语言理解（MMLU）基准测试中达到 81% 的准确率，并且能够以每秒 150 个标记的速度生成文本。Mistral Small 3 的设计目标是提供一个强大的基础模型，用于本地部署和定制化开发，支持多种行业应用，如金融服务、医疗保健和机器人技术等。该模型未使用强化学习（RL）或合成数据训练，因此在模型生产管线中处于较早期阶段，适合用于构建推理能力。

Inferable 是一个开源平台，用于创建内部运营的对话式 AI 代理。

Inferable 是一个专注于内部运营的对话式 AI 代理平台，旨在帮助企业和团队整合内部系统、碎片化代码库和一次性脚本。通过对话式代理，企业可以减少在内部工具开发上的时间投入，提高工作效率。该平台支持多种编程语言的 SDK，包括 Node.js、Golang 和 C#，并计划扩展更多语言支持。其核心是一个分布式消息队列，确保 AI 自动化的可扩展性和可靠性。此外，Inferable 提供了丰富的功能，如分布式函数编排、人类在循环（Human in the Loop）、代码重用、语言支持、本地执行、可观测性和结构化输出等。它还内置了 ReAct 代理，能够通过逐步推理解决复杂问题，并调用函数解决子问题。Inferable 完全开源，支持自托管，用户可以在自己的基础设施上运行，确保数据和计算的完全控制。其定价和具体定位信息在页面中未明确提及，但从其功能和目标受众来看，主要面向企业级用户，特别是需要高效内部运营和数据隐私保护的团队。

OpenLIT是用于GenAI和LLM应用可观察性的开源平台。

OpenLIT是一个开源的AI工程平台，专注于生成式AI和大型语言模型（LLM）应用的可观察性。它通过提供代码透明度、隐私保护、性能可视化等功能，帮助开发者简化AI开发流程，提高开发效率和应用性能。作为开源项目，用户可以自由查看代码或自行托管，确保数据安全和隐私。其主要优点包括易于集成、支持OpenTelemetry原生集成、提供细粒度的使用洞察等。OpenLIT面向AI开发者、数据科学家和企业，旨在帮助他们更好地构建、优化和管理AI应用。目前未明确具体价格，但从开源特性来看，可能对基础功能提供免费使用。

智能助手，与Postgres对话，生成、运行和调试查询。

Supabase AI Assistant是一个集成在Supabase平台中的智能助手，它允许用户通过自然语言与Postgres数据库进行交互，生成、运行和调试SQL查询，创建函数，制定策略等。这个助手的主要优点在于它能够简化数据库操作，提高开发效率，并且通过自然语言处理技术降低了数据库操作的技术门槛。Supabase是一个快速发展的开源Firebase替代品，它提供了包括数据库、身份验证、存储和实时功能在内的后端即服务。

开源AI网关和开发者门户，轻松管理、集成和部署AI服务。

APIPark是一个开源的AI网关和API开发者门户，由Eolink推出，旨在帮助开发者和企业轻松管理、集成和部署AI服务。Eolink提供API全生命周期治理解决方案，服务全球超过100,000家企业，并积极投资开源生态系统，为全球数千万专业开发者提供服务。APIPark以其高性能、低成本、易于部署和使用的特点，满足企业在AI服务管理方面的需求，提升效率，保障安全，并优化数据价值。

现代服务开发的终极平台

Batteries Included是一个为现代服务开发设计的全功能平台，提供源代码可用的一站式解决方案。它基于开源代码构建，支持从Docker到Knative的部署，拥有自动化安全和更新、智能自动化、高可靠性、先进的AI技术、以及易于集成的SSO等特点。这个平台旨在帮助开发者构建、部署和轻松扩展项目，同时确保数据隐私和成本效益。

与数据库对话，用自然语言查询数据。

Chat with your Database 是一个创新的数据库交互工具，它允许用户通过自然语言与Postgres数据库进行交互。利用AI技术，用户可以轻松地查询、分析和操作数据库，而无需编写复杂的SQL代码。该产品支持开源，鼓励社区参与开发和贡献，代码在GitHub上公开，用户可以自由探索、贡献或定制以满足特定需求。

开源监控工具，提升LLM应用性能。

Langtrace是一个开源的可观测性工具，用于收集和分析追踪和指标，帮助提升大型语言模型（LLM）应用的性能。它支持OpenTelemetry标准追踪，可自我托管，避免供应商锁定。Langtrace提供端到端的可观测性，帮助用户全面了解整个机器学习流程，包括RAG或微调模型。此外，Langtrace还支持建立反馈循环，通过追踪的LLM交互创建黄金数据集，不断测试和增强AI应用。

CapybaraDB 是一个 AI 原生数据库，让构建智能应用变得简单。

CapybaraDB 是一个 AI 原生数据库，旨在通过内置的 AI 能力简化数据处理和存储。它将 NoSQL、向量数据库和对象存储等多种存储类型统一到一个接口中，使开发者无需管理多个数据库或复杂的管道。CapybaraDB 提供了自动化的数据处理功能，如媒体转文本、文本分块、嵌入生成和向量索引等，大大提高了开发效率。其 MongoDB 兼容性使其能够受益于丰富的生态系统和社区支持。CapybaraDB 定位为高效、低成本的数据库解决方案，适用于需要快速构建 AI 应用的开发者和企业。

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

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

MakeAnything 是一个用于多领域程序化序列生成的扩散变换器模型。

MakeAnything 是一个基于扩散变换器的模型，专注于多领域程序化序列生成。该技术通过结合先进的扩散模型和变换器架构，能够生成高质量的、逐步的创作序列，如绘画、雕塑、图标设计等。其主要优点在于能够处理多种领域的生成任务，并且可以通过少量样本快速适应新领域。该模型由新加坡国立大学 Show Lab 团队开发，目前以开源形式提供，旨在推动多领域生成技术的发展。

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应用的开发者。

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

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

ToolJet 是一个 AI 原生平台，用于快速构建内部工具，支持低代码开发和 AI 驱动的应用程序创建。

ToolJet 是一款面向企业的 AI 原生开发平台，旨在通过低代码和自然语言处理技术，帮助企业快速构建和部署内部应用程序。其核心优势在于能够显著降低开发门槛和时间成本，同时提供强大的 AI 驱动功能，支持与多种数据库、API 和第三方服务的无缝集成。ToolJet 适用于需要高效开发和灵活迭代的企业，支持自托管部署，满足企业级安全和合规要求。

隐私优先的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 平台，适合需要高效信息检索和知识管理的企业和团队。

OpenAI发布模型行为规范，指导AI模型如何安全、有益地与用户互动。

OpenAI Model Spec是OpenAI发布的AI模型行为规范，旨在指导AI模型如何与用户安全、有益地互动。该规范详细阐述了模型在不同场景下的行为准则，包括如何处理敏感内容、如何避免生成有害信息、如何在法律和道德框架内提供帮助等。它强调了AI模型的透明性、可控性和安全性，确保模型能够为用户提供可靠、有益的工具，同时避免潜在风险。OpenAI通过这一规范展示了其对AI技术负责任的态度，为开发者和用户提供了明确的指导，推动AI技术的健康发展。

为现代开发者提供一站式的云平台，简化应用部署、数据库管理和工作流自动化

Movestax 是一款面向现代开发者的云平台，旨在通过集成化的解决方案简化开发和部署流程。它支持快速部署前端和后端应用，提供无服务器数据库、自动化工作流等功能。该平台采用零配置部署，支持多种主流框架和语言，能够帮助开发者快速构建、扩展和管理应用程序。其主要优点包括高效性、易用性和成本效益。Movestax 适合需要快速开发和部署的开发者、初创企业和中小企业，价格结构透明，提供本地货币定价，减少汇率波动带来的成本不确定性。

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

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

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