Would it then interest you to know that the build process for v2 ships a hammerspoon.d.ts with the app? :)