GitHub Hot Board

Each tool targets a distinct artifact: metadata about boards (list_boards), board contents (get_board), rank-change subset (get_board_movers), single repo metadata (get_repo), repo time series (get_repo_history), and keyword lookup (search_library). The main friction is between get_board and get_board_movers, which are the same underlying board data sliced differently and could be mistaken for one another; get_repo vs search_library also overlap slightly for exact-name lookups, though the descriptions clarify.

All names are snake_case with a clear verb_noun shape (get_board, get_repo_history, list_boards, search_library). The verbs map predictably to intent: get_ for single-resource fetch, list_ for enumeration, search_ for query. No camelCase or mixed-convention outliers.

Six tools is a tight, well-scoped surface for a read-only leaderboard dataset, and each tool earns its place (board listing, board rows, movers, repo record, repo history, search). Nothing is redundant enough to cut, and nothing extra is bolted on.

The read-only domain is covered end to end: discover boards, read a board, read movers, look up a repo, chart its history, search the library. Minor gaps remain — no pagination/limit or language-filter parameters mentioned on get_board/get_board_movers, and no way to list all repos for a given owner — but agents can work around these via search_library and repeated calls.