update MCP SDK to v1.25.1 and migrate to zod v4#16780

ndoschek wants to merge 1 commit intomastereclipse-theia/theia:masterfrom

GH-16615eclipse-theia/theia:GH-16615Copy head branch name to clipboard