The above script runs full DRC in magic on a .mag or .gds file and dumps a text output of all the DRC error types and a list of rectangle coordinates in microns. It is designed for an open_pdks installation but can work with any setup that has the magic tech file and startup script for sky130. It probably can use a little refinement with extra options to specify the location of things. At any rate, it should be easy enough to adapt it for use with a PDK CI.

Thank you Tim, that will really help!