产品库

Cursor Convo Export：将你的 Cursor 对话导出到新窗口或文件

Cursor Convo Export 是由 Edwin Klesman 开发的一款 Cursor AI 扩展插件，旨在帮助用户将与 Cursor AI 的聊天历史导出到新窗口或时间戳文件中。该插件对于编程人员来说非常实用，因为它可以保存 AI 给出的重要指令和信息，如部署步骤、架构推理等，方便用户日后查阅。此外，当与 Cursor 的对话出现中断时，用户可以利用该插件将对话内容复制到新对话中，以便继续工作。该插件售价为 5 欧元，大小为 6.25 MB，提供 30 天退款保证。

Dropflow可以自动提取电子邮件内容并将其发送到Slack、Trello、Google Sheets等平台。

Dropflow是一款能够从转发的电子邮件中提取数据并将其发送到Slack、Trello、Google Sheets、Notion或您自己的API的工具。它可以帮助用户自动化邮箱处理过程，提高工作效率。

使用InLabels浏览器扩展，可以从任何标签页访问您的连接，通过标签和自定义收件箱提高工作效率。

InLabels是一款强大的浏览器扩展，允许用户在任何标签页中直接访问他们的连接，通过使用标签和自定义收件箱，提高工作效率。该产品注重简单易用，具有许多智能功能，可帮助用户管理和优化他们的工作流程。

简化团队工作流程，每月节省超过60小时。AI驱动的邮件撰写，文本扩展，协作片段共享，为团队构建完整知识库。

Snippets AI是一款结合团队协作和片段自动化的产品。它提供AI驱动的邮件撰写、文本扩展和协作片段共享，帮助团队构建完整的知识库。其主要优点包括节省时间、提高工作效率、简化工作流程等。产品定位于提升团队生产力，解决工作中的重复性任务，以优化工作流程。

Zarin是首个开源AI平台，集成了200多个热门和最新的AI多模型，可生成图片、视频、音频、代码、学术论文等。

Zarin是一个开源AI平台，汇聚了200多个热门和最新的AI多模型，为用户提供生成图片、视频、音频、代码、学术论文等功能。该平台的主要优点是打破了不同AI平台之间切换的障碍，使用户能够在一个平台上完成多种任务。Zarin的背景信息是由Ibrohim Abdivokhidov开发。

浏览器AI助手，理解网页内容，提供阅读和写作辅助。

Browser Copilot AI是一款浏览器AI助手，能理解网页内容，帮助用户自动化和加速任务完成。该产品结合了多种AI模型，支持用户在浏览器中进行阅读、写作等操作，大大提高工作效率。

免费在线AI答案生成器，无需登录，无限使用。

AI Answer Generator是一个由先进AI模型驱动的在线工具，可以即时生成与输入问题相关的准确答案。用户只需输入问题，即可获得即时的相关答案，无需注册或具备技术技能。这个工具适用于知识查找、事实核实、学习研究、创意发散、写作翻译和语言学习、工作效率和问答，以及一般好奇心和灵感。

viAct.ai利用AI视觉技术优化施工安全、生产力和环境合规性。

viAct.ai是自动化的建筑管理软件/应用，利用计算机视觉和视频分析技术提供工作场所安全监控。其主要优点在于降低事故率、节约人力成本、无误差的进度追踪，可节省高额赔偿费用。

将零散的想法转化为有序笔记

ScatterNote是一款能将零散想法转化为有序文档的工具。它利用AI技术帮助用户快速捕捉和整理想法，提高工作效率和组织能力。

OneTap改变了您在苹果设备上分享内容的方式，让您只需轻轻一点即可保存任何内容以供稍后复制和粘贴。

OneTap是一款旨在提高工作效率的应用程序，通过简单的一键操作，您可以快速保存和分享文本、图片、链接和文件等内容。其特色在于将常用功能集成到键盘快捷方式中，实现快速粘贴操作，提高工作效率。

Inception Labs 推出新一代扩散式大语言模型，提供极速、高效和高质量的语言生成能力。

Inception Labs 是一家专注于开发扩散式大语言模型（dLLMs）的公司。其技术灵感来源于先进的图像和视频生成系统，如 Midjourney 和 Sora。通过扩散模型，Inception Labs 提供了比传统自回归模型快 5-10 倍的速度、更高的效率和更强的生成控制能力。其模型支持并行文本生成，能够纠正错误和幻觉，适合多模态任务，并且在推理和结构化数据生成方面表现出色。公司由斯坦福、UCLA 和康奈尔大学的研究人员和工程师组成，是扩散模型领域的先驱。

Scira 是一个极简主义的 AI 驱动搜索引擎，帮助用户在互联网上查找信息。

Scira 是一个基于 AI 技术的搜索引擎，旨在通过强大的语言模型和搜索能力，为用户提供更高效、更精准的信息检索体验。它支持多种语言模型，如 Grok 2.0 和 Claude 3.5 Sonnet，并集成了 Tavily 等搜索工具，能够提供网页搜索、编程代码运行、天气查询等多种功能。Scira 的主要优点在于其简洁的界面和强大的功能集成，适合对传统搜索引擎不满意、希望借助 AI 提升搜索效率的用户。该项目开源免费，用户可以根据自己的需求进行本地部署或使用其提供的在线服务。

