Introducing StringTheoryPRO