import mlx_lm


def main():
    hf_path = "Goedel-LM/Goedel-Code-Prover-8B"
    mlx_path = f"output/{hf_path}-mlx-group_size32-mode_mxfp8"

    mlx_lm.convert(
        hf_path=hf_path,
        mlx_path=mlx_path,
        quantize=True,
        q_group_size=32,
        q_mode="mxfp8",
    )

if __name__ == "__main__":
    main()