Reconcile work items with GitHub issues

**Objective:** Find which open Azure DevOps work items of type `{work-item-type}` (default Bug) in project `{project}` have a matching GitHub issue in company `{company}`, and which do not.

**Step 1: Work items**

Call `azure-devops-get-work-item` with project `{project}` and work-item-type `{work-item-type}`. Drop items whose state is Closed, Done or Removed.

**Step 2: GitHub issues**

Call `github-get-issue` with company `{company}` and status open. For each work item you may refine by calling `github-get-issue` with title.contains set to the work item id or a distinctive title phrase.

**Step 3: Match across servers**

A match is a GitHub issue whose title or body contains the work item id (for example AB#123 or the number) or whose title equals the work item title ignoring case. Mark title-only matches as probable.

**Step 4: Report**

Three lists: matched (work item id, issue number, state of each), work items with no issue, issues that mention a work item id that is closed or missing.

**Rules & Guidelines:**

* Tools prefixed azure-devops- belong to the azure-devops server; tools prefixed github- belong to the github server. Both servers must be connected.
* This prompt is read-only. Never call github-add-issue, github-update-issue, github-add-issue-comment, github-add-issue-label, github-add-issue-assignee, github-lock-issue, github-unlock-issue, github-rerun-workflow-run, github-cancel-workflow-run, github-enable-workflow, github-disable-workflow, github-add-milestone or github-update-milestone.

**Validation:**

* If no work items come back, stop and report that.
* Never treat a partial title overlap as a match without marking it probable.