Leaderboard Operations v3

This tool manages a leaderboard work board by logging player scores, fetching sorted leaderboard rankings, or resetting the leaderboard state. It accepts the following inputs: operation (log_score, fetch_leaderboard, reset_board), board_name (optional board identifier; default Leaderboard_DB), player_id (required when operation=log_score), score (numeric score required when operation=log_score), and metadata (optional JSON string payload with additional player score metadata that must be valid JSON and is treated as authoritative when present). The tool uses these inputs to drive interactions with underlying work board cards in the Scores column for persistence, ranking, and archival behavior. The output of this tool must strictly validate against the system-provided structured output schema (auto-produced and referenced by schemaArtifactId) and must not introduce extra keys, missing required fields, or incorrect types.