工具

KindlePPT

KindlePPT是一款利用AI技术快速生成演示文稿、视频脚本、测验及论文的多功能工具。其核心功能包括智能演示文稿生成、视频脚本创作、论文辅助撰写以及测验设计,支持多语言操作与格式导出。凭借高效的自动化处理能力和灵活的编辑选项,KindlePPT成为教育、企业和个人创作者的理想选择。

Ideogram Canvas

Ideogram Canvas是一款基于AI技术的创意画布工具,支持用户在一个无限制的虚拟画布上生成、编辑及合并图像。其核心功能包括Magic Fill和Extend,可实现图像局部修改与扩展,同时保持风格统一。适用于平面设计、品牌营销、内容创作、艺术设计及教育培训等多个领域,助力提升创意工作效率。

Kaedim

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

Psi R0

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

PackPack

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

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智能合成。

MeCheck

MeCheck是一款利用AI技术的合同审查工具,支持合同智能审查、要素提取、版本管理、自定义清单及模板管理等功能。它通过自然语言处理和法律知识图谱技术,快速定位合同风险点,提供修改建议与法条支持,适用于企业合同管理和风险控制场景。