A collection of scripts that can be used to generate, analyze, and verify warp3d models