工具

Rabbithole

Rabbithole 是一款基于AI的互动式知识探索工具,通过自然语言对话帮助用户深入了解历史事件和主题。平台支持对话记录保存、个性化内容推荐以及多样化的历史话题库,适用于历史爱好者、学生、教师及研究人员等多种用户群体,提升学习效率与知识获取深度。

水印一键去去去

一个免费在线的去水印工具,它使用人工智能技术,支持批量去除图片中的文字、标志,多余物体等多种水印,不压画质,保证高质不糊图。

在线改图

在线改图,一款不需要注册,直接免费使用的简便在线图片编辑工具,并且注重隐私保护,不上传您的图片。

creatify

Creatify是一款由人工智能驱动的视频广告制作平台,支持根据产品信息自动生成高质量营销视频。其主要功能包括自动视频生成、AI脚本创作、多样化模板选择、动态特效设计及多语言支持。Creatify适用于电商、品牌推广、教育培训等多种场景,帮助用户高效制作专业视频广告,降低时间和成本投入。

AITDK

AITDK是一款集成了多种AI驱动功能的工具平台,涵盖标题生成器、描述生成器、关键词生成器、特性生成器、常见问题解答生成器及用户评价生成器等模块,致力于帮助企业高效创建高质量、搜索引擎友好的内容,同时促进用户交互与品牌信任建设,广泛适用于网站优化、内容创作、产品推广及客户服务等多个领域。

Kimina

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

YT Navigator

YT Navigator 是一款基于 AI 的 YouTube 内容检索工具,支持自然语言查询、语义搜索和视频内容交互。用户可快速定位视频片段并获取时间戳,提升信息获取效率。适用于研究、学习、创作和分析等场景,具备频道管理、安全会话等功能。采用向量嵌入与 BM25 算法结合的搜索机制,提高搜索准确率,项目已开源。

MealPlanner

MealPlanner 是一款基于 AI 的个性化餐饮规划工具,可根据用户饮食偏好、过敏情况和特殊需求生成定制化食谱和购物清单。用户可通过聊天方式与 AI 助手互动,获取详细烹饪指导,优化家庭餐饮管理,提升健康水平并节省时间和开支。

Thekeys

你知道你想说什么,你只是不知...

Visual Electric

一款基于 AI 的图像生成器,专为创意而设计。它提供了无限的画布和直观的界面,以简化用户的创作过程。