interactive-study-guide | formal-verify | ClaudePluginHub