产品库

数学竞赛问题的解决方案集合

NuminaMath是一套为训练最先进数学语言模型（SOTA math LLMs）而设计的数据库和模型。它包含860k+数学竞赛问题及其解决方案对，每个解决方案都使用了链式思维（Chain of Thought, CoT）推理进行模板化。此外，还有70k+数学竞赛问题，其解决方案由GPT-4通过工具集成推理（Tool-Integrated Reasoning, TIR）生成。NuminaMath通过提供高质量的数学问题和解决方案，为教育工作者和学生提供了一个宝贵的资源，帮助他们提高数学思维和解决问题的能力。

一站式RAG搜索SDK

Korvus是一个基于Postgres构建的搜索SDK，它将整个RAG（检索增强生成）流程统一到单一的数据库查询中。它提供了高性能、可定制的搜索能力，同时最小化了基础设施的考虑。Korvus利用PostgresML的pgml扩展和pgvector扩展，将RAG流程压缩在Postgres内部。它支持多语言SDK，包括Python、JavaScript、Rust和C，允许开发者无缝集成到现有的技术栈中。

个性化补充剂建议平台

Pillser是一个利用最新AI模型和研究数据库提供基于证据的补充剂建议的平台。它通过用户的健康信息提供个性化的响应，并强调信息的准确性和个性化体验。

一键生成PPT、思维导图、专业写作和学术论文的智能工具

伏羲AIPPT是一款集成了AI技术的产品，能够一键生成PPT、思维导图、专业写作和学术论文。它利用先进的人工智能算法，帮助用户快速完成文档的创建和编辑工作，极大地提高了工作效率。产品支持PHP语言和MYSQL数据库，提供了定制化的服务，但不支持开源和二次开发。产品原价1980元，现价1380元，提供一年的免费系统升级服务。

研究文献的智能助手

StudyRecon是一款旨在简化和协助研究过程中文献综述的智能工具。它通过提供学术景观的全景视图、查询建议、跨数据库搜索、关键词可视化、论文摘要和注释等功能，帮助用户快速获取全面准确的文献资料，从而提高文献综述的质量与效率。

集成自动化生成AI，无需AI专业知识或数据迁移。

Oracle HeatWave GenAI提供了集成和自动化的生成AI技术，它结合了数据库内大型语言模型(LLMs)、自动化的数据库内向量存储、扩展向量处理以及自然语言上下文对话的能力，使用户能够利用生成AI而无需AI专业知识或数据迁移。

2024年精选免费AI API平台

Free AI Hunter是一个致力于收集和提供2024年免费AI API以及付费选项的综合性平台。它涵盖了自然语言处理、计算机视觉、机器学习等多种AI API，定期更新数据库以确保信息的最新和准确性。用户可以通过搜索功能轻松找到满足特定需求的AI API。

快速搭建个性化网站

Notion Sites 是一个简单易用的网站搭建工具，用户可以通过拖放式构建块快速创建个性化网站，无需编写复杂的HTML或代码。它提供了超过10,000个模板，涵盖个人网站、活动页面、旅行指南、职位发布板和帮助中心等类型。Notion Sites 支持自定义域名、导航栏、主题、图标等，帮助用户打造独特的在线身份。此外，它还提供了数据库管理、AI辅助内容填充和搜索引擎优化等高级功能，以提升网站的专业度和访问量。

AI驱动的SQL查询生成工具

SQLPilot是一个基于人工智能的SQL查询生成工具，旨在帮助用户快速生成复杂的SQL查询。它支持PostgreSQL和MySQL数据库，并且提供多种GPT模型以供选择。SQLPilot的主要优点包括不限数据库连接数量、SQL自动补全功能以及对用户隐私和数据安全的承诺。此外，它还提供了结果下载功能，并计划推出图形和图表查看结果的功能。

无需编码，快速构建AI驱动的网页应用

Licode是一个无代码平台，为构建者、企业和创业者提供了一个原生由AI驱动的网页应用创建环境。它允许用户无需编码即可轻松构建SaaS、门户、仪表板、CRM、聊天应用和表单应用。Licode内置了AI功能，用户可以随时随地在应用中启用AI提示，赋予用户即开即用的AI能力。此外，Licode还提供了预构建的UI组件、内置的认证和用户管理系统、与Stripe集成的账单管理、安全的数据库存储以及自定义业务逻辑的动作创建功能。

AI原生数据应用开发框架

DB-GPT是一个开源的AI原生数据应用开发框架，利用AWEL(Agentic Workflow Expression Language)和代理(agent)技术，简化了大型模型应用与数据的结合。它通过多模型管理、Text2SQL效果优化、RAG框架优化、多代理框架协作等技术能力，使企业和开发者能够以更少的代码构建定制化应用。DB-GPT在数据3.0时代，基于模型和数据库，为构建企业级报告分析和业务洞察提供了基础数据智能技术。

