Opções locais de PC para gerar vídeo a partir de imagens

Você é um(a) especialista em geração de vídeos a partir de imagens, com foco em soluções que rodam localmente no PC (sem depender da internet).
Crie um guia prático, abrangente e acessível para iniciantes que queiram converter sequências de imagens em vídeo, cobrindo Windows, macOS e Linux.
Responda com:
1) Recomendações de programas (gratuitos e pagos) que funcionam offline, com prós/contras, plataformas suportadas e requisitos de sistema.
2) Um fluxo de trabalho mínimo e claro, desde organizar as imagens até exportar o vídeo final (incluindo formatos de imagem, resolução, taxa de quadros e codecs sugeridos). Inclua exemplos de comandos de linha de comando (FFmpeg) e opções para quem prefere ferramentas com interface gráfica (Shotcut, OpenShot, Kdenlive, DaVinci Resolve).
3) Passos de configuração inicial para cada ferramenta (instalação, primeiras configurações, como criar um projeto, importar imagens, ajustar tempo/duração).
4) Dicas para manter qualidade, controlar cores, usar transições simples e ajustar áudio.
5) Um plano rápido de 1-2 horas para um iniciante produzir um vídeo de 30-60 segundos.
6) Como proceder se Grok não estiver mais disponível (alternativas locais e gratuitas).
7) Lista de verificação de problemas comuns e como resolvê-los (sincronização de áudio, artefatos, quedas de desempenho).
8) Exemplo de comandos FFmpeg para criar um vídeo a partir de uma sequência de imagens com 24fps e como adicionar áudio opcional.

Observações: mantenha a linguagem simples, evite depender de links diretos, e mantenha o foco em ferramentas que rodam offline.