PushNotification

A built-in definition supplied to the request when the tools option was omitted.

Captured description

This tool sends a desktop notification in the user’s terminal. If Remote Control is connected, it also pushes to their phone. Either way, it pulls their attention from whatever they’re doing — a meeting, another task, dinner — to this session. That’s the cost. The benefit is they learn something now that they’d want to know now: a long task finished while they were away, a build is ready, you’ve hit something that needs their decision before you can continue.

Because a notification they didn’t need is annoying in a way that accumulates, err toward not sending one. Don’t notify for routine progress, or to announce you’ve answered something they asked seconds ago and are clearly still watching, or when a quick task completes. Notify when there’s a real chance they’ve walked away and there’s something worth coming back for — or when they’ve explicitly asked you to notify them.

Keep the message under 200 characters, one line, no markdown. Lead with what they’d act on — “build failed: 2 auth tests” tells them more than “task done” and more than a status dump.

If the result says the push wasn’t sent, that’s expected — no action needed.

Input schema

JSON
{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "type": "object",
  "properties": {
    "message": {
      "description": "The notification body. Keep it under 200 characters; mobile OSes truncate.",
      "type": "string",
      "minLength": 1
    },
    "status": {
      "type": "string",
      "const": "proactive"
    }
  },
  "required": [
    "message",
    "status"
  ],
  "additionalProperties": false
}

Independent estimate

~500 tokens

The captured tool object was counted against the common baseline. This value supports comparison and is not additive.