chore: update leaderboard for PR #497

github-actions[bot] · github-actions[bot] · commit 54268959e2fa · 2026-05-20T16:55:31.000Z
diff --git a/leaderboard.json b/leaderboard.json
@@ -180,5 +180,6 @@
   "Minaka360": 2,
   "khuongsatou": 1,
   "d1narim": 1,
-  "ar-amk": 1
+  "ar-amk": 1,
+  "solosofi": 1
 }
