I also really like the name Anansi which is a figure from African folklore that typically takes the form of a spider and is the “spirit of all knowledge”
I know i might be a bit late here, but i think
"Ximena" would be a good name as its an old Spanish girls name that means, the one who hears/listens as since shes the ships AI she will be listening to their commands.
What do you guys think?