Nummi 是一个智能、个性化的 AI 助手，帮助用户高效完成工作和创意任务。

Nummi 是一款智能 AI 助手，通过自然语言处理技术为用户提供个性化服务。它能够帮助用户生成创意、规划工作、优化流程等。其主要优点是高效、智能且易于使用，适合需要提升工作效率和激发创意的用户。Nummi 的定位是为个人和创业者提供便捷的 AI 工具，目前尚不清楚具体价格，但可能提供免费试用或付费版本。

LLaDA是一种大规模语言扩散模型，具备强大的语言生成能力，与LLaMA3 8B性能相当。

LLaDA是一种新型的扩散模型，通过扩散过程生成文本，与传统的自回归模型不同。它在语言生成的可扩展性、指令遵循、上下文学习、对话能力和压缩能力等方面表现出色。该模型由中国人民大学和蚂蚁集团的研究人员开发，具有8B的规模，完全从零开始训练。其主要优点是能够通过扩散过程灵活地生成文本，支持多种语言任务，如数学问题解答、代码生成、翻译和多轮对话等。LLaDA的出现为语言模型的发展提供了新的方向，尤其是在生成质量和灵活性方面。

DeepSeek 是一款先进的 AI 语言模型，擅长逻辑推理、数学和编程任务，提供免费使用。

DeepSeek 是由 High-Flyer 基金支持的中国 AI 实验室开发的先进语言模型，专注于开源模型和创新训练方法。其 R1 系列模型在逻辑推理和问题解决方面表现出色，采用强化学习和混合专家框架优化性能，以低成本实现高效训练。DeepSeek 的开源策略推动了社区创新，同时引发了关于 AI 竞争和开源模型影响力的行业讨论。其免费且无需注册的使用方式进一步降低了用户门槛，适合广泛的应用场景。

Chrome扩展程序，可将ChatGPT对话一键导出为Markdown格式并迁移到DeepSeek。

GPTSeek是一款专为提升用户工作效率而设计的Chrome扩展程序。它能够将ChatGPT中的对话内容快速导出为Markdown格式，并将其迁移到DeepSeek平台。这种功能对于需要在不同平台之间迁移和整理对话内容的用户来说非常实用。它不仅节省了手动复制粘贴的时间，还能保持内容的格式和结构，方便用户在DeepSeek中进一步处理和使用。此外，GPTSeek的开发背景是基于用户对跨平台数据迁移的需求，其目标是提供一种简单、高效且无缝的解决方案。目前，该产品以免费的形式提供给用户，旨在帮助更多人提升工作效率。

Qwen2.5-Max是一个大规模的Mixture-of-Expert (MoE)模型，致力于提升模型智能。

Qwen2.5-Max是一个大规模的Mixture-of-Expert (MoE)模型，经过超过20万亿tokens的预训练和监督微调与人类反馈强化学习的后训练。它在多个基准测试中表现优异，展示了强大的知识和编码能力。该模型通过阿里巴巴云提供API接口，支持开发者在各种应用场景中使用。其主要优点包括强大的性能、灵活的部署方式和高效的训练技术，旨在为人工智能领域提供更智能的解决方案。

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

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

Vela 是一款致力于创造更社交化远程工作场所的桌面客户端消息平台。

Vela 是一款专注于改善远程工作体验的桌面客户端消息平台。它通过创新的沟通方式，如开放语音聊天室、无在线/离线状态显示等功能，旨在减少工作压力，提升团队成员之间的社交连接和工作满意度。产品背景基于当前远程工作中普遍存在的问题，如过度通知、缺乏社交互动、工作生活平衡缺失等。Vela 提供了个人免费版和 Autoscale 付费版，个人免费版具备所有功能，适合个人用户和小型团队使用；Autoscale 付费版则提供更高级的功能，如无限房间、细粒度访问控制等，适合大型企业使用。

Kimi k1.5 是一个通过强化学习扩展的多模态语言模型，专注于提升推理和逻辑能力。

Kimi k1.5 是由 MoonshotAI 开发的多模态语言模型，通过强化学习和长上下文扩展技术，显著提升了模型在复杂推理任务中的表现。该模型在多个基准测试中达到了行业领先水平，例如在 AIME 和 MATH-500 等数学推理任务中超越了 GPT-4o 和 Claude Sonnet 3.5。其主要优点包括高效的训练框架、强大的多模态推理能力以及对长上下文的支持。Kimi k1.5 主要面向需要复杂推理和逻辑分析的应用场景，如编程辅助、数学解题和代码生成等。

这是一个基于Qwen2.5-32B模型的4位量化版本，专为高效推理和低资源部署设计。

