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

Add timer tool

Browse Source
This commit is contained in:
Eric Traut
2026-04-07 18:50:46 -07:00
parent 600c3e49e0
commit 2f0a7c0c90
68 changed files with 5292 additions and 42 deletions
Download Patch File Download Diff File Expand all files Collapse all files

183
codex-rs/app-server-protocol/schema/json/codex_app_server_protocol.v2.schemas.json
View File

@@ -8673,6 +8673,46 @@
"title": "Thread/name/updatedNotification",
"type": "object"
},
{
"properties": {
"method": {
"enum": [
"thread/timer/updated"
],
"title": "Thread/timer/updatedNotificationMethod",
"type": "string"
},
"params": {
"$ref": "#/definitions/ThreadTimerUpdatedNotification"
}
},
"required": [
"method",
"params"
],
"title": "Thread/timer/updatedNotification",
"type": "object"
},
{
"properties": {
"method": {
"enum": [
"thread/timer/fired"
],
"title": "Thread/timer/firedNotificationMethod",
"type": "string"
},
"params": {
"$ref": "#/definitions/ThreadTimerFiredNotification"
}
},
"required": [
"method",
"params"
],
"title": "Thread/timer/firedNotification",
"type": "object"
},
{
"properties": {
"method": {
@@ -12194,6 +12234,85 @@
"title": "ThreadStatusChangedNotification",
"type": "object"
},
"ThreadTimer": {
"properties": {
"createdAt": {
"format": "int64",
"type": "integer"
},
"delivery": {
"$ref": "#/definitions/TimerDelivery"
},
"id": {
"type": "string"
},
"lastRunAt": {
"format": "int64",
"type": [
"integer",
"null"
]
},
"nextRunAt": {
"format": "int64",
"type": [
"integer",
"null"
]
},
"prompt": {
"type": "string"
},
"trigger": {
"$ref": "#/definitions/TimerTrigger"
}
},
"required": [
"createdAt",
"delivery",
"id",
"prompt",
"trigger"
],
"type": "object"
},
"ThreadTimerFiredNotification": {
"$schema": "http://json-schema.org/draft-07/schema#",
"properties": {
"threadId": {
"type": "string"
},
"timer": {
"$ref": "#/definitions/ThreadTimer"
}
},
"required": [
"threadId",
"timer"
],
"title": "ThreadTimerFiredNotification",
"type": "object"
},
"ThreadTimerUpdatedNotification": {
"$schema": "http://json-schema.org/draft-07/schema#",
"properties": {
"threadId": {
"type": "string"
},
"timers": {
"items": {
"$ref": "#/definitions/ThreadTimer"
},
"type": "array"
}
},
"required": [
"threadId",
"timers"
],
"title": "ThreadTimerUpdatedNotification",
"type": "object"
},
"ThreadTokenUsage": {
"properties": {
"last": {
@@ -12310,6 +12429,70 @@
],
"type": "string"
},
"TimerDelivery": {
"enum": [
"after-turn",
"steer-current-turn"
],
"type": "string"
},
"TimerTrigger": {
"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": "KindTimerTrigger",
"type": "object"
}
]
},
"TokenUsageBreakdown": {
"properties": {
"cachedInputTokens": {