If you read them, the skills are completely different (with the Jane Street skill being more complex). Socratic questioning [0] is a well-known technique. Indeed, a Github search returns 92 repositories for "socratic tutor skill" [1], suggesting that the well-known technique has been added to LLM tools independently by many people.
[0]: https://en.wikipedia.org/wiki/Socratic_questioning
[1]: https://github.com/search?q=socratic+tutor+skill&type=reposi...