unix-macos-engineer | formal-verify | ClaudePluginHub