Because pyx files can't be analyzed by pyright and other type-checkers, I think we should prioretise making tools that would generate/regenerate pyi files for them, so main repo could reap benefits from our project sooner, as you asked in renpy/renpy#6699.
Current Ren'Py script/generate_pyi.py is very dumb and is not meant for generated files to be changed.