Really nice job, the emphasis on local+live execution is much appreciated.
I’ve spent some time working on something like this and ended up in a Turing tarpit, I hope you are able to avoid that fate.
The questions I let myself avoid for too long was, who is my user, and what are they trying to accomplish? How technical are they?
Once I answered those (on year 2, after running out of money) I built the same capabilities into a very different offering. Still with the goals of local, live, executable docs, but you wouldn’t recognize it.