产品库

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

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

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

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

AI任务清单

FocusDoro是一款AI任务清单工具，帮助用户规划和管理任务。它提供了任务列表、计时器、任务拖拽排序等功能。用户可以使用AI生成今天的日程安排，并可以添加子任务和设置优先级。FocusDoro还提供了可视化的统计数据和分析报告。该产品定位于提高用户的工作效率和时间管理能力。

让制作幻灯片变得更轻松的AI幻灯片工具。

Plus AI for Google Slides™是一款功能全面的AI幻灯片工具，帮助用户更轻松地制作幻灯片。它提供了多种AI功能，包括自动布局、主题设计、智能图表等，帮助用户快速创建美观且专业的幻灯片。此外，它还支持与Google Slides™无缝集成，方便用户进行实时协作和分享。 Plus AI for Google Slides™是提高工作效率和幻灯片设计质量的必备工具。

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，扩展深度思考的能力到更多技术领域。

提供免费PNG图片下载和AI图片处理工具

PNGFree.ai是一个提供数百万免费PNG图片的网站，同时提供高质量的免费PNG转换器和AI PNG工具。该网站为设计师、创意工作者和普通用户提供了一个丰富的资源库，帮助他们快速找到所需的透明背景图片，支持创意和设计工作。PNGFree.ai以其免费、高质量和便捷的服务在图像领域占有一席之地，用户无需担心版权问题，可以安心使用这些图片。

探索AI无限可能，AI产品库为你导航

2AGI-AI产品工具是一个集合了多种AI技术和工具的平台，旨在为用户提供一个全面的AI产品导航。该平台涵盖了从AI编程、AI艺术生成到AI聊天机器人等多个领域的工具，帮助用户发现和利用最新的AI技术。平台背景信息显示，它不仅提供了AI工具的排名和分类，还提供了AI热点资讯和名人堂等板块，让用户可以及时了解AI领域的最新动态和先锋人物。

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

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

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

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

AI工具目录，发现和利用AI技术的强大能力

AI Tools Dir是一个目录网站，汇集了各种有价值的和有趣的AI应用。我们致力于为用户提供最新和最全面的AI工具信息，帮助用户发现和利用AI技术的强大能力。网站包括但不限于AI写作助手、AI代码生成器、AI数据分析工具、AI图像生成器、AI音乐创作工具、AI视频编辑工具等。

发现2024年最佳AI工具

AIBest.Tools是一个集合了各类AI工具的平台，旨在帮助用户发现最新和最好的AI工具，保持行业领先。平台涵盖了教育、图像、应用等多个领域的AI工具，为用户提供了一个便捷的发现和探索AI工具的渠道。

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

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

发现最新的有用的AI工具

猫猫鱼AI工具窝是一个AI工具目录平台，致力于帮助用户发现和获取他们喜爱的AI工具。平台涵盖了从AI写作、营销到编程、艺术等多个领域的工具，旨在为用户提供一个集中的资源库，以便快速找到所需的AI解决方案。该平台不仅免费提供工具目录，还为AI工具开发者提供免费的创业公司列表，促进AI技术的交流与发展。

AI工具和机会发现平台

Exploding AGI是一个专注于AI工具和机会发现的平台，旨在帮助用户识别和利用AI技术中的盈利机会。该平台提供了多种AI工具的分类和趋势分析，包括聊天机器人、AI设计工具、图像生成、翻译、写作助手等。它通过详细的产品介绍、用户评价和市场趋势分析，帮助用户发现和比较不同的AI工具，从而提高工作效率和创新能力。

Qwen2.5-Coder系列中的1.5B参数量级代码生成模型

Qwen2.5-Coder是Qwen大型语言模型的最新系列，专注于代码生成、代码推理和代码修复。基于强大的Qwen2.5，该模型在训练中包含了5.5万亿的源代码、文本代码关联、合成数据等，是目前开源代码语言模型中的佼佼者，其编码能力可与GPT-4相媲美。此外，Qwen2.5-Coder还具备更全面的现实世界应用基础，如代码代理等，不仅增强了编码能力，还保持了在数学和通用能力方面的优势。

