This is how Agda.ai works:

Skip to Videos