工具

牛学长变声精灵

牛学长变声精灵作为一款AI实时变声器,有着数百种变声特效,一键美化音色可适配各类游戏和直播软件。

Kaedim

无论您是构建VR游戏还是3D艺术,Kaedim都可以为您生成高清3D模型。不需要建模经验

Psi R0

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

MiniMax MCP Server

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

One Shot, One Talk

One Shot, One Talk是一项由中国科学技术大学和香港理工大学研究者开发的图像生成技术,它可以从单张图片生成具有个性化细节的全身动态说话头像。该工具支持逼真的动画效果,包括自然的表情变化和生动的身体动作,同时具备对新姿势和表情的泛化能力。One Shot, One Talk结合了姿势引导的图像到视频扩散模型和3DGS-mesh混合头像表示技术,提供了精确的控制能力和高质量的重建效果。

Goedel

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

绘创Al

绘创AI图片修改配图能力,基于AI人工智能图片处理技术,支持多种格式图片,一键在线修改调整,修改图片,编辑图片,AI绘图可调整风格、画质、清晰度等,秒级场景AI智能合成。

魔力设

魔力设是一款集设计模板、版权素材和AI工具于一体的在线设计平台,支持海报、PPT、展板等多种设计类型。提供海量正版素材与在线编辑功能,结合AI智能抠图和PPT生成技术,提升设计效率。支持多格式导出,适用于商务、教育、营销及内容创作等多个场景。

Veggie AI

通过上传您的照片、动作视频或输入文本提示,生成完全可控的视频。

1号AI

1号AI是一款由风平智能开发的AI数字分身视频交互平台,提供包括形象克隆、声音克隆、智能对话等功能。用户可以轻松创建个性化数字分身,通过简单的文本或语音输入快速制作高质量视频,广泛应用于电商直播、教育培训、客户服务等领域。它提高了内容生产效率,降低了创作门槛,为用户提供创新的交互体验。