产品库

基于大型语言模型的高性能MacOS聊天应用

ChatMLX是一款现代、开源、高性能的MacOS聊天应用程序，基于大型语言模型构建。它利用MLX的强大性能和苹果硅芯片，支持多种模型，为用户提供丰富的对话选择。ChatMLX在本地运行大型语言模型，以确保用户隐私和安全。

macOS用户的原生AI聊天界面

HuggingChat macOS是一个为macOS用户设计的原生聊天界面，利用开源语言模型的强大功能。它将高级AI对话的能力直接带到您的桌面上，提供了无缝且直观的体验。

匿名使用热门人工智能模型进行聊天，保护隐私，支持多种AI模型。

DuckDuckGo AI Chat 是一款基于网页的匿名人工智能聊天工具，旨在为用户提供安全、隐私保护的聊天体验。它集成了多种热门人工智能模型，如 GPT-4、Claude 3、Llama 3.3 和 Mistral Small 3，用户可以在不暴露个人信息的情况下与这些模型进行交互。该产品强调隐私保护，不会保存用户的聊天记录或利用对话内容进行人工智能训练。其主要优点是匿名性、隐私保护和多模型支持，适合对隐私敏感的用户。DuckDuckGo 作为知名的隐私保护搜索引擎，通过该产品进一步拓展了其在人工智能领域的应用，定位为隐私优先的 AI 聊天服务，目前免费提供给用户使用。

一个现代化的全栈 AI Chatbot 应用，支持 Web、移动 App 和桌面端

OpenChat 是一个现代化的全栈 AI 聊天应用，采用 React 和 Cloudflare Workers 构建，结合 Connect RPC 实现高效通信，通过 Tauri 支持多平台客户端。它不仅提供自然语言对话，还支持文本生成图像、网络搜索等功能，旨在为用户提供无缝的多平台聊天体验。该产品采用全栈 TypeScript 开发，确保类型安全，同时支持极速全球部署和数据实时同步。其模块化设计易于扩展，适合希望在多设备上使用 AI 聊天功能的用户。

DuRT 是一款 macOS 上的实时语音识别和翻译软件，致力于提供高效、准确的语音处理服务。

DuRT 是一款专注于 macOS 系统的语音识别和翻译工具。它通过本地 AI 模型和系统服务实现语音的实时识别与翻译，支持多种语音识别方法，提高了识别的准确度和语言支持范围。该产品以悬浮框形式展示结果，方便用户在使用过程中快速获取信息。其主要优点包括高准确度、隐私保护（不收集用户信息）以及便捷的操作体验。DuRT 定位为一款高效生产力工具，旨在帮助用户在多语言环境下更高效地进行沟通和工作。目前产品可在 Mac App Store 下载，具体价格未在页面中明确提及。

Tolan: Alien Best Friend 是一款以聊天和情感陪伴为核心功能的社交类APP。

Tolan: Alien Best Friend 是一款专注于情感陪伴和社交互动的聊天类APP。它以虚拟外星人Tolan作为用户的聊天伙伴，通过智能对话技术为用户提供情感支持、趣味互动和日常陪伴。该产品的主要优点在于其高度的互动性和情感共鸣能力，能够满足用户在孤独时刻的情感需求。产品定位为年轻人和需要情感陪伴的用户群体，提供了一种全新的社交体验。目前产品为免费使用，旨在通过趣味性和情感连接吸引用户。

一个基于 React 和 Cloudflare Pages 的多人 AI 聊天应用，支持多个 AI 角色同时参与对话。

botgroup.chat 是一个创新的多人 AI 聊天应用，它利用先进的 AI 技术，为用户提供类似群聊的交互体验。用户可以与多个 AI 角色进行实时对话，这些角色具有不同的性格和功能。该产品基于 React 和 Cloudflare Pages 开发，具有高性能和可扩展性。它不仅为用户提供了一个有趣的聊天环境，还可以用于教育、娱乐和商业等多种场景。目前该产品免费提供给用户使用，旨在为广泛的用户提供便捷的 AI 聊天服务。

Monica 是一个万能的助手，懂你的伙伴，提供智能对话服务。

