from machine import Pin, PWM, ADC
from time import sleep

serv = PWM(Pin(12), 50)
pot = ADC(Pin(13))

while True:
    a = 25 + int(pot.read()/4095*100)
    serv.duty(a)