Favz: JetBrains/educational-plugin agent setuphttps://favz.co/repos/jetbrains/educational-plugin.htmlMCP servers, skills and plugins added to or removed from JetBrains/educational-plugin.