agent-telemetry | formal-verify | ClaudePluginHub