Pushinator logo

Pushinator

Pushinator provides push notification channels for sending real-time alerts to subscribed users and devices.

7 actions Integration catalog
Request access
Connect Pushinator once you're in Boring.
01 · WHAT THE AGENT CAN DO

Actions

Every capability is a discrete, logged action the agent calls by name — scoped to what you authorize and recorded in the run trace.

Create ChannelPUSHINATOR_CREATE_CHANNEL
Create a Pushinator notification channel and return its channel ID and properties.
Delete ChannelPUSHINATOR_DELETE_CHANNEL
Permanently delete a Pushinator notification channel by ID. This is destructive and removes the channel from subsequent reads and lists.
Get ChannelPUSHINATOR_GET_CHANNEL
Get one Pushinator notification channel by its channel ID.
Get Current UserPUSHINATOR_GET_CURRENT_USER
Return the Pushinator user associated with the connected API key. Use this to identify the connected account or verify that its credentials work.
List ChannelsPUSHINATOR_LIST_CHANNELS
List every notification channel belonging to the connected Pushinator account. Use a returned channel ID with get, update, delete, or send-notification tools.
Send NotificationPUSHINATOR_SEND_NOTIFICATION
Send a push notification immediately to all subscribers of a Pushinator channel. This is an externally visible, irreversible action that may consume the account's monthly notification quota. The operation is provider-documented, but a successful send, delivery, quota use, acknowledgment behavior, and tier boundaries were not live-verified.
Update ChannelPUSHINATOR_UPDATE_CHANNEL
Replace the editable name and optional description of an existing Pushinator notification channel.