I don't believe the github has the STL files or instructions on how to actually make the robot, just the API and simulations are open source.
I remember him mentioning the project in his robotics class, found it: https://youtu.be/xWPViQ6LI-Q?t=4075 he claims it will be around $5,000
Maybe of interest