Hello and welcome, @htuser!
The integration as you have described it sounds like it exists entirely outside of any of the existing ODK tools. It also sounds like something that you are interested in building yourself. You are more than welcome to do this if you would like. As you have pointed out, all the relevant standards are public.
For examples of somewhat similar types of integrations that exist outside of core ODK tools, see @Enrico_Ferreguti's QGis plugin at QGisODK plugin or @Florian_May's ruODK at Seeking your feedback: ruODK. ODK is designed to focus on the collection of data so those integrations get ODK data out to analysis tools but if for some reason it would be helpful to pull data from other systems into ODK tools, that would be similarly possible.