Merge 1d9a8d8af63ee6789f5147e792ad175071607130 into 8ee9fc383dedff93043ed8a67107ee6691f19642

This commit is contained in:
Gonéri Le Bouder 2025-10-03 17:26:34 +00:00 committed by GitHub
commit 676b45a7a0
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 5 additions and 0 deletions

View File

@ -90,6 +90,8 @@ export function extractToolsFromApi(
const securityRequirements =
operation.security === null ? globalSecurity : operation.security || globalSecurity;
const deprecated = operation.deprecated || false;
// Create the tool definition
tools.push({
name: finalToolName,
@ -102,6 +104,7 @@ export function extractToolsFromApi(
requestBodyContentType,
securityRequirements,
operationId: baseName,
deprecated,
});
}
}

View File

@ -62,6 +62,8 @@ export interface McpToolDefinition {
securityRequirements: OpenAPIV3.SecurityRequirementObject[];
/** Original operation ID from the OpenAPI spec */
operationId: string;
/** OpenAPI deprecated attribute **/
deprecated: boolean;
}
/**