Algebraization of formal moduli: I | AMiner