An executable to train goblins for the byron STS rules of `cardano-ledger-specs` - View it on GitHub