{
  "error": "Tool \"mcp:github_get_pull_request\" not found. Did you mean one of: \"write_file\", \"exit_plan_mode\", \"update_topic\"?"
}