uml-modeling | formal-specification | ClaudePluginHub