Qwen2.5-Coder系列的1.5B参数指令调优模型

Qwen2.5-Coder是Qwen大型语言模型的最新系列，专为代码生成、代码推理和代码修复而设计。基于强大的Qwen2.5，通过增加训练令牌至5.5万亿，包括源代码、文本代码基础、合成数据等，Qwen2.5-Coder-32B已成为当前最先进的开源代码大型语言模型，其编码能力与GPT-4o相匹配。此模型是1.5B参数的指令调优版本，采用GGUF格式，具有因果语言模型、预训练和后训练阶段、transformers架构等特点。

Qwen2.5-Coder系列中的1.5B参数代码生成模型

Qwen2.5-Coder是Qwen大型语言模型的最新系列，专为代码生成、推理和修复而设计。基于强大的Qwen2.5，该模型在训练时包含了5.5万亿的源代码、文本代码基础、合成数据等，使其在代码能力上达到了开源代码LLM的最新水平。它不仅增强了编码能力，还保持了在数学和通用能力方面的优势。

Qwen2.5-Coder系列中的3B参数指令调优模型

Qwen2.5-Coder是Qwen大型语言模型的最新系列，专注于代码生成、代码推理和代码修复。基于强大的Qwen2.5，训练令牌扩展到5.5万亿，包括源代码、文本代码接地、合成数据等。Qwen2.5-Coder-32B已成为当前最先进的开源代码大型语言模型，其编码能力与GPT-4o相匹配。该模型在实际应用中提供了更全面的基础，如代码代理，不仅增强了编码能力，还保持了在数学和通用能力方面的优势。

开源代码生成语言模型

Qwen2.5-Coder-32B-Instruct-GPTQ-Int8是Qwen系列中针对代码生成优化的大型语言模型，拥有32亿参数，支持长文本处理，是当前开源代码生成领域最先进的模型之一。该模型基于Qwen2.5进行了进一步的训练和优化，不仅在代码生成、推理和修复方面有显著提升，而且在数学和通用能力上也保持了优势。模型采用GPTQ 8-bit量化技术，以减少模型大小并提高运行效率。

2024年最佳AI工具开放目录

Aibesttop Tools Directory是一个开放目录，汇集了2024年最佳的AI工具。它每日更新，由GPT-4o提供支持，用户可以免费提交自己的AI工具以增强SEO。这个目录覆盖了从文本写作、图像处理到视频编辑等多个领域的AI工具，为用户发现和使用AI工具提供了极大的便利。

Qwen2.5-Coder系列中的指令调优0.5B参数代码生成模型

Qwen2.5-Coder是Qwen大型语言模型的最新系列，专注于代码生成、代码推理和代码修复。基于强大的Qwen2.5，通过扩展训练令牌到5.5万亿，包括源代码、文本代码基础、合成数据等，Qwen2.5-Coder-32B已成为当前最先进的开源代码LLM，其编码能力与GPT-4o相匹配。该模型不仅增强了编码能力，还保持了在数学和通用能力方面的优势，为实际应用如代码代理提供了更全面的基础。

Qwen2.5-Coder系列中的1.5B参数代码生成模型

Qwen2.5-Coder-1.5B是Qwen2.5-Coder系列中的一款大型语言模型，专注于代码生成、代码推理和代码修复。基于强大的Qwen2.5，该模型通过扩展训练令牌至5.5万亿，包括源代码、文本代码基础、合成数据等，成为当前开源代码LLM中的佼佼者，编码能力媲美GPT-4o。此外，Qwen2.5-Coder-1.5B还强化了数学和通用能力，为实际应用如代码代理提供了更全面的基础。

Qwen2.5-Coder系列中的1.5B参数代码生成模型

Qwen2.5-Coder是Qwen大型语言模型的最新系列，专注于代码生成、代码推理和代码修复。基于Qwen2.5的强大能力，该模型在训练时使用了5.5万亿的源代码、文本代码基础、合成数据等，是目前开源代码生成语言模型中的佼佼者，编码能力与GPT-4o相媲美。它不仅增强了编码能力，还保持了在数学和通用能力方面的优势，为实际应用如代码代理提供了更全面的基础。