Coloque el ajo en el Thermomix y pique durante 5 segundos a velocidad 7.
Agregue los aguacates, el jugo de limón, la cebolla roja picada, el cilantro picado y la sal al Thermomix.
Mezcle durante 10 segundos a velocidad 4. Para un guacamole más suave, mezcle durante unos segundos adicionales.
Sirva inmediatamente o guarde en el refrigerador hasta que esté listo para servir.
Notas
Si prefieres un guacamole más picante, puedes agregar un jalapeño sin semillas a la receta. Solo asegúrate de picarlo en el Thermomix junto con el ajo.