工具

1. 首页
2. 工具

Trae国内版

Trae国内版是字节跳动推出的AI IDE，支持代码生成、补全、优化及自然语言指令生成。其核心功能包括Builder模式、智能体协作、多模型切换及上下文理解，提升开发效率。界面简洁易用，适配中文环境，适合从初学者到专业开发者使用。

AI项目与工具 2025年06月12日 62 点赞 0 评论 865 浏览

字狐AI

字狐AI是一款集成多种AI功能的浏览器插件，主要功能包括智能问答、网页信息提取、写作辅助、PDF转换及OCR文字识别。用户可通过语音或文字与之互动，快速获取所需信息并提升工作效率。支持多语言识别与编辑，适用于办公文档处理、写作创作、资料阅读及PPT制作等场景。

AI项目与工具 2025年06月12日 12 点赞 0 评论 866 浏览

Xiaomi MiMo

Xiaomi MiMo 是小米推出的推理型大模型，具备强大的数学推理与代码生成能力。通过预训练与后训练相结合，利用大量高价值语料及强化学习算法，在 7B 参数规模下实现超越更大模型的表现。支持多场景应用，包括教育、科研、软件开发等，已开源至 HuggingFace，便于开发者使用与研究。

AI项目与工具 2025年06月11日 95 点赞 0 评论 866 浏览

Phraser

Phraser 是一款人工智能驱动的工具，专为 Midjourney、Dall-E、Stable Diffusion、Disco Diffusion 和 Craiyon 等领先艺术生成器的快速创作而设计。

Ai提示指令 2025年06月05日 28 点赞 0 评论 866 浏览

Pixelicious

Pixelicious 是一个可让您将图像转换为像素图像的网站。

Ai图片处理 2025年06月05日 87 点赞 0 评论 866 浏览

Kimina

Kimina-Prover是由月之暗面与Numina团队联合开发的大型数学定理证明模型，采用强化学习技术，在Lean 4语言中实现类人逻辑推理与严谨证明。其“形式化推理模式”结合非形式化推理与代码片段，提升解题效率。在miniF2F基准测试中达到80.7%准确率，显著优于现有模型。具备高样本效率与良好可扩展性，适用于科研、软件测试、算法验证等多个领域。1.5B和7B参数版本已开源。

AI项目与工具 2025年06月11日 33 点赞 0 评论 866 浏览

Kotae

Kotae是一款专为中小企业设计的智能聊天机器人平台，基于ChatGPT技术开发，支持80多种语言，可快速自然地响应客户咨询。用户无需编程即可在5分钟内完成配置和部署，通过分析网站内容、培训材料和FAQ生成准确回答。支持品牌定制和实时对话管理，适用于自动化客户服务、提升满意度及收集客户反馈等场景。

AI项目与工具 2025年06月11日 38 点赞 0 评论 866 浏览

奇布塔

奇布塔是一个依托AI技术的有声绘本创作平台，提供文字、图片、声音和视频一体化编辑工具，集成丰富的资源库，支持用户创作高质量有声作品。平台特色包括图片转绘、角色画面分离及社区互动功能，广泛适用于儿童教育、语言学习、早期教育及家庭娱乐等领域。

AI项目与工具 2025年06月12日 20 点赞 0 评论 867 浏览

Macro PDF

Macro PDF 是一款面向学术、法律和金融领域的 AI PDF 工具，支持智能文档处理、术语解释、摘要生成、多语言翻译及交互式问答等功能。用户可通过高亮文本获取即时解释，实现高效阅读与分析。支持多种 AI 模型，具备高级编辑功能和跨平台兼容性，适用于合同审查、财务分析、文献研究等场景，提升工作效率与信息处理能力。

AI项目与工具 2025年03月12日 69 点赞 0 评论 867 浏览

VRAG

VRAG-RL是阿里巴巴通义大模型团队推出的视觉感知驱动的多模态RAG推理框架，旨在提升视觉语言模型在处理视觉丰富信息时的检索、推理和理解能力。通过定义视觉感知动作空间，实现从粗粒度到细粒度的信息获取，并结合强化学习和综合奖励机制优化模型性能。该框架支持多轮交互推理，具备良好的可扩展性，适用于智能文档问答、视觉信息检索、多模态内容生成等多种场景。

AI项目与工具 2025年06月11日 84 点赞 0 评论 867 浏览