leaderboard: add Metrics tab/page + report deep-links 28e0081 Michael Rabinovich Cursor commited on 4 days ago
