Descarga Lean.

Las primeras semanas de cada versión, SmartScreen puede avisar de que Lean es un programa poco descargado todavía. No es un veredicto: es cómo Windows trata a todo binario nuevo hasta que su firma acumula reputación.

La verificación que no depende de la reputación es el hash: comprueba el SHA-256 publicado junto al instalador.

Habrá un canal de prueba y compilaciones internas para quienes quieran usar lo último antes que nadie. Cuando estén, aparecerán aquí, no en otro sitio.