A Socratic Python tutor powered by my Zettelkasten notes.