Hello, the spine-libgdx runtime has the spineboy-pro.json and spineboy-pro.skel files in the spine-libgdx/spine-libgdx-tests/assets/spineboy folder, alongside the Essential versions in the same folder.
If you have the entire spine-runtimes repository cloned to your machine with a Git client (such as Fork, SmartGit, Sublime Merge, etc.), you can also see the Spine Professional assets in the examples/spineboy folder.