是的，Android Studio提供了一些用于视频压缩的工具和库。以下是一些常用的工具和库：

1. OpenCV：OpenCV是一个开源计算机视觉库，它可以用于视频压缩。你可以使用OpenCV的VideoWriter类来创建一个视频输出流，然后将视频数据压缩到特定的码率。

2. VideoSaver：VideoSaver是一个Java库，用于Android视频压缩。它提供了多种压缩模式，包括BZ2、LZW和ARLENS。你可以使用VideoSaver的VideoWriter类来创建一个视频输出流，然后将视频数据压缩到特定的码率。

3. libavcodec：libavcodec是一个AVFoundation框架的一部分，它提供了多种音频和视频压缩算法。你可以使用libavcodec的AVFormatContext类来创建一个视频编码器和解码器，然后使用这些类来创建视频输出流和输出流。

4. MediaInfo：MediaInfo是一个用于提取媒体信息的库，包括视频信息。你可以使用MediaInfo的VideoInfo类来提取视频信息，然后使用这些信息来创建视频输出流。

请注意，这些工具和库都有自己的优点和缺点，你需要根据你的需求来选择最适合你的工具和库。