It's good.
Please follow this guide to set up devkitPro.
git clone https://github.com/yak9909/AnimalBytes.git
cd AnimalBytes
make
To send to your 3DS's SD card, create a file named sendpost.txt
and write the local IP address of your 3DS, then run send.py
.