README.md

This directory contains a variety of different stuff. There are python scripts to do deploys, as well as some code to train proof step scoring models. Future Python projects larger than a few scripts should probably go in a different repo.