工具

闪剪智播

闪剪智播是针对直播行业推出的一款 AI数字人直播软件,系统提供多个数字人形象及大量直播模板,只需选择数字人,上传一段音频,就能生成属于你的数字人直播脚本视频。

RenderNet AI

一款功能强大的图像和视频生成器,可对角色设计、构图和风格进行广泛控制。RenderNet Al可进行视频换脸,可轻松通过照片更改视频人物面容。

G3D.AI {Jedi}

G3D.AI 是一家开发用于游戏创作的人工智能 (AI) 工具的公司。它旨在通过使用自然语言提示,使游戏创作者能够在很短的时间内构建出精美、新颖的游戏。

Blobmaker

由Zcreative labs 制作的免费的可帮助您快速生成随机、独特和不规则的 SVG 形状的生成设计工具。这些形状可以用在如网站设计、PPT制作或海报设计等各种设计项目中。

CollovGPT

Collov AI解决人工智能室内设计的未来

妙鸭相机

妙鸭相机是一款在线生成专业质感大片的AI相机,拥有潮流、时尚、有趣、好玩的风格模板,让你方便快捷地拥有百变照片,掌握引爆朋友圈的流量密码,成为社交圈的时尚先锋!

GenType

GenType是一款基于AI技术的字母生成工具,利用Google Imagen 2模型,用户可通过输入提示词生成26个具有特定风格的英文字母。该工具支持字母的单次重置、复制、保存以及组合成单词或短语,广泛应用于平面设计、品牌标识、社交媒体内容创作及教育领域,兼具灵活性和易用性。

BFS

BFS-Prover 是一种基于大语言模型的自动定理证明系统,通过改进广度优先搜索算法和长度归一化评分机制,提高证明搜索效率。系统结合专家迭代、直接偏好优化和分布式架构,支持复杂定理的高效验证,并与 Lean4 深度集成,确保形式化数学问题的逻辑正确性。适用于数学竞赛题、本科及研究生数学研究等领域,推动了自动定理证明技术的发展。

Context7

Context7 是 Upstash 推出的 AI 编程辅助工具,为 LLM 和 AI 代码编辑器提供最新、版本特定的文档和代码示例。通过解析、丰富、向量化和重新排名等步骤,确保开发者获取准确信息。支持多种开发工具,如 Cursor、Windsurf、Claude Desktop 等,安装配置简单,可显著减少生成错误或过时代码的风险,适合快速更新的框架或小众包使用。

Leffa

Leffa是一种基于注意力机制的可控人物图像生成框架,通过流场学习精确控制人物的外观和姿势。其核心技术包括正则化损失函数、空间一致性及模型无关性,能够在保持细节的同时提升图像质量。Leffa广泛应用于虚拟试穿、增强现实、游戏开发及影视后期制作等领域,展现出卓越的性能与灵活性。