import { lstat } from "node:fs/promises"; import { Ajv2020 } from "ajv/dist/2020.js"; /** * Verify canonical names, converted JSON Schemas, and session catalog metadata. * Only this operation needs built contracts; path checks remain source-only. */ export const verifyCompleteToolCatalog = async (client, options) => { const [{ requireMcpLifecycleResult, sortVerifierNames }, { TOOL_CONTRACTS }] = await Promise.all([ import("./mcp-verifier-results.mjs"), import("../../dist/contracts/toolContracts.js"), ]); const listed = await client.listTools(undefined, options); const canonical = sortVerifierNames(TOOL_CONTRACTS.map(({ name }) => name)); const observed = sortVerifierNames(listed.tools.map(({ name }) => name)); if (JSON.stringify(observed) !== JSON.stringify(canonical)) { const canonicalNames = new Set(canonical); const observedNames = new Set(observed); const unknown = observed.filter((name) => !canonicalNames.has(name)); const missing = canonical.filter((name) => !observedNames.has(name)); const duplicates = observed.filter( (name, index) => index > 0 && name === observed[index - 1], ); throw new Error( `packaged MCP exposed an invalid canonical tool catalog (${observed.length} tools, unknown: ${unknown.join(", ") || "none"}, missing: ${missing.join(", ") || "none"}, duplicates: ${duplicates.join(", ") || "none"})`, ); } const ajv = new Ajv2020({ strict: false, validateFormats: false }); for (const tool of listed.tools) { for (const kind of ["inputSchema", "outputSchema"]) { const schema = tool[kind]; if (schema !== undefined && !ajv.validateSchema(schema)) throw new Error( `packaged MCP has invalid ${tool.name}.${kind}: ${ajv.errorsText(ajv.errors)}`, ); } } const status = await client.callTool( { name: "binary_session", arguments: {} }, options, ); const expanded = requireMcpLifecycleResult(status, "binary_session"); const availability = expanded.tool_availability; const expected = sortVerifierNames(availability.map(({ name }) => name)); if (JSON.stringify(observed) !== JSON.stringify(expected)) throw new Error( "packaged MCP tool inventory diverged from session metadata", ); return observed; }; /** Check whether a path exists on disk. */ export const pathExists = async (path) => { try { await lstat(path); return true; } catch (cause) { if (cause instanceof Error && "code" in cause && cause.code === "ENOENT") return false; throw cause; } };