agent-changelog | formal-verify | ClaudePluginHub