The preprint version has the appendices which document the tool.

https://arxiv.org/abs/2211.01473