A small tool which fixes the issue of wally thunks not including exported types, necessary for proper Luau type checking support.
The tool takes in a path to a Packages folder, as well as a path to a generated sourcemap, and attempts to retrieve the relevant types and append them to the top of the package thunk
Install your wally packages
wally install
Generate a sourcemap (Rojo 7.1.0+) using
rojo sourcemap default.project.json --output sourcemap.json
then run
wally-package-types --sourcemap sourcemap.json Packages/