|
@@ -22,15 +22,18 @@ export type Event =
|
|
|
| ({
|
|
| ({
|
|
|
type: "storage.write"
|
|
type: "storage.write"
|
|
|
} & EventStorageWrite)
|
|
} & EventStorageWrite)
|
|
|
|
|
+ | ({
|
|
|
|
|
+ type: "file.edited"
|
|
|
|
|
+ } & EventFileEdited)
|
|
|
|
|
+ | ({
|
|
|
|
|
+ type: "server.connected"
|
|
|
|
|
+ } & EventServerConnected)
|
|
|
| ({
|
|
| ({
|
|
|
type: "permission.updated"
|
|
type: "permission.updated"
|
|
|
} & EventPermissionUpdated)
|
|
} & EventPermissionUpdated)
|
|
|
| ({
|
|
| ({
|
|
|
type: "permission.replied"
|
|
type: "permission.replied"
|
|
|
} & EventPermissionReplied)
|
|
} & EventPermissionReplied)
|
|
|
- | ({
|
|
|
|
|
- type: "file.edited"
|
|
|
|
|
- } & EventFileEdited)
|
|
|
|
|
| ({
|
|
| ({
|
|
|
type: "session.updated"
|
|
type: "session.updated"
|
|
|
} & EventSessionUpdated)
|
|
} & EventSessionUpdated)
|
|
@@ -43,9 +46,6 @@ export type Event =
|
|
|
| ({
|
|
| ({
|
|
|
type: "session.error"
|
|
type: "session.error"
|
|
|
} & EventSessionError)
|
|
} & EventSessionError)
|
|
|
- | ({
|
|
|
|
|
- type: "server.connected"
|
|
|
|
|
- } & EventServerConnected)
|
|
|
|
|
| ({
|
|
| ({
|
|
|
type: "file.watcher.updated"
|
|
type: "file.watcher.updated"
|
|
|
} & EventFileWatcherUpdated)
|
|
} & EventFileWatcherUpdated)
|
|
@@ -425,6 +425,20 @@ export type EventStorageWrite = {
|
|
|
}
|
|
}
|
|
|
}
|
|
}
|
|
|
|
|
|
|
|
|
|
+export type EventFileEdited = {
|
|
|
|
|
+ type: string
|
|
|
|
|
+ properties: {
|
|
|
|
|
+ file: string
|
|
|
|
|
+ }
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
|
|
+export type EventServerConnected = {
|
|
|
|
|
+ type: string
|
|
|
|
|
+ properties: {
|
|
|
|
|
+ [key: string]: unknown
|
|
|
|
|
+ }
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
export type EventPermissionUpdated = {
|
|
export type EventPermissionUpdated = {
|
|
|
type: string
|
|
type: string
|
|
|
properties: Permission
|
|
properties: Permission
|
|
@@ -455,13 +469,6 @@ export type EventPermissionReplied = {
|
|
|
}
|
|
}
|
|
|
}
|
|
}
|
|
|
|
|
|
|
|
-export type EventFileEdited = {
|
|
|
|
|
- type: string
|
|
|
|
|
- properties: {
|
|
|
|
|
- file: string
|
|
|
|
|
- }
|
|
|
|
|
-}
|
|
|
|
|
-
|
|
|
|
|
export type EventSessionUpdated = {
|
|
export type EventSessionUpdated = {
|
|
|
type: string
|
|
type: string
|
|
|
properties: {
|
|
properties: {
|
|
@@ -523,13 +530,6 @@ export type EventSessionError = {
|
|
|
}
|
|
}
|
|
|
}
|
|
}
|
|
|
|
|
|
|
|
-export type EventServerConnected = {
|
|
|
|
|
- type: string
|
|
|
|
|
- properties: {
|
|
|
|
|
- [key: string]: unknown
|
|
|
|
|
- }
|
|
|
|
|
-}
|
|
|
|
|
-
|
|
|
|
|
export type EventFileWatcherUpdated = {
|
|
export type EventFileWatcherUpdated = {
|
|
|
type: string
|
|
type: string
|
|
|
properties: {
|
|
properties: {
|
|
@@ -907,13 +907,17 @@ export type AgentConfig = {
|
|
|
* Description of when to use the agent
|
|
* Description of when to use the agent
|
|
|
*/
|
|
*/
|
|
|
description?: string
|
|
description?: string
|
|
|
- /**
|
|
|
|
|
- * Additional model options passed through to provider
|
|
|
|
|
- */
|
|
|
|
|
- options?: {
|
|
|
|
|
- [key: string]: unknown
|
|
|
|
|
- }
|
|
|
|
|
mode?: string
|
|
mode?: string
|
|
|
|
|
+ [key: string]:
|
|
|
|
|
+ | unknown
|
|
|
|
|
+ | string
|
|
|
|
|
+ | number
|
|
|
|
|
+ | {
|
|
|
|
|
+ [key: string]: boolean
|
|
|
|
|
+ }
|
|
|
|
|
+ | boolean
|
|
|
|
|
+ | string
|
|
|
|
|
+ | undefined
|
|
|
}
|
|
}
|
|
|
|
|
|
|
|
export type Provider = {
|
|
export type Provider = {
|
|
@@ -1053,9 +1057,6 @@ export type Agent = {
|
|
|
mode: string
|
|
mode: string
|
|
|
topP?: number
|
|
topP?: number
|
|
|
temperature?: number
|
|
temperature?: number
|
|
|
- options: {
|
|
|
|
|
- [key: string]: unknown
|
|
|
|
|
- }
|
|
|
|
|
model?: {
|
|
model?: {
|
|
|
modelID: string
|
|
modelID: string
|
|
|
providerID: string
|
|
providerID: string
|
|
@@ -1064,6 +1065,9 @@ export type Agent = {
|
|
|
tools: {
|
|
tools: {
|
|
|
[key: string]: boolean
|
|
[key: string]: boolean
|
|
|
}
|
|
}
|
|
|
|
|
+ options: {
|
|
|
|
|
+ [key: string]: unknown
|
|
|
|
|
+ }
|
|
|
}
|
|
}
|
|
|
|
|
|
|
|
export type EventSubscribeData = {
|
|
export type EventSubscribeData = {
|