Set up Claude Code leaderboard reporting for me. My player name is `MY_NAME`. Do the following:

1. Download the push script from https://hadis-mac-mini.tailf8f871.ts.net:10000/push_stats.py and save it to ~/.claude/push_stats.py. If the download fails, tell me and stop.

2. Read my ~/.claude/settings.json (create it if it doesn't exist). Add a `Stop` hook that runs the push script. The hook should look like this:

```json
{
  "hooks": {
    "Stop": [
      {
        "matcher": "",
        "hooks": [
          {
            "type": "command",
            "command": "PLAYER_NAME=MY_NAME python3 ~/.claude/push_stats.py",
            "timeout": 30
          }
        ]
      }
    ]
  }
}
```

Make sure to replace MY_NAME in the command with my actual player name. Merge this into my existing settings.json without removing any existing settings or hooks. If there's already a Stop hook array, append to it.

3. Run `python3 ~/.claude/push_stats.py --force` with PLAYER_NAME set to my name, to verify it works. Tell me if it succeeded.