import machine 
from machine import Pin

ledRojo = Pin(12, Pin.OUT)
boton = Pin(2, Pin.IN)

while True:
    valor = boton.value()
    ledRojo.value(valor)