Sora wo Kakeru Shoujo

The story is set in the year 311 of the Orbital Calendar, when humanity has migrated to countless colony clusters in space. A space colony girl named Akiha Shishidou encounters a malevolent artificial intelligence named Leopard that has been installed on a colony. Akiha is joined by an Inter-Colony Police officer named Itsuki Kannagi, a taciturn young girl named Honoka Kawai, and a robot named Imoko "Imo-chan" Shishidou. (Source: AniDB)In the year 311 of the orbital calendar, humanity has migrated to countless colony clusters in space. Akiha Shishido encounters a malevolent artificial intelligence, Leopard, who has been installed on a colony.