Oh wow, you just sent me down a really intriguing path. I was not familiar with IFC, but looking more into that now. No, it does not look like their repo [0] has IFC files, but I don't imagine it would be that difficult to export the additional needed file information.
[0] https://github.com/wikihouseproject/Skylark/tree/main/SKYLAR...