clone/codex
1
0
Fork 0
mirror of https://github.com/openai/codex.git synced 2026-04-29 08:56:38 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add alarm tool

Browse Source
This commit is contained in:
Eric Traut
2026-04-06 22:17:12 -07:00
parent 24c598e8a9
commit 450de1307c
67 changed files with 4704 additions and 41 deletions
Download Patch File Download Diff File Expand all files Collapse all files

179
codex-rs/app-server-protocol/schema/json/ServerNotification.json
View File

@@ -90,6 +90,70 @@
"AgentPath": {
"type": "string"
},
"AlarmDelivery": {
"enum": [
"after-turn",
"steer-current-turn"
],
"type": "string"
},
"AlarmTrigger": {
"oneOf": [
{
"properties": {
"kind": {
"enum": [
"delay"
],
"type": "string"
},
"repeat": {
"type": [
"boolean",
"null"
]
},
"seconds": {
"format": "uint64",
"minimum": 0.0,
"type": "integer"
}
},
"required": [
"kind",
"seconds"
],
"type": "object"
},
{
"properties": {
"dtstart": {
"type": [
"string",
"null"
]
},
"kind": {
"enum": [
"schedule"
],
"type": "string"
},
"rrule": {
"type": [
"string",
"null"
]
}
},
"required": [
"kind"
],
"title": "KindAlarmTrigger",
"type": "object"
}
]
},
"AppBranding": {
"description": "EXPERIMENTAL - app metadata returned by app-list APIs.",
"properties": {
@@ -2519,6 +2583,81 @@
],
"type": "string"
},
"ThreadAlarm": {
"properties": {
"createdAt": {
"format": "int64",
"type": "integer"
},
"delivery": {
"$ref": "#/definitions/AlarmDelivery"
},
"id": {
"type": "string"
},
"lastRunAt": {
"format": "int64",
"type": [
"integer",
"null"
]
},
"nextRunAt": {
"format": "int64",
"type": [
"integer",
"null"
]
},
"prompt": {
"type": "string"
},
"trigger": {
"$ref": "#/definitions/AlarmTrigger"
}
},
"required": [
"createdAt",
"delivery",
"id",
"prompt",
"trigger"
],
"type": "object"
},
"ThreadAlarmFiredNotification": {
"properties": {
"alarm": {
"$ref": "#/definitions/ThreadAlarm"
},
"threadId": {
"type": "string"
}
},
"required": [
"alarm",
"threadId"
],
"type": "object"
},
"ThreadAlarmUpdatedNotification": {
"properties": {
"alarms": {
"items": {
"$ref": "#/definitions/ThreadAlarm"
},
"type": "array"
},
"threadId": {
"type": "string"
}
},
"required": [
"alarms",
"threadId"
],
"type": "object"
},
"ThreadArchivedNotification": {
"properties": {
"threadId": {
@@ -4163,6 +4302,46 @@
"title": "Thread/name/updatedNotification",
"type": "object"
},
{
"properties": {
"method": {
"enum": [
"thread/alarm/updated"
],
"title": "Thread/alarm/updatedNotificationMethod",
"type": "string"
},
"params": {
"$ref": "#/definitions/ThreadAlarmUpdatedNotification"
}
},
"required": [
"method",
"params"
],
"title": "Thread/alarm/updatedNotification",
"type": "object"
},
{
"properties": {
"method": {
"enum": [
"thread/alarm/fired"
],
"title": "Thread/alarm/firedNotificationMethod",
"type": "string"
},
"params": {
"$ref": "#/definitions/ThreadAlarmFiredNotification"
}
},
"required": [
"method",
"params"
],
"title": "Thread/alarm/firedNotification",
"type": "object"
},
{
"properties": {
"method": {