A while back I posted about a timing belt pulley generator I made.
I knew there was one online for gt2 belts but I couldn’t find it anymore.
But here it is it can generate GCode and DXF’s for timing belts.
https://avtehnik.github.io/gt2-gear-genaretor/