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