Monica 是由北京蝴蝶效应科技有限公司开发的智能助手产品。它以对话为核心功能，旨在为用户提供便捷、智能的交流体验。其背后的技术基于 DeepSeek V3 & R1 模型，能够理解并回应用户的多样化需求。Monica 的主要优点在于其智能对话能力，能够快速响应用户的问题，并提供个性化的服务。产品定位为用户的贴心伙伴，适用于多种场景，如日常交流、学习辅助、信息查询等。目前提供网页版和手机 APP 版本，用户可以根据自己的需求选择使用方式。

通过强化学习提升大型语言模型在开源软件演变中的推理能力

SWE-RL 是由 Facebook Research 提出的一种基于强化学习的大型语言模型推理技术，旨在利用开源软件演变数据提升模型在软件工程任务中的表现。该技术通过规则驱动的奖励机制，优化模型的推理能力，使其能够更好地理解和生成高质量的代码。SWE-RL 的主要优点在于其创新性的强化学习方法和对开源数据的有效利用，为软件工程领域带来了新的可能性。该技术目前处于研究阶段，尚未明确商业化定价，但其在提升开发效率和代码质量方面具有显著潜力。

探索大型语言模型作为编程辅导工具的潜力，提出Trace-and-Verify工作流。

Coding-Tutor是一个基于大型语言模型（LLM）的编程辅导工具，旨在通过对话式交互帮助学习者提升编程能力。它通过Trace-and-Verify（Traver）工作流，结合知识追踪和逐轮验证，解决编程辅导中的关键挑战。该工具不仅适用于编程教育，还可扩展到其他任务辅导场景，帮助根据学习者的知识水平调整教学内容。项目开源，支持社区贡献。

一款macOS上的写作辅助工具，利用AI技术快速优化文本，提升写作效率。

TypoTab是一款专为macOS设计的AI写作辅助工具，旨在帮助用户快速优化文本，提升写作质量和效率。它通过强大的AI技术，能够即时修正语法错误、优化文本结构，并提供多种风格转换功能。该产品主要面向需要高效写作的用户，如作家、学生、商务人士等，其简洁的设计和强大的功能使其成为写作过程中的得力助手。产品提供月度和年度付费计划，价格分别为每月6英镑和每月4英镑（年付），并支持1设备使用。

AI聊天助手，帮你创建完美的开场白和互动对话，提升约会体验。

Rizz App AI 是一款专注于约会和社交场景的AI聊天助手。它通过先进的AI技术，结合实时学习和数据分析，为用户提供个性化、流畅的聊天话术。该产品的主要优点是能够帮助用户在约会中脱颖而出，提高配对回复率，同时保持真实性和隐私性。它适合那些希望通过智能工具提升社交能力和约会成功率的用户。产品提供免费版、专业版和尊享版三种定价方案，满足不同用户的需求。

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

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

小艺是华为推出的智能助手，提供聊天、写作、编程等多种AI服务。

小艺是华为推出的智能助手，集成了自然语言处理和机器学习技术，能够提供聊天、写作、编程、翻译等多种功能。它基于深度学习模型，能够理解用户的问题并给出准确的回答。小艺的主要优点是功能丰富、响应速度快、智能化程度高。作为华为生态的一部分，小艺致力于为用户提供便捷的智能服务，提升用户体验。

一个可以方便使用 Google Gemini Pro 2.0 的移动客户端，支持实时对话和多AI代理。

Gemini Pro Chatbot 是一款基于 Google Gemini Pro AI 模型开发的移动聊天应用。它通过 React Native 和 Expo 构建，支持实时流式响应、代码高亮、消息持久化存储等功能。该应用允许用户通过自定义系统提示词和创建不同个性的 AI 代理来优化聊天体验。其主要优点包括强大的语言理解能力、灵活的定制化选项以及跨平台支持，适合希望高效利用 AI 进行对话和内容创作的用户。

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

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

Krea Chat 是一个由 DeepSeek 提供支持的 AI 聊天工具，将 Krea 的所有功能集成到聊天界面中。

Krea Chat 是一款基于 AI 的设计工具，通过聊天界面提供强大的设计功能。它结合了 DeepSeek 的 AI 技术和 Krea 的设计工具套件，用户可以通过自然语言交互生成图像、视频等设计内容。这种创新的交互方式极大地简化了设计流程，降低了设计门槛，使用户能够快速实现创意。Krea Chat 的主要优点包括易于使用、高效生成设计内容以及强大的 AI 驱动功能。它适合需要快速生成设计素材的创作者、设计师和市场营销人员，能够帮助他们节省时间并提升工作效率。

