即将离开智狐AI导航，请注意账号财产安全

https://github.com/Goedel-LM/Goedel-Prover