该产品是一个基于Qwen2.5-32B的4位量化语言模型，通过GPTQ技术实现高效推理和低资源消耗。它在保持较高性能的同时，显著降低了模型的存储和计算需求，适合在资源受限的环境中使用。该模型主要面向需要高性能语言生成的应用场景，如智能客服、编程辅助、内容创作等。其开源许可和灵活的部署方式使其在商业和研究领域具有广泛的应用前景。

一个基于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平台上提供，供用户免费使用。

一款由Mistral AI推出的先进编程辅助模型。

Codestral 25.01是由Mistral AI推出的一款先进的编程辅助模型，它代表了当前编程模型领域的前沿技术。该模型具有轻量级、快速以及精通80多种编程语言的特点，专为低延迟、高频率的使用场景进行了优化，并支持诸如代码填充（FIM）、代码纠正和测试生成等任务。Codestral 25.01在架构和分词器方面进行了改进，代码生成和补全速度比前代产品快约2倍，成为了同级别中编程任务的领导者，尤其在FIM用例中表现突出。其主要优点包括高效的架构、快速的代码生成能力以及对多种编程语言的精通，对于提升开发者的编程效率具有重要意义。Codestral 25.01目前通过Continue.dev等IDE/IDE插件合作伙伴向全球开发者推出，并支持本地部署，以满足企业对于数据和模型驻留的需求。

通过自然语言问题探索GitHub仓库的工具

GitHub Assistant 是一款创新的编程辅助工具，它利用自然语言处理技术，使用户能够通过简单的语言问题来探索和理解GitHub上的各种代码仓库。该工具的主要优点在于其易用性和高效性，用户无需具备复杂的编程知识即可快速获取所需信息。产品由 assistant-ui 和 relta 共同开发，旨在为开发者提供一个更加便捷和直观的代码探索方式。GitHub Assistant 的定位是为编程人员提供一个强大的辅助工具，帮助他们更好地理解和利用开源代码资源。

智能搜索平台，集成多种AI服务

百度AI搜是一个基于人工智能技术的智能搜索平台，它集成了搜索、智能创作、图像处理等多种功能，旨在提升用户的工作效率和创造力。该平台利用百度的AI技术，为用户提供便捷的服务，适用于办公、学习、设计等多种场景。产品背景依托于百度强大的搜索引擎和AI技术，定位于为用户提供全面的智能搜索解决方案，部分功能提供免费试用，其他功能可能需要付费。

智谱深度推理模型，擅长数理逻辑和代码推理

GLM-Zero-Preview是智谱首个基于扩展强化学习技术训练的推理模型，专注于增强AI推理能力，擅长处理数理逻辑、代码和需要深度推理的复杂问题。与基座模型相比，在不显著降低通用任务能力的情况下，专家任务能力大幅提升。在AIME 2024、MATH500和LiveCodeBench评测中，效果与OpenAI o1-preview相当。产品背景信息显示，智谱华章科技有限公司致力于通过强化学习技术，提升模型的深度推理能力，未来将推出正式版GLM-Zero，扩展深度思考的能力到更多技术领域。

语音驱动的AI助手，提升工作效率。

Shortcut by Poised是一个基于语音的AI助手，旨在通过自然对话的方式提升用户的工作效率。它允许用户通过语音输入快速获得答案、整理思路、起草消息、电子邮件和文档，同时保持工作流程的连贯性。产品通过AI技术将自然语言转换为精炼的文本，并提供多种语言风格选项，满足不同场合的需求。Shortcut by Poised的背景信息显示，它在Product Hunt上发布，并即将推出Windows和移动应用版本，目前Mac版本已可下载。

AI驱动的代码代理，助你专注于关键任务。

Jules是一个集成于GitHub的AI代码代理，使用最新的Gemini模型，能够编写代码解决问题，将复杂的编程任务分解为可操作的步骤，理解并导航代码库，通过单元测试运行和验证更改，并根据用户反馈调整方法。它代表了人工智能在编程领域的应用，通过自动化和智能分析提高开发效率，减少错误，是现代软件开发中的重要辅助工具。

每日AI工具、课程、技巧和实际用例精选

Bear With AI是一个专注于提供实用AI工具、课程、技巧和真实世界用例的平台，由人类精心策划。它旨在帮助用户更好地理解和有效使用AI工具，如ChatGPT等。该平台通过分享AI相关的最新信息和技巧，帮助用户提升对AI的认识和应用能力，特别适合那些希望在日常工作和学习中利用AI技术提高效率和创造力的人群。Bear With AI提供免费内容，适合各类对AI感兴趣的用户。

一个尝试复现OpenAI O1模型的编程辅助工具

O1-CODER是一个旨在复现OpenAI的O1模型的项目，专注于编程任务。该项目结合了强化学习(RL)和蒙特卡洛树搜索(MCTS)技术，以增强模型的系统二型思考能力，目标是生成更高效、逻辑性更强的代码。这个项目对于提升编程效率和代码质量具有重要意义，尤其是在需要大量自动化测试和代码优化的场景中。