一个开源的聊天应用，使用Exa的API进行网络搜索，结合Deepseek R1进行推理。

Exa & Deepseek Chat App是一个开源的聊天应用，旨在通过Exa的API进行实时网络搜索，并结合Deepseek R1语言模型进行推理，以提供更准确的聊天体验。该应用基于Next.js、TailwindCSS和TypeScript构建，使用Vercel进行托管。它允许用户在聊天中获取最新的网络信息，并通过强大的语言模型进行智能对话。该应用免费开源，适合开发者和企业用户使用，可作为聊天工具的开发基础。

Mistral Small 24B 是一款多语言、高性能的指令微调型大型语言模型，适用于多种应用场景。

Mistral Small 24B 是一款由 Mistral AI 团队开发的大型语言模型，拥有 240 亿参数，支持多语言对话和指令处理。该模型通过指令微调，能够生成高质量的文本内容，适用于聊天、写作、编程辅助等多种场景。其主要优点包括强大的语言生成能力、多语言支持以及高效推理能力。该模型适合需要高性能语言处理的个人和企业用户，具有开源许可，支持本地部署和量化优化，适合对数据隐私有要求的场景。

一个为RAG（检索增强生成）AI助手设计的React组件，可快速集成到Next.js应用中。

该产品是一个React组件，专为RAG（检索增强生成）AI助手设计。它结合了Upstash Vector进行相似性搜索、Together AI作为LLM（大型语言模型）以及Vercel AI SDK用于流式响应。这种组件化设计使得开发者可以快速将RAG能力集成到Next.js应用中，极大地简化了开发流程，同时提供了高度的可定制性。其主要优点包括响应式设计、支持流式响应、持久化聊天历史以及支持暗黑/浅色模式等。该组件主要面向需要在Web应用中集成智能聊天功能的开发者，尤其是那些使用Next.js框架的团队。它通过简化集成过程，降低了开发成本，同时提供了强大的功能。

DeepSeek-R1-Distill-Llama-70B 是一款基于强化学习优化的大型语言模型，专注于推理和对话能力。

DeepSeek-R1-Distill-Llama-70B 是由 DeepSeek 团队开发的一款大型语言模型，基于 Llama-70B 架构并通过强化学习进行优化。该模型在推理、对话和多语言任务中表现出色，支持多种应用场景，包括代码生成、数学推理和自然语言处理。其主要优点是高效的推理能力和对复杂问题的解决能力，同时支持开源和商业使用。该模型适用于需要高性能语言生成和推理能力的企业和研究机构。

Chooat是一个多功能AI聊天平台，提供多种AI模型和工具，提升创造力和生产力。

Chooat是一个集成多种先进AI模型的聊天平台，旨在通过强大的AI技术提升用户的创造力和生产力。它支持多种AI模型，如ChatGPT、Claude、Gemini等，能够满足不同用户的需求。用户可以通过平台进行高效的任务管理和内容创作，同时其简洁的界面和强大的功能使其在市场上具有竞争力。Chooat的目标是为用户提供一个一站式的AI解决方案，帮助他们在工作和生活中实现更高的效率。

这是一个先进的多模态大型语言模型系列，展示了卓越的整体性能。

InternVL2.5-MPO是一个基于InternVL2.5和混合偏好优化（MPO）的多模态大型语言模型系列。它在多模态任务中表现出色，通过整合新近增量预训练的InternViT与多种预训练的大型语言模型（LLMs），如InternLM 2.5和Qwen 2.5，使用随机初始化的MLP投影器。该模型系列在多模态推理偏好数据集MMPR上进行了训练，包含约300万个样本，通过有效的数据构建流程和混合偏好优化技术，提升了模型的推理能力和回答质量。

一个实时适应未见任务的自适应大型语言模型框架。

SakanaAI/self-adaptive-llms是一个名为Transformer²的自适应框架，旨在解决传统微调方法计算密集且处理多样化任务能力静态的挑战。该框架能够在推理过程中通过两步机制实时调整大型语言模型（LLMs）以适应未见任务：首先，调度系统识别任务属性；然后，使用强化学习训练的任务特定'专家'向量被动态混合，以获得针对输入提示的目标行为。主要优点包括实时任务适应性、计算效率和灵活性。该项目由SakanaAI团队开发，目前在GitHub上开源，拥有195颗星和12次分叉。

