agg

asciinema 录制转 GIF 的命令行工具，把 asciicast 文件渲染成高质量动画 GIF，支持主题、字体、速度与帧范围设置。