deep-work | formal-verify | ClaudePluginHub