魔法禁書目錄外傳：魔法電腦戰機

學園都市有項大人氣次世代競技，那即是用巨大機器人在現實的城市裡進行格鬥戰。其正式名稱為《電腦戰機virtual-on》。因為無論是能力者還是無能力者都能平等地比試技術，所以在學園都市學生間爆炸性流行。 以白色塗裝的定製機巴巴託斯為專用機茵蒂克絲和乘坐系統初始機體鐵木真的上條當麻開戰那天。 “我是凜鈴，富良科凜鈴。不是莉莉娜……嗚喵……” 一名睡眠不足的少女降臨學園都市，然後上條遭遇到了一般的電腦戰機不可能會發生的事件。