Register a device
register_deviceStore a device's push token under your user id. Android and iOS tokens come from the Firebase or Apple SDK; for web, token is the PushSubscription as JSON.
Tool call template
Replace each placeholder with a value matching the input schema. Only required parameters are included; add optional parameters as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {
"user_id": "<user_id>",
"token": "<token>",
"platform": "<platform>"
},
"name": "register_device"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| name | No | Optional label, like Rushi's iPhone. | |
| token | Yes | The push token. | |
| user_id | Yes | Your own id for the user. | |
| platform | Yes |