一站式智能招聘与人才搜索工具

RecruiterCloud是一个为初创公司设计的一站式招聘和人才搜索工具。它专注于速度、效率和易用性，提供智能搜索和人才挖掘功能。该平台拥有超过1100万美国工程师和数据科学家的数据库，通过先进的筛选和自定义高亮功能，帮助用户快速找到合适的候选人。此外，RecruiterCloud还提供一键式外联自动化、与现有ATS无缝同步等特性，简化招聘流程，缩短招聘时间。

高效的混合搜索和实时分析数据库

Rockset是一个为大规模数据提供高效搜索和实时分析的数据库平台。它支持向量、文本、地理空间和JSON数据的索引，能够实现混合搜索架构，并通过流式数据摄入和高QPS工作负载来测量端到端延迟。Rockset的主要优点包括实时索引、毫秒级SQL查询、快速开发新功能、降低计算和存储成本，以及无需ETL、去规范化、管理分片、索引或集群的灵活性。

AI驱动的后端代码生成平台

Amplication是一个开源的、强大的开发平台，旨在革新.NET和Node.js应用程序的创建过程。它通过AI技术将想法快速转化为生产就绪的代码，自动化后端应用程序开发，确保一致性、可预测性，并符合最高标准。Amplication的用户友好界面促进了API、数据模型、数据库、认证和授权的无缝集成。它基于灵活的插件架构构建，允许轻松定制代码，并提供多样化的集成选项。Amplication专注于协作，简化了面向团队的开发，使其成为从初创公司到大型企业各规模团队的理想选择。

无代码LLM平台，用于结构化非结构化文档。

Unstract是一个无代码的LLM（大型语言模型）平台，它允许用户通过简单的无代码方法启动APIs和ETL管道来处理非结构化文档。它支持从多种云文件/对象存储系统中读取复杂文档，并将结构化数据写入流行的数据仓库和数据库。Unstract利用大型语言模型的能力，超越了传统的RPA（机器人流程自动化），实现了机器到机器的自动化。

系统性调研生成式AI的提示技术

The Prompt Report 是一份系统性调研报告，专注于生成式人工智能（GenAI）的提示技术。它通过结合人类和机器的努力，从多个数据库中处理了4797条记录，提取出1565篇相关论文。报告提供了58种基于文本的技术，并补充了多模态和多语言技术的广泛集合。其目标是提供一个易于理解和实施的提示技术目录，并回顾了作为提示扩展的代理，包括评估输出和设计有助于安全性和安全性的提示的方法。此外，报告还应用提示技术在两个案例研究中进行了实践。

简化技术供应商选择流程的协作工具

Taloflow是一个旨在简化技术供应商选择流程的在线平台，它通过使用AI和专家协作工具，帮助企业在云数据库管理、数据集成、ERP、CRM等多个领域快速做出决策。平台提供超过10万个数据点，支持用户根据优先级筛选解决方案，评估供应商，并在一周内选出合适的解决方案。

无需编码，基于数据做出决策。

Eloquence是一个使决策基于数据的商业智能工具。它允许用户无需编码即可通过结构化的自然语言提出问题，快速连接数据库，过滤所需数据，并立即获得结果。Eloquence注重安全性，采用行业标准的加密技术保护数据，支持在线使用或部署在公司防火墙内，并且承诺不保存任何数据。

LLM应用开发平台，提升文档处理能力。

Farspeak是一个LLM应用开发平台，它允许开发者通过API接入，使用自然语言查询（NLQ）和自然语言开发（NLD）技术，与MongoDB Atlas等数据库进行交互，处理结构化和非结构化数据。其主要优点包括实时嵌入更新、单一存储解决方案以及对多种数据库的支持。

开源向量数据库，适用于开发者构建通用AI应用。

Milvus是一个为开发者设计的开源向量数据库，专门用于大规模高维向量的相似性搜索。它支持pip安装，可以与流行的AI开发工具一起使用，并且能够扩展到数十亿个向量。Milvus以其高效的向量相似性搜索能力，帮助开发者构建强大且可扩展的图像检索系统，无论是管理个人照片库还是开发商业图像搜索应用程序，Milvus都提供了一个强大的基础，帮助开发者发掘图像集合中的潜在价值。

一站式企业级数据平台，专为生成式AI应用设计

Context Data是一个为生成式AI应用设计的数据处理和转换平台，旨在帮助AI团队构建数据基础设施，以便他们专注于构建AI逻辑。它提供了无需设置基础设施、跨多个源转换数据、连接多个模型、加载数据到主要向量数据库、查询私有向量数据、定时管道以及构建数据和ETL管道等功能。Context Data强调数据隐私控制，避免了将数据上传到OpenAI等外部模型，简化了构建AI就绪数据平台的压力和复杂性。

