Minecraft Mod·by the project team
From the creator
Use commands to export the IDs of registry entries into JSON files
