Unless jarvis comes from something older. Jarvis may be a computer name from early scifi. Disney might not own it any more than they do "Thor".

Named after Edwin Jarvis, Tony Stark’s butler in the comics.

https://en.wikipedia.org/wiki/Edwin_Jarvis

Thats how disney uses the name. It might be prior art in some other work. For instance, light sabers are not owned by disney because they were a very old scifi concept. So today, anyone can make and sell lightsabers without issue. Jarvis might also have deeper history than comic bookes. Most comics book characters and names do.

Ex. Gothem and Arkham are not owned by batman, or whoever owns batman today. They were taken from prior works. Arkham comes from Lovecraft. Even the concept of Arkham as an asylum first appeared in lovecraft. "Gothem" famously came from a jewelery store ad. Technically, anyone is free to write about an Arkham Asylum in a city called Gothem without ever asking batman for permission.

Clearly it's a reference to seminal Two Cities character Jarvis Lorry: https://en.wikipedia.org/wiki/Jarvis_Lorry

Jarvis is just a real English name. Lots of people named Jarvis. Jarvis Cocker and Jarvis Landry off the top of my head.

They sent a C&D to the proprietors of Jarvis.ai, which was taken sufficiently seriously for them to rename their company (for the second time in 6 months).

I do hope they rename it, if at least for SEO reasons. It's such a PITA to search for right now.