工具

1. 首页
2. 工具

Vizard AI

一款在将长视频转换为适合TikTok、Instagram Reels 和 YouTube Shorts 等社交媒体平台短片的AI视频编辑平台。Vizard AI实现了编辑过程的自动化，帮助用户轻松创建社交媒体内容。

Ai视频生成 2025年06月05日 76 点赞 0 评论 479 浏览

青梧字幕

青梧字幕是一款基于AI语音识别技术的字幕提取工具，能够从视频中精准提取语音内容并生成时间轴字幕。支持多语言识别、多格式导出及多语种翻译，适用于视频创作者、外语学习者及字幕团队。所有数据处理在本地完成，保障隐私安全，兼容Windows和MacOS系统，提升字幕制作效率。

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

Gamma PPT生成工具

Gamma 是幻灯片的替代品 - 一种快速、简单的方式来分享和展示您的作品。创建易于现场讨论或异步共享的引人入胜的演示文稿、备忘录、简报和文档。全部在您的浏览器中，无需下载或安装。

Ai办公效率 2025年06月05日 39 点赞 0 评论 479 浏览

BFS

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

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

AddressCLIP

AddressCLIP 是一种基于 CLIP 技术的端到端图像地理定位模型，由中科院自动化所与阿里云联合开发。它通过图像与地址文本对齐和地理匹配技术，实现街道级别的精确定位，无需依赖 GPS。模型在多个数据集上表现优异，适用于城市管理、社交媒体、旅游导航等多个场景，具备良好的灵活性和多模态结合潜力。

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

BetterBugs

BetterBugs是一款基于Chrome浏览器的扩展工具，通过一键式屏幕捕获、屏幕录制和自动技术信息收集等功能，帮助用户高效生成详细的bug报告。它支持与多种项目管理和沟通工具集成，适用于软件开发、质量保证、项目管理和客户支持等多个场景，旨在提升团队协作效率和问题解决速度。

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

MyMemo

MyMemo是一款基于AI技术的智能工具，主要功能包括文件转换、一站式数字空间管理、AI聊天功能、全球标准合规以及安全存储。它能够将用户上传的各种文件（如TXT、PDF、Word文档）转化为精炼的报告和文章，并提供统一的平台来整理和管理数字内容。此外，MyMemo还通过AI聊天功能帮助用户轻松访问和检索数据，并严格遵守国际数据保护法规以确保用户数据的安全。适用于研究人员、学者、作家、内容创作者、企

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

车马通视频下载

全网短视频去水印，抖音快手在线视频解析，去水印工具,去水印软件

影视资源 2025年06月05日 75 点赞 0 评论 480 浏览

Aicolors

AI Colors，人工智能生成界面配色方案。

调色配色 2025年06月05日 59 点赞 0 评论 480 浏览

artflow

Artflow 是一款利用人工智能技术打造的动画创作工具，用户只需输入文本便能生成包含剧情的动画视频。它支持动画合成、AI 角色生成及视频制作，涵盖多种语言与视觉风格选项，适合教育、营销、娱乐等多个领域应用，帮助用户实现高效且个性化的创意输出。

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