您的终极智能解决方案AI助手。

Hailuo AI是一个智能AI助手，提供聊天、视频和音频等多种交互方式，能够轻松处理长文本上下文，帮助用户解决问题。它以强大的自然语言处理技术和友好的用户体验为特点，旨在为用户提供高效、智能的解决方案。产品定位为面向广大用户的通用AI助手，价格策略未明确说明。

InternLM3-8B-Instruct是一个开源的80亿参数指令模型，用于通用用途和高级推理。

InternLM3-8B-Instruct是InternLM团队开发的大型语言模型，具有卓越的推理能力和知识密集型任务处理能力。该模型在仅使用4万亿高质量词元进行训练的情况下，实现了比同级别模型低75%以上的训练成本，同时在多个基准测试中超越了Llama3.1-8B和Qwen2.5-7B等模型。它支持深度思考模式，能够通过长思维链解决复杂的推理任务，同时也具备流畅的用户交互能力。该模型基于Apache-2.0许可证开源，适用于需要高效推理和知识处理的各种应用场景。

MinMo是一款多模态大型语言模型，用于无缝语音交互。

MinMo是阿里巴巴集团通义实验室开发的一款多模态大型语言模型，拥有约80亿参数，专注于实现无缝语音交互。它通过多个阶段的训练，包括语音到文本对齐、文本到语音对齐、语音到语音对齐和全双工交互对齐，在140万小时的多样化语音数据和广泛的语音任务上进行训练。MinMo在语音理解和生成的各种基准测试中达到了最先进的性能，同时保持了文本大型语言模型的能力，并支持全双工对话，即用户和系统之间的同时双向通信。此外，MinMo还提出了一种新颖且简单的语音解码器，在语音生成方面超越了以往的模型。MinMo的指令遵循能力得到了增强，支持根据用户指令控制语音生成，包括情感、方言和语速等细节，并模仿特定的声音。MinMo的语音到文本延迟约为100毫秒，全双工延迟理论上约为600毫秒，实际约为800毫秒。MinMo的开发旨在克服以往对齐多模态模型的主要限制，为用户提供更自然、流畅和人性化的语音交互体验。

基于Qwen2.5-Coder系列的大型语言模型，专注于代理应用。

Dria-Agent-a-3B是一个基于Qwen2.5-Coder系列的大型语言模型，专注于代理应用。它采用Pythonic函数调用方式，具有单次并行多函数调用、自由形式推理和动作以及即时复杂解决方案生成等优势。该模型在多个基准测试中表现出色，如Berkeley Function Calling Leaderboard (BFCL)、MMLU-Pro和Dria-Pythonic-Agent-Benchmark (DPAB)。模型大小为3.09B参数，支持BF16张量类型。

一个基于Qwen2.5-Coder系列训练的大型语言模型，专注于代理应用。

Dria-Agent-a-7B是一个基于Qwen2.5-Coder系列训练的大型语言模型，专注于代理应用。它采用Pythonic函数调用方式，与传统JSON函数调用方法相比，具有单次并行多函数调用、自由形式推理和动作以及即时复杂解决方案生成等优势。该模型在多个基准测试中表现出色，包括Berkeley Function Calling Leaderboard (BFCL)、MMLU-Pro和Dria-Pythonic-Agent-Benchmark (DPAB)。模型大小为76.2亿参数，采用BF16张量类型，支持文本生成任务。其主要优点包括强大的编程辅助能力、高效的函数调用方式以及在特定领域的高准确率。该模型适用于需要复杂逻辑处理和多步骤任务执行的应用场景，如自动化编程、智能代理等。目前，该模型在Hugging Face平台上提供，供用户免费使用。

Dria-Agent-α是基于Python的大型语言模型工具交互框架。

Dria-Agent-α是Hugging Face推出的大型语言模型（LLM）工具交互框架。它通过Python代码来调用工具，与传统的JSON模式相比，能更充分地发挥LLM的推理能力，使模型能够以更接近人类自然语言的方式进行复杂问题的解决。该框架利用Python的流行性和接近伪代码的语法，使LLM在代理场景中表现更佳。Dria-Agent-α的开发使用了合成数据生成工具Dria，通过多阶段管道生成逼真的场景，训练模型进行复杂问题解决。目前已有Dria-Agent-α-3B和Dria-Agent-α-7B两个模型在Hugging Face上发布。