A repo containing the build pipeline, libraries, and types required for a 3rd party to build a Minecraft Editor Extension - View it on GitHub