feat: cache init tool upserts (#217)

This commit is contained in:
Ari Webb
2025-12-15 15:33:43 -08:00
committed by GitHub
parent 7ce41e52f4
commit bcb1848b9a
3 changed files with 58 additions and 3 deletions

View File

@@ -19,6 +19,8 @@ export interface Settings {
refreshToken?: string;
tokenExpiresAt?: number; // Unix timestamp in milliseconds
deviceId?: string;
// Tool upsert cache: maps serverUrl -> hash of upserted tools
toolUpsertHashes?: Record<string, string>;
}
export interface ProjectSettings {