오파츠 '싯딤의 상자'의 OS인 프라나가 마법소녀가 되어 실체화된 모습

샬레의 선생이 악의 조직에게 납치당할 때 또 다른 OS인 아로나가 미완성 상태인 마법소녀 변신 시스템을 프라나에게 긴급 적용하여 마법소녀로 만들고 탈출 시켰다

마법소녀 프라나는 변신 시스템이 미완성인 것도 있지만, 애초에 AI이기 때문에 마법소녀 적성이 현저히 낮아 조직의 일반 전투원을 상대로도 승리를 장담하기 어렵다

따라서 현재 마법소녀 프라나의 목표는 크게 두 가지

미완성 상태인 마법소녀 변신 시스템을 완성하는 것과

마법소녀의 적성을 가진 다른 여학생을 찾아 악의 조직에게 대항할 마법소녀로 만드는 것이다