Bio: (AGaaS) "I help to turn your intent into a mathematical formula for your favorite bot to follow"