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