工具

1. 首页
2. 工具

Wan2.1

Wan2.1是阿里云推出的开源AI视频生成模型，支持文生视频与图生视频，具备复杂运动生成和物理模拟能力。采用因果3D VAE与视频Diffusion Transformer架构，性能卓越，尤其在Vbench评测中表现领先。提供专业版与极速版，适应不同场景需求，已开源并支持多种框架，便于开发与研究。

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

BFS

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

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

ChildMandarin

ChildMandarin是由智源研究院与南开大学合作开发的3-5岁儿童普通话语音数据集，包含41.25小时高质量语音，覆盖全国22个省市。数据通过家长引导式对话采集，保证自然真实。该数据集支持语音识别、说话人验证和语言研究，适用于儿童语言学习、教育系统、智能玩具和语音助手优化等领域，为儿童语音技术研究提供重要资源。

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

VoiceDub

VoiceDub 是一款AI驱动的音频处理平台，支持人声替换、声音克隆、文本转语音及音频分离等功能，提供超过10,000种AI人声音色。用户可通过平台进行音乐创作、有声内容制作及个性化音频生成，适用于多种应用场景，如语言学习、娱乐互动等。

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

MakeLanding

一款AI驱动的网站生成器与Ai建站工具，MakeLanding允许用户在几秒钟内创建登陆页面，无需开发人员或设计师。

Ai编程建站 2025年06月05日 86 点赞 0 评论 608 浏览

Context7

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

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

筑绘通AlphaDraw

筑绘通AlphaDraw是面向工程领域的新一代智能设计平台。 它嵌入包含行业标准数据、规范要求、工程经验及常用做法的知识库，同时搭配强大的工程设计智能生成算法，实现绘图10倍提效。

AI服务商 2025年06月05日 71 点赞 0 评论 608 浏览

Nero AI Image Upscaler

Nero AI Image Upscaler是Nero软件公司开发的一款由AI驱动的无损放大图像工具，可以在几秒钟内自动提升图像的等级。

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

Insight

Insight-V是一款由南洋理工大学、腾讯和清华大学联合研发的多模态大型语言模型，专为提升长链视觉推理能力而设计。该模型通过多智能体系统将任务分解为推理与总结两步，并采用两阶段训练流程优化性能。其渐进式数据生成和多粒度评估方法进一步提升了模型的推理精度，在多个视觉推理基准测试中表现出色。

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

DeckSpeed

DeckSpeed是一款基于AI的智能演示文稿生成工具，通过自然语言交互实现个性化内容创作。用户可实时调整设计元素，无需依赖模板，提升制作效率与灵活性。适用于商业、教育、学术、产品推广等多个领域，满足多样化的演示需求。

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