工具
  1. 首页
  2. 工具

列表

轻兔推送

轻兔推送

一个简洁易用的邮件短信消息推送服务，适合需要快速集成邮件和短信通知功能的开发者和企业。
Ai办公效率 2025年06月05日
智标领航

智标领航

智标领航是一款面向招投标领域的AI工具，基于DeepSeek多模态大模型，提供标书智能生成、标讯实时更新、文件检查及私有化部署等服务。它可有效提升招投标效率，降低人工成本，适用于各类招投标相关人员和机构，助力提高中标率与工作质量。
AI项目与工具 2025年06月12日
牛学长变声精灵

牛学长变声精灵

牛学长变声精灵作为一款AI实时变声器，有着数百种变声特效，一键美化音色可适配各类游戏和直播软件。
创作工具 1970年01月01日
Supermeme.Ai

Supermeme.Ai

Supermeme.ai是一个表情包生成器，可以生成110多种语言的表情包。可以添加自己的文本，调整字体大小和移动元素，轻松简单的生成各种奇奇怪怪的表情包。
Ai图片处理 2025年06月05日
音子AI

音子AI

音子AI利用人工智能技术提供了一系列便捷的音频处理服务，无论是音乐制作的音轨分离，还是有声读物的文本转语音，都能满足用户的不同需求。
创作工具 1970年01月01日
Circuit Tracer

Circuit Tracer

Circuit Tracer 是 Anthropic 推出的开源工具，用于研究大型语言模型的内部工作机制。它通过生成归因图揭示模型在生成特定输出时的决策路径，帮助研究人员追踪模型的决策过程、可视化特征关系并测试假设。支持多种主流模型如 Gemma 和 Llama，提供交互式可视化界面，便于探索和分析模型行为。其功能包括生成归因图、可视化与交互、模型干预以及支持多种模型。
AI项目与工具 2025年06月11日
Psi R0

Psi R0

Psi R0是一款基于强化学习的端到端具身模型，支持双灵巧手协同操作，具备多技能串联混训和跨物品、跨场景的泛化能力。通过仿真数据训练及技能优化，Psi R0能在复杂环境中完成长程任务，同时具备自主切换技能的功能，确保高成功率和鲁棒性。主要应用场景包括电商商品打包、工厂产线组装、服务业拣货打包及家居环境清洁整理。
AI项目与工具 2025年06月12日
PackPack

PackPack

PackPack是一款由AI驱动的书签管理工具，专为新闻和社交媒体等网络资源定制保存功能。它利用AI清理并保存内容。使用PackPack，彻底改变你的书签管理方式，更智能地管理你的收藏。
创作工具 1970年01月01日
MiniMax MCP Server

MiniMax MCP Server

MiniMax MCP Server 是一款基于 MCP 协议的多模态生成服务器，支持视频、图像、语音及声音克隆等功能。其具备高分辨率输出、自然语音生成与声音克隆能力，兼容多种主流客户端。平台采用客户端-服务器架构，结合 RAG 技术提升响应准确性，适用于教学、游戏开发、内容创作等多个领域。
AI项目与工具 2025年06月11日
Goedel

Goedel

Goedel-Prover是一款由多所高校联合开发的开源大型语言模型，专注于自动化数学问题的形式化证明生成。它通过将自然语言数学问题转化为形式语言（如Lean 4），生成准确且完整的证明过程。采用专家迭代方法持续优化模型性能，在多项基准测试中表现优异。该工具可应用于数学研究、教学、软件验证及AI算法验证等领域，具备强大的数学推理能力和广泛的应用前景。
AI项目与工具 2025年06月12日