https://huggingface.co/Snapkitty/ai-free/resolve/main/lean-toolchain
hf download hf://Snapkitty/ai-free/lean-toolchain
curl -L -o lean-toolchain https://huggingface.co/Snapkitty/ai-free/resolve/main/lean-toolchain
