{
  "error": "Tool \"github_mcp:get_pull_request\" not found. Did you mean one of: \"list_directory\", \"grep_search\", \"write_file\"?"
}