Hello anyone knows the tool list this community follows for HLS to GDS flow for SKY130?

I would check out this: https://github.com/google/xls a team won the AI generated design competition with DSLX as a frontend last year:

There are a number of high-level synthesis methods out there, and a number of them have been used on designs. The Caravel processor core was generated with LiteX, for example. It takes a bit of effort to poke through all the public Open MPW and ChipIgnite designs and figure out who used what HLS; hopefully a few of those groups can pipe up here and explain what they did.