wangxuming/makelore
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity

feat(coding): add Pi Data Service product tools

Browse Source
This commit is contained in:
brother7
2026-08-26 19:58:38 +08:00
parent 44bcdf52fc
commit 1d63233cd0
12 changed files with 790 additions and 26 deletions
Download Patch File Download Diff File Expand all files Collapse all files

28
shared/data-service.ts
View File

@@ -62,6 +62,21 @@ export type DataServiceDocumentList = {
export type DataServiceErrorContext = Record<string, string | number>;
export const DATA_SERVICE_PI_TOOL_NAMES = [
'data_service_configure',
'data_service_inspect',
'data_service_list_projects',
'data_service_get_document',
'data_service_list_documents',
'data_service_put_document',
'data_service_delete_document',
'data_service_remove_collection',
'data_service_reset',
'data_service_remove_project',
] as const;
export type DataServicePiToolName = (typeof DATA_SERVICE_PI_TOOL_NAMES)[number];
export type DataServiceHostResult<T> = {
success: boolean;
status: number;
@@ -73,6 +88,19 @@ export type DataServiceHostResult<T> = {
data: T | null;
};
export type DataServiceToolData =
| DataServiceInstanceState
| DataServiceInstanceList
| DataServiceDocument
| DataServiceDocumentList
| DataServiceCollectionRemoval
| DataServiceInstanceRemoval;
export type DataServiceToolDetailsV1 = DataServiceHostResult<DataServiceToolData> & {
schema: 'data-service.v1';
operation: DataServicePiToolName;
};
export type DataServicePutDocumentInput = {
collection: string;
document_id: string;