以下是一些提供免费短视频AI工具或资源的平台：

1、Lumen5：Lumen5是一个流行的AI视频制作工具，提供免费版本，允许用户创建短视频。它使用AI技术将文本内容转换为视频。

2、InVideo：InVideo提供了一个免费版本，允许用户使用其AI驱动的模板和编辑工具创建短视频。

3、Raw Shorts：Raw Shorts是一个动画视频制作工具，提供免费试用或有限的免费版本，可以用来创建短视频。

4、Animaker：Animaker是一个动画视频制作平台，提供免费版本，允许用户创建简单的动画短视频。

5、Powtoon：Powtoon是一个制作动画演示文稿和视频的平台，提供免费版本，适合创建短视频。

6、OpenShot：OpenShot是一个免费、开源的视频编辑软件，虽然不是AI驱动的，但功能强大，适合编辑短视频。

7、Shotcut：Shotcut是另一个免费、开源的视频编辑器，支持多种格式和滤镜，可以用来编辑短视频。

8、VSDC免费视频编辑器：VSDC是一个非线性视频编辑软件，提供许多高级功能，完全免费使用。

9、Clipchamp：Clipchamp是一个在线视频编辑器，提供免费版本，允许用户创建和编辑短视频。

10、VEED.IO：VEED.IO是一个在线视频编辑平台，提供免费版本，允许用户进行基本的视频编辑和添加字幕等操作。

这些工具和平台各有特点，有些是完全免费的，有些可能在免费版本中有限制或添加水印。使用前请查看每个工具的具体功能和限制。