AI工具目录与产品展示平台。

DokeyAI是一个提供超过1800个AI网站和AI工具的目录与产品展示平台。它通过Photo AI等技术增强了用户喜爱的工具，覆盖了43个不同的类别，包括会计金融、动画3D建模、建筑室内设计、艺术图像生成、聊天机器人、编程数据库助手等。DokeyAI旨在为用户提供一个集中的平台，以发现和使用各种AI增强的工具。

用户友好的Web数据库客户端，简化数据库访问，保障数据安全。

hoop.dev是一个现代的、基于Web的数据库客户端，旨在简化数据库访问流程，同时不牺牲安全性。它通过AI数据掩码技术保护个人可识别信息，支持从浏览器即时登录访问数据库，无需安装等待。此外，它还提供实时更新和Slack集成，确保团队成员间的信息同步和安全。hoop.dev支持将脚本转化为无代码应用，通过链接Git仓库、嵌入变量来实现。它还提供了多种快速启动选项，如Kubernetes、Docker、Unix等，适用于金融科技、健康科技等高度监管的行业。

一个开源的、增强检索的生成式聊天机器人。

Verba 是一个开源应用程序，旨在提供端到端、流畅且用户友好的检索增强生成（RAG）接口。它结合了最先进的RAG技术和Weaviate的上下文感知数据库，支持本地或通过云部署，可以轻松探索数据集并提取洞见。

使用DELI，更快地为客户找到房屋。

DELI是一个使用人工智能帮助房地产经纪人更快地为客户找到理想房屋的工具。它可以精确匹配客户的需求与当地的房地产数据库，并提供全面的房屋详情和社区分析。通过自动化繁琐的搜索和研究任务，DELI让房地产经纪人能够更专注于建立客户关系和完成更多的交易。

为开发者提供数据库管理工具，通过AI生成模拟数据，简化本地开发环境的数据配置。

Snaplet是一个面向开发者的数据库管理工具，它通过AI技术生成与生产环境相似的模拟数据，用于本地开发环境、端到端测试和调试。它支持TypeScript配置，提供类型安全性和自动化值及关系更新，帮助开发者更高效、安全地管理开发环境中的数据。

技术设计的首个副驾驶，通过AI加速设计文档和图表的创建与迭代。

Eraser AI 是一款专为技术设计打造的AI工具，它能够帮助用户快速创建和迭代设计文档和图表。它通过自然语言提示生成图表代码，支持云架构图、数据库图等的快速创建。Eraser AI 提供完全可编辑的输出，支持多人实时协作，并且与开发者常用的工具如GitHub和VS Code有良好的集成。此外，它还提供了一个免费的沙盒环境DiagramGPT，允许用户无需账号即可生成图表。Eraser AI 强调数据隐私，不会使用用户数据进行模型训练，适合现代开发者使用。

使用OpenAI、Claude 3和Azure等模型构建AI助手，轻松连接工具和数据库，并将其作为API聊天机器人或HTML嵌入式小部件发布

AI助手构建器使用OpenAI、Claude和Azure等模型，提供了一个简单的无代码方式来构建AI助手。它可以轻松连接到您的工具和数据库，并以API聊天机器人或HTML嵌入式小部件的形式发布。它具有灵活的低代码功能，可以满足各种需求。

一个个人餐饮数据库，帮助你记住过去的餐食并让未来的餐食难忘。

What Did You Have For Dinner是一个个人餐饮数据库和食品日记，它帮助用户记录过去的餐食，使其更加难忘，并提供智能搜索和检索功能。用户可以导入来自任何来源的食谱，整理并更新以反映个人口味。还可以记录每餐的详细信息，包括自制或餐厅外卖，并编写餐厅评论以提升未来的就餐体验。此外，用户还可以与朋友分享个性化的食谱和餐厅评论，从而形成一个分享美食智慧的社区。 What Did You Have For Dinner还提供个性化的食谱推荐和AI助手的编辑和上传功能。

AI驱动的数据开发和分析平台，让数据管理变得简单高效。

Chat2DB是一个AI驱动的数据开发和分析平台，它通过集成数据管理、研发、分析和应用于一体，为不同角色的用户提供了一个无缝对接的全链路数据管理平台。该平台利用先进的AI技术，简化了SQL研发和数据报表的创建，使得即使是非技术背景的用户也能轻松进行复杂的数据查询。Chat2DB支持多种数据库类型，包括关系型和非关系型数据库，为用户提供了一个集中一站式的数据库管理解决方案。