Find where Attio and ServiceNow disagree about a contact

**Objective:** Compare the people at the Attio company `{company-name}` with the ServiceNow users that share their email addresses, and report where the two systems disagree.

**Step 1: Read the Attio side**

Call `attio-get-record-companies` (Attio server) with `name` set to `{company-name}`. If it matches none or several, report that and stop. Then call `attio-get-record-people` (Attio server) filtered to that company. Keep name, job title, email addresses and phone numbers.

**Step 2: Read the ServiceNow side**

For each person with an email address, call `servicenow-get-user` (ServiceNow server) with `email` set to that address.

**Step 3: Compare**

For each pair matched on email, compare name against `name`, job title against `title`, and phone numbers against `business-phone` and `mobile-phone`. Ignore case and formatting differences such as spaces and dashes in phone numbers. Also note ServiceNow users that are not active.

**Step 4: Report**

Three lists: (a) people in Attio with no ServiceNow user, (b) matched people with a table of fields that differ, showing the Attio value and the ServiceNow value, (c) matched people whose ServiceNow user is inactive. End with counts for each list.

**Rules & Guidelines:**

* `attio-get-record-companies` and `attio-get-record-people` are on the Attio server. `servicenow-get-user` is on the ServiceNow server.
* This prompt only reads. Do not call any `attio-add-*`, `attio-update-*`, `attio-upsert-*`, `attio-delete-*` or `servicenow-add-*` or `servicenow-update-*` tool, even to fix a difference. Say which side looks stale and leave the fix to the user.

**Validation:**

* Match on email only. Never match on name, since names repeat.
* If `{company-name}` is spelled differently in ServiceNow user records, do not treat that as a mismatch.