What I'm thinking is exactly something pedagogical, an app that shows you the passages with explanations on why and what rule was applied, with different rules

What I'm thinking is exactly something pedagogical, an app that shows you the passages with explanations on why and what rule was applied, with different rules for granularity. I know it's not an easy app to implement, maybe I'm too naive but I think I have an idea how to do it, applying some knowledge I have in AI as well as math. To me the kind of exercises you do in high school have always been easy to solve, seeming mechanical and algorithmical and suited to computers. During university I worked with theorem provers too, that seem to me much more complicated programs than this, giving me a sense of feasibility. Maybe I'm just mistaken, but I would like to give it a try. I don't understand why or how educators could oppose the idea, since it would be something that students would use at home to do homework. I'm thinking about an easy interface, so few people will be cut out and I'm thinking about a low price point, so I hope I will not cut out poor people. My aim is education, but I understand that it could be used for cheating too. But cheaters find ways to cheat anyway (this has always has amused me, they are really creative on this), they are not my target.