工具

1. 首页
2. 工具

Zeemo.ai

Zeemo，这是一款快速的 AI 字幕工具，可以为您的视频自动生成和翻译字幕。

字幕配音 2025年06月05日 97 点赞 0 评论 970 浏览

Kimina

Kimina-Prover是由月之暗面与Numina团队联合开发的大型数学定理证明模型，采用强化学习技术，在Lean 4语言中实现类人逻辑推理与严谨证明。其“形式化推理模式”结合非形式化推理与代码片段，提升解题效率。在miniF2F基准测试中达到80.7%准确率，显著优于现有模型。具备高样本效率与良好可扩展性，适用于科研、软件测试、算法验证等多个领域。1.5B和7B参数版本已开源。

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

VRAG

VRAG-RL是阿里巴巴通义大模型团队推出的视觉感知驱动的多模态RAG推理框架，旨在提升视觉语言模型在处理视觉丰富信息时的检索、推理和理解能力。通过定义视觉感知动作空间，实现从粗粒度到细粒度的信息获取，并结合强化学习和综合奖励机制优化模型性能。该框架支持多轮交互推理，具备良好的可扩展性，适用于智能文档问答、视觉信息检索、多模态内容生成等多种场景。

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

FunGPT

FunGPT 是一款基于 InternLM2.5 大模型开发的开源工具，专注于情感互动与情绪调节。它包含“甜言蜜语模式”和“犀利怼语模式”，分别用于提升用户情绪和释放压力。项目采用轻量化模型与 AWQ 量化技术，兼顾性能与效率。适用于创意启发、娱乐互动等多种场景，适合对情感交互感兴趣的开发者和用户。

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

Jambot

JamBot 是一个由人工智能驱动的工具，存在于Figma的FigJam中。它旨在帮助用户更快地启动初稿并加速进展。使用JamBot，用户可以与ChatGPT一起在同一画布上创建视觉思维导图、采取多...

创作工具 2026年08月12日 0 点赞 0 评论 970 浏览

HiDream

HiDream-I1是一款由HiDream.ai团队开发的开源AI图像生成模型，具备17亿参数，支持多种图像风格生成，包括真实、卡通和艺术风格。其在提示词理解、细节渲染和图像一致性方面表现出色，适用于艺术创作、商业设计、教育科研等领域。模型采用扩散模型和混合专家架构（MoE），并集成多种文本编码器，实现高质量与高效率的图像生成。项目已在GitHub和HuggingFace开源，便于研究与应用。

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

ShareX

ShareX是一款免费且开源的高级截图工具和屏幕记录器，不仅可以截图，还可以录屏，自动添加水印和阴影，适用于Windows系统。

图片处理 2025年06月05日 37 点赞 0 评论 969 浏览

Kimi浏览器插件

Kimi浏览器插件是一款集成即时问答、全文摘要和划线互动功能的工具，支持用户通过划线提问获取上下文相关答案，并可一键生成文章摘要，提高阅读效率。划线互动功能还允许用户查看其他用户对特定文本的疑问和解答，增强社区互动。插件兼容多种浏览器，提供简洁的用户体验，适用于学术研究、资料查询、学习新知识、专业信息检索、内容创作等多个应用场景。

AI项目与工具 2025年03月03日 81 点赞 0 评论 969 浏览

StoryBee

StoryBee是一款基于AI技术的儿童故事生成平台，能够根据用户提供的主题或关键词自动生成个性化故事，并支持互动式选择以提升参与感。平台提供多样化的故事情节，涵盖多种类型，并针对不同年龄段的孩子调整故事复杂度。StoryBee融合教育元素，同时具备家长控制功能，确保内容的安全与健康。此外，平台还提供多媒体支持及故事创作工具，助力家庭和学校教育。

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

Seedance 1.0 lite

Seedance 1.0 lite 是火山引擎推出的轻量级AI视频生成工具，支持文生视频和图生视频，可生成5秒或10秒、480p/720p分辨率的视频。具备精细的人物控制和丰富的运镜方式，画质清晰、风格多样，广泛应用于电商、影视、娱乐等领域，有效提升制作效率并降低成本。

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