@ts-pf/mcp 0.0.0-stage → 0.1.0

package/dist/host.js

@@ -0,0 +1,226 @@
+import { discoverToolName, dispatchToolName, hostScope, } from './names.js';
+import { errorResult, successResult } from './result.js';
+import { createSearchIndex } from './search.js';
+import { aliasesOf, descriptionOf, effectOf, tagsOf } from './tool-meta.js';
+/** Descriptions list inner names up to this many, otherwise categories. */
+const LIST_NAMES_MAX = 30;
+/** `call_*` advertises `name` as an enum up to this many, otherwise a plain string. */
+const NAME_ENUM_MAX = 100;
+const DEFAULT_LIMIT = 5;
+/** Segment-wise common prefix of the inner procedure paths: the host's node. */
+function commonPrefix(paths) {
+    const [first, ...rest] = paths;
+    if (!first)
+        return [];
+    let length = first.length;
+    for (const path of rest) {
+        let i = 0;
+        while (i < length && path[i] === first[i])
+            i += 1;
+        length = i;
+    }
+    return first.slice(0, length);
+}
+/** The first path segment under the host node, when the tool sits below one. */
+function categories(tools) {
+    const paths = tools.map((tool) => tool.spec.path ? tool.spec.path.split('.') : []);
+    const prefix = commonPrefix(paths.filter((path) => path.length > 0));
+    return paths.map((path) => path.length > prefix.length + 1 ? path[prefix.length] : undefined);
+}
+function dispatchAnnotations(inner) {
+    if (inner.every((t) => t.effect === 'read'))
+        return { readOnlyHint: true };
+    return {
+        readOnlyHint: false,
+        destructiveHint: inner.some((t) => t.effect === 'destructive'),
+    };
+}
+function strongestEffect(inner) {
+    if (inner.some((t) => t.effect === 'destructive'))
+        return 'destructive';
+    return inner.some((t) => t.effect === 'write') ? 'write' : 'read';
+}
+function invalidDiscover(name, message, max) {
+    return errorResult(`Invalid input for ${name}: ${message}`, max);
+}
+/** Lenient check of discovery arguments (the schema is advertised, never enforced by the SDK). */
+function readDiscoverArgs(args) {
+    if (args === undefined || args === null)
+        return {};
+    if (typeof args !== 'object' || Array.isArray(args))
+        return 'expected an object';
+    const a = args;
+    if (a.query !== undefined && typeof a.query !== 'string')
+        return 'query must be a string';
+    if (a.category !== undefined && typeof a.category !== 'string')
+        return 'category must be a string';
+    if (a.names !== undefined &&
+        !(Array.isArray(a.names) && a.names.every((n) => typeof n === 'string')))
+        return 'names must be an array of strings';
+    if (a.detail !== undefined &&
+        a.detail !== 'name' &&
+        a.detail !== 'summary' &&
+        a.detail !== 'full')
+        return 'detail must be "name", "summary", or "full"';
+    if (a.limit !== undefined &&
+        !(Number.isInteger(a.limit) && a.limit >= 1))
+        return 'limit must be a positive integer';
+    return a;
+}
+function describeInner(t, detail) {
+    if (detail === 'name')
+        return { name: t.tool.name };
+    const out = {
+        name: t.tool.name,
+        description: t.description,
+        effect: t.effect,
+    };
+    if (t.category)
+        out.category = t.category;
+    if (detail === 'full') {
+        out.inputSchema = t.tool.inputSchema;
+        if (t.tool.spec.examples.length > 0)
+            out.examples = t.tool.spec.examples;
+    }
+    return out;
+}
+function bucketEntries(key, bucket, host, inner, invoke, maxChars) {
+    const scope = hostScope(key, bucket);
+    const getName = discoverToolName(scope);
+    const callName = dispatchToolName(scope);
+    const names = inner.map((t) => t.tool.name);
+    const byName = new Map(inner.map((t) => [t.tool.name, t]));
+    const cats = [
+        ...new Set(inner.flatMap((t) => (t.category ? [t.category] : []))),
+    ].sort();
+    const index = createSearchIndex(inner.map((t) => ({
+        id: t.tool.name,
+        text: [
+            t.tool.name,
+            t.description,
+            ...tagsOf(t.tool.spec),
+            ...aliasesOf(t.tool.spec),
+            t.category ?? '',
+        ].join(' '),
+    })));
+    const kind = bucket === 'query' ? 'read-only ' : '';
+    const catalog = inner.length <= LIST_NAMES_MAX || cats.length === 0
+        ? `Capabilities: ${names.join(', ')}.`
+        : `Categories: ${cats.join(', ')}.`;
+    const discover = {
+        definition: {
+            name: getName,
+            description: `${host.description}\nSearch these ${inner.length} ${kind}capabilities, then run one with ${callName}. ${catalog}`,
+            inputSchema: {
+                type: 'object',
+                properties: {
+                    query: {
+                        type: 'string',
+                        description: 'Words to rank capabilities by.',
+                    },
+                    ...(cats.length > 0
+                        ? { category: { type: 'string', enum: cats } }
+                        : {}),
+                    names: {
+                        type: 'array',
+                        items: { type: 'string' },
+                        description: 'Exact capability names.',
+                    },
+                    detail: {
+                        type: 'string',
+                        enum: ['name', 'summary', 'full'],
+                        description: '"full" adds the input schema and examples.',
+                    },
+                    limit: { type: 'integer', minimum: 1 },
+                },
+                additionalProperties: false,
+            },
+            annotations: { readOnlyHint: true },
+            effect: 'read',
+        },
+        async invoke(args) {
+            const parsed = readDiscoverArgs(args);
+            if (typeof parsed === 'string') {
+                return invalidDiscover(getName, parsed, maxChars);
+            }
+            let matches = parsed.names
+                ? parsed.names.flatMap((name) => byName.get(name) ?? [])
+                : [...inner];
+            if (parsed.category !== undefined) {
+                matches = matches.filter((t) => t.category === parsed.category);
+            }
+            if (parsed.query) {
+                const allowed = new Set(matches);
+                matches = index
+                    .search(parsed.query)
+                    .flatMap((name) => byName.get(name) ?? [])
+                    .filter((t) => allowed.has(t));
+            }
+            if (!parsed.names)
+                matches = matches.slice(0, parsed.limit ?? DEFAULT_LIMIT);
+            const detail = parsed.detail ?? 'summary';
+            const result = {
+                scope,
+                total: inner.length,
+                categories: cats,
+                tools: matches.map((t) => describeInner(t, detail)),
+            };
+            const unknown = parsed.names?.filter((name) => !byName.has(name)) ?? [];
+            if (unknown.length > 0)
+                result.unknown = unknown;
+            return successResult(result, maxChars, false);
+        },
+    };
+    const dispatch = {
+        definition: {
+            name: callName,
+            description: `Run one ${kind}${scope} capability by name. Find names and input schemas with ${getName}.`,
+            inputSchema: {
+                type: 'object',
+                properties: {
+                    name: {
+                        type: 'string',
+                        ...(names.length <= NAME_ENUM_MAX ? { enum: names } : {}),
+                    },
+                    input: {
+                        type: 'object',
+                        description: `The capability input (see ${getName} with detail "full").`,
+                    },
+                },
+                required: ['name'],
+                additionalProperties: false,
+            },
+            annotations: dispatchAnnotations(inner),
+            effect: strongestEffect(inner),
+        },
+        async invoke(args, info) {
+            const name = args?.name;
+            const target = typeof name === 'string' ? byName.get(name) : undefined;
+            if (!target) {
+                return errorResult(`Unknown capability ${JSON.stringify(name)}. Valid: ${names.join(', ')}`, maxChars);
+            }
+            return invoke(target.tool, args.input, info);
+        },
+    };
+    return [discover, dispatch];
+}
+/** The `get_*_capabilities` / `call_*_capability` pairs of one host; empty buckets list nothing. */
+export function hostEntries(key, host, tools, invoke, maxChars) {
+    const cats = categories(tools);
+    const inner = tools.map((tool, i) => ({
+        tool,
+        effect: effectOf(tool.spec),
+        description: descriptionOf(tool.spec),
+        category: cats[i],
+    }));
+    const buckets = host.split === 'effect'
+        ? [
+            ['query', inner.filter((t) => t.effect === 'read')],
+            ['operations', inner.filter((t) => t.effect !== 'read')],
+        ]
+        : [[undefined, inner]];
+    return buckets
+        .filter(([, list]) => list.length > 0)
+        .flatMap(([bucket, list]) => bucketEntries(key, bucket, host, list, invoke, maxChars));
+}
+//# sourceMappingURL=host.js.map

package/dist/host.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"host.js","sourceRoot":"","sources":["../src/host.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,gBAAgB,EAChB,gBAAgB,EAEhB,SAAS,GACV,MAAM,YAAY,CAAA;AACnB,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AACxD,OAAO,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAA;AAC/C,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAA;AAqC3E,2EAA2E;AAC3E,MAAM,cAAc,GAAG,EAAE,CAAA;AACzB,uFAAuF;AACvF,MAAM,aAAa,GAAG,GAAG,CAAA;AACzB,MAAM,aAAa,GAAG,CAAC,CAAA;AAEvB,gFAAgF;AAChF,SAAS,YAAY,CAAC,KAA0B;IAC9C,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,KAAK,CAAA;IAC9B,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,CAAA;IACrB,IAAI,MAAM,GAAG,KAAK,CAAC,MAAM,CAAA;IACzB,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;QACxB,IAAI,CAAC,GAAG,CAAC,CAAA;QACT,OAAO,CAAC,GAAG,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC;YAAE,CAAC,IAAI,CAAC,CAAA;QACjD,MAAM,GAAG,CAAC,CAAA;IACZ,CAAC;IACD,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAA;AAC/B,CAAC;AAED,gFAAgF;AAChF,SAAS,UAAU,CAAC,KAA2B;IAC7C,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAC/B,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAChD,CAAA;IACD,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAA;IACpE,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CACxB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAClE,CAAA;AACH,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAuB;IAClD,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC;QAAE,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,CAAA;IAC1E,OAAO;QACL,YAAY,EAAE,KAAK;QACnB,eAAe,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,aAAa,CAAC;KAC/D,CAAA;AACH,CAAC;AAED,SAAS,eAAe,CAAC,KAAuB;IAC9C,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,aAAa,CAAC;QAAE,OAAO,aAAa,CAAA;IACvE,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAA;AACnE,CAAC;AAED,SAAS,eAAe,CAAC,IAAY,EAAE,OAAe,EAAE,GAAW;IACjE,OAAO,WAAW,CAAC,qBAAqB,IAAI,KAAK,OAAO,EAAE,EAAE,GAAG,CAAC,CAAA;AAClE,CAAC;AAED,kGAAkG;AAClG,SAAS,gBAAgB,CAAC,IAAa;IACrC,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,EAAE,CAAA;IAClD,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QACjD,OAAO,oBAAoB,CAAA;IAC7B,MAAM,CAAC,GAAG,IAA+B,CAAA;IACzC,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,IAAI,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ;QACtD,OAAO,wBAAwB,CAAA;IACjC,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,IAAI,OAAO,CAAC,CAAC,QAAQ,KAAK,QAAQ;QAC5D,OAAO,2BAA2B,CAAA;IACpC,IACE,CAAC,CAAC,KAAK,KAAK,SAAS;QACrB,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC;QAExE,OAAO,mCAAmC,CAAA;IAC5C,IACE,CAAC,CAAC,MAAM,KAAK,SAAS;QACtB,CAAC,CAAC,MAAM,KAAK,MAAM;QACnB,CAAC,CAAC,MAAM,KAAK,SAAS;QACtB,CAAC,CAAC,MAAM,KAAK,MAAM;QAEnB,OAAO,6CAA6C,CAAA;IACtD,IACE,CAAC,CAAC,KAAK,KAAK,SAAS;QACrB,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,IAAK,CAAC,CAAC,KAAgB,IAAI,CAAC,CAAC;QAExD,OAAO,kCAAkC,CAAA;IAC3C,OAAO,CAAiB,CAAA;AAC1B,CAAC;AAED,SAAS,aAAa,CAAC,CAAQ,EAAE,MAAc;IAC7C,IAAI,MAAM,KAAK,MAAM;QAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAA;IACnD,MAAM,GAAG,GAA4B;QACnC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI;QACjB,WAAW,EAAE,CAAC,CAAC,WAAW;QAC1B,MAAM,EAAE,CAAC,CAAC,MAAM;KACjB,CAAA;IACD,IAAI,CAAC,CAAC,QAAQ;QAAE,GAAG,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAA;IACzC,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;QACtB,GAAG,CAAC,WAAW,GAAG,CAAC,CAAC,IAAI,CAAC,WAAW,CAAA;QACpC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;YAAE,GAAG,CAAC,QAAQ,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAA;IAC1E,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,SAAS,aAAa,CACpB,GAAW,EACX,MAA8B,EAC9B,IAAc,EACd,KAAuB,EACvB,MAAc,EACd,QAAgB;IAEhB,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA;IACpC,MAAM,OAAO,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAA;IACvC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAA;IACxC,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IAC3C,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;IAC1D,MAAM,IAAI,GAAG;QACX,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;KACnE,CAAC,IAAI,EAAE,CAAA;IACR,MAAM,KAAK,GAAG,iBAAiB,CAC7B,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAChB,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI;QACf,IAAI,EAAE;YACJ,CAAC,CAAC,IAAI,CAAC,IAAI;YACX,CAAC,CAAC,WAAW;YACb,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;YACtB,GAAG,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;YACzB,CAAC,CAAC,QAAQ,IAAI,EAAE;SACjB,CAAC,IAAI,CAAC,GAAG,CAAC;KACZ,CAAC,CAAC,CACJ,CAAA;IACD,MAAM,IAAI,GAAG,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAA;IACnD,MAAM,OAAO,GACX,KAAK,CAAC,MAAM,IAAI,cAAc,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QACjD,CAAC,CAAC,iBAAiB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;QACtC,CAAC,CAAC,eAAe,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA;IAEvC,MAAM,QAAQ,GAAc;QAC1B,UAAU,EAAE;YACV,IAAI,EAAE,OAAO;YACb,WAAW,EAAE,GAAG,IAAI,CAAC,WAAW,kBAAkB,KAAK,CAAC,MAAM,IAAI,IAAI,mCAAmC,QAAQ,KAAK,OAAO,EAAE;YAC/H,WAAW,EAAE;gBACX,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE;oBACV,KAAK,EAAE;wBACL,IAAI,EAAE,QAAQ;wBACd,WAAW,EAAE,gCAAgC;qBAC9C;oBACD,GAAG,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;wBACjB,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE;wBAC9C,CAAC,CAAC,EAAE,CAAC;oBACP,KAAK,EAAE;wBACL,IAAI,EAAE,OAAO;wBACb,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;wBACzB,WAAW,EAAE,yBAAyB;qBACvC;oBACD,MAAM,EAAE;wBACN,IAAI,EAAE,QAAQ;wBACd,IAAI,EAAE,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM,CAAC;wBACjC,WAAW,EAAE,4CAA4C;qBAC1D;oBACD,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,EAAE;iBACvC;gBACD,oBAAoB,EAAE,KAAK;aAC5B;YACD,WAAW,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE;YACnC,MAAM,EAAE,MAAM;SACf;QACD,KAAK,CAAC,MAAM,CAAC,IAAI;YACf,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAA;YACrC,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;gBAC/B,OAAO,eAAe,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAA;YACnD,CAAC;YACD,IAAI,OAAO,GAAG,MAAM,CAAC,KAAK;gBACxB,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;gBACxD,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAA;YACd,IAAI,MAAM,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAClC,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,MAAM,CAAC,QAAQ,CAAC,CAAA;YACjE,CAAC;YACD,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;gBACjB,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAA;gBAChC,OAAO,GAAG,KAAK;qBACZ,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;qBACpB,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;qBACzC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;YAClC,CAAC;YACD,IAAI,CAAC,MAAM,CAAC,KAAK;gBACf,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,IAAI,aAAa,CAAC,CAAA;YAC3D,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,IAAI,SAAS,CAAA;YACzC,MAAM,MAAM,GAA4B;gBACtC,KAAK;gBACL,KAAK,EAAE,KAAK,CAAC,MAAM;gBACnB,UAAU,EAAE,IAAI;gBAChB,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;aACpD,CAAA;YACD,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAA;YACvE,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;gBAAE,MAAM,CAAC,OAAO,GAAG,OAAO,CAAA;YAChD,OAAO,aAAa,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAA;QAC/C,CAAC;KACF,CAAA;IAED,MAAM,QAAQ,GAAc;QAC1B,UAAU,EAAE;YACV,IAAI,EAAE,QAAQ;YACd,WAAW,EAAE,WAAW,IAAI,GAAG,KAAK,0DAA0D,OAAO,GAAG;YACxG,WAAW,EAAE;gBACX,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE;oBACV,IAAI,EAAE;wBACJ,IAAI,EAAE,QAAQ;wBACd,GAAG,CAAC,KAAK,CAAC,MAAM,IAAI,aAAa,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;qBAC1D;oBACD,KAAK,EAAE;wBACL,IAAI,EAAE,QAAQ;wBACd,WAAW,EAAE,6BAA6B,OAAO,uBAAuB;qBACzE;iBACF;gBACD,QAAQ,EAAE,CAAC,MAAM,CAAC;gBAClB,oBAAoB,EAAE,KAAK;aAC5B;YACD,WAAW,EAAE,mBAAmB,CAAC,KAAK,CAAC;YACvC,MAAM,EAAE,eAAe,CAAC,KAAK,CAAC;SAC/B;QACD,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI;YACrB,MAAM,IAAI,GAAI,IAAuC,EAAE,IAAI,CAAA;YAC3D,MAAM,MAAM,GAAG,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;YACtE,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,OAAO,WAAW,CAChB,sBAAsB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,YAAY,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EACxE,QAAQ,CACT,CAAA;YACH,CAAC;YACD,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,EAAG,IAA4B,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;QACvE,CAAC;KACF,CAAA;IACD,OAAO,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAA;AAC7B,CAAC;AAED,oGAAoG;AACpG,MAAM,UAAU,WAAW,CACzB,GAAW,EACX,IAAc,EACd,KAA2B,EAC3B,MAAc,EACd,QAAgB;IAEhB,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,CAAC,CAAA;IAC9B,MAAM,KAAK,GAAY,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAC7C,IAAI;QACJ,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;QAC3B,WAAW,EAAE,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC;QACrC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;KAClB,CAAC,CAAC,CAAA;IACH,MAAM,OAAO,GACX,IAAI,CAAC,KAAK,KAAK,QAAQ;QACrB,CAAC,CAAC;YACE,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;YACnD,CAAC,YAAY,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;SACzD;QACH,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAA;IAC1B,OAAO,OAAO;SACX,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;SACrC,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,CAC1B,aAAa,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,CACzD,CAAA;AACL,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,11 @@
+export type { AllTools } from './all.js';
+export { all } from './all.js';
+export { type AuditFinding, type AuditOptions, audit } from './audit.js';
+export { bindTools } from './bind.js';
+export type { CompositeTool } from './composite.js';
+export type { ToolkitNode } from './node.js';
+export type { BuilderState, MapperOpts, ToolBuilder, ToolPhantom, } from './tool.js';
+export { createToolkit, type Toolkit } from './toolkit.js';
+export type { Host, Toolset } from './toolset.js';
+export type { McpCallInfo, McpToolDefinition, McpToolResult, McpTools, } from './types.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAEA,YAAY,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAA;AACxC,OAAO,EAAE,GAAG,EAAE,MAAM,UAAU,CAAA;AAC9B,OAAO,EAAE,KAAK,YAAY,EAAE,KAAK,YAAY,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AACxE,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAA;AACrC,YAAY,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AACnD,YAAY,EAAE,WAAW,EAAE,MAAM,WAAW,CAAA;AAC5C,YAAY,EACV,YAAY,EACZ,UAAU,EACV,WAAW,EACX,WAAW,GACZ,MAAM,WAAW,CAAA;AAClB,OAAO,EAAE,aAAa,EAAE,KAAK,OAAO,EAAE,MAAM,cAAc,CAAA;AAC1D,YAAY,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AACjD,YAAY,EACV,WAAW,EACX,iBAAiB,EACjB,aAAa,EACb,QAAQ,GACT,MAAM,YAAY,CAAA"}

package/dist/index.js

@@ -0,0 +1,5 @@
+export { all } from './all.js';
+export { audit } from './audit.js';
+export { bindTools } from './bind.js';
+export { createToolkit } from './toolkit.js';
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,GAAG,EAAE,MAAM,UAAU,CAAA;AAC9B,OAAO,EAAwC,KAAK,EAAE,MAAM,YAAY,CAAA;AACxE,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAA;AASrC,OAAO,EAAE,aAAa,EAAgB,MAAM,cAAc,CAAA"}

package/dist/infer.d.ts

@@ -0,0 +1,17 @@
+import type { ErrorMap, InferContractProcedure, IsContractProcedure } from '@ts-pf/contract';
+export type MaybePromise<T> = T | Promise<T>;
+/** Router keys without the `~pf` brand. */
+export type Keys<T> = Exclude<keyof T & string, '~pf'>;
+export type KeysOfUnion<T> = T extends unknown ? keyof T : never;
+export type FieldOf<T, K extends PropertyKey> = T extends unknown ? K extends keyof T ? T[K] : never : never;
+/** `Omit` per union member, so a union input keeps its branches. */
+export type DistOmit<T, K extends PropertyKey> = T extends unknown ? Omit<T, K> : never;
+export type In<P> = InferContractProcedure<P>['input'];
+export type Out<P> = InferContractProcedure<P>['output'];
+export type Meta<P> = InferContractProcedure<P>['meta'];
+export type Err<P> = InferContractProcedure<P>['errors'] extends infer E extends ErrorMap ? E : {};
+/** Every procedure path of a contract, dot-joined. */
+export type ProcPaths<T, P extends string = ''> = {
+    [K in Keys<T>]: IsContractProcedure<T[K]> extends true ? `${P}${K}` : ProcPaths<T[K], `${P}${K}.`>;
+}[Keys<T>];
+//# sourceMappingURL=infer.d.ts.map

package/dist/infer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"infer.d.ts","sourceRoot":"","sources":["../src/infer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,QAAQ,EACR,sBAAsB,EACtB,mBAAmB,EACpB,MAAM,iBAAiB,CAAA;AAExB,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;AAE5C,2CAA2C;AAC3C,MAAM,MAAM,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,GAAG,MAAM,EAAE,KAAK,CAAC,CAAA;AAEtD,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS,OAAO,GAAG,MAAM,CAAC,GAAG,KAAK,CAAA;AAChE,MAAM,MAAM,OAAO,CAAC,CAAC,EAAE,CAAC,SAAS,WAAW,IAAI,CAAC,SAAS,OAAO,GAC7D,CAAC,SAAS,MAAM,CAAC,GACf,CAAC,CAAC,CAAC,CAAC,GACJ,KAAK,GACP,KAAK,CAAA;AACT,oEAAoE;AACpE,MAAM,MAAM,QAAQ,CAAC,CAAC,EAAE,CAAC,SAAS,WAAW,IAAI,CAAC,SAAS,OAAO,GAC9D,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GACV,KAAK,CAAA;AAET,MAAM,MAAM,EAAE,CAAC,CAAC,IAAI,sBAAsB,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;AACtD,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,sBAAsB,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAA;AACxD,MAAM,MAAM,IAAI,CAAC,CAAC,IAAI,sBAAsB,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAA;AACvD,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,sBAAsB,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,MAAM,CAAC,SACtE,QAAQ,GACN,CAAC,GACD,EAAE,CAAA;AAEN,sDAAsD;AACtD,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,EAAE,IAAI;KAC/C,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,GAAG,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GAClD,GAAG,CAAC,GAAG,CAAC,EAAE,GACV,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC;CACjC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA"}

package/dist/infer.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=infer.js.map

package/dist/infer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"infer.js","sourceRoot":"","sources":["../src/infer.ts"],"names":[],"mappings":""}

package/dist/meta.d.ts

@@ -0,0 +1,20 @@
+/** How a tool affects the world. Drives annotations, host buckets, and `all({ effect })`. */
+export type Effect = 'read' | 'write' | 'destructive';
+export declare const MCP_KEY: "mcp";
+export interface McpMeta {
+    /** Unclassified procedures count as `write`. */
+    effect?: Effect;
+    /** Model-facing description; wins over `docs()` description / summary. */
+    description?: string;
+    /** Extra search terms for tool-host discovery. */
+    aliases?: readonly string[];
+}
+/**
+ * Contract-level MCP hints, merged into `.meta()` like `docs()`.
+ * The `const` type parameter keeps `effect` a literal so `all(node, { effect })`
+ * can filter at the type level.
+ */
+export declare function mcp<const M extends McpMeta>(value: M): {
+    [MCP_KEY]: M;
+};
+//# sourceMappingURL=meta.d.ts.map

package/dist/meta.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"meta.d.ts","sourceRoot":"","sources":["../src/meta.ts"],"names":[],"mappings":"AAAA,6FAA6F;AAC7F,MAAM,MAAM,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,aAAa,CAAA;AAErD,eAAO,MAAM,OAAO,EAAG,KAAc,CAAA;AAErC,MAAM,WAAW,OAAO;IACtB,gDAAgD;IAChD,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,0EAA0E;IAC1E,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,kDAAkD;IAClD,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;CAC5B;AAED;;;;GAIG;AACH,wBAAgB,GAAG,CAAC,KAAK,CAAC,CAAC,SAAS,OAAO,EAAE,KAAK,EAAE,CAAC,GAAG;IAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;CAAE,CAEvE"}

package/dist/meta.js

@@ -0,0 +1,10 @@
+export const MCP_KEY = 'mcp';
+/**
+ * Contract-level MCP hints, merged into `.meta()` like `docs()`.
+ * The `const` type parameter keeps `effect` a literal so `all(node, { effect })`
+ * can filter at the type level.
+ */
+export function mcp(value) {
+    return { [MCP_KEY]: value };
+}
+//# sourceMappingURL=meta.js.map

package/dist/meta.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"meta.js","sourceRoot":"","sources":["../src/meta.ts"],"names":[],"mappings":"AAGA,MAAM,CAAC,MAAM,OAAO,GAAG,KAAc,CAAA;AAWrC;;;;GAIG;AACH,MAAM,UAAU,GAAG,CAA0B,KAAQ;IACnD,OAAO,EAAE,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,CAAA;AAC7B,CAAC"}

package/dist/names.d.ts

@@ -0,0 +1,22 @@
+import type { IsContractProcedure } from '@ts-pf/contract';
+import type { Keys } from './infer.js';
+/** `user.listActive` → `user_listActive`. */
+export type ToolName<P extends string> = P extends `${infer A}.${infer B}` ? `${A}_${ToolName<B>}` : P;
+export declare function toolName(path: string): string;
+export type Split = 'effect' | false;
+/** The MCP tools a host generates, from its key exactly. */
+export type HostToolNames<K extends string, Sp> = Sp extends 'effect' ? `get_${K}_query_capabilities` | `call_${K}_query_capability` | `get_${K}_operations_capabilities` | `call_${K}_operations_capability` : `get_${K}_capabilities` | `call_${K}_capability`;
+export type HostBucket = 'query' | 'operations';
+/** `admin` + `query` → `admin_query`; unsplit hosts have one scope named by the key. */
+export declare function hostScope(key: string, bucket: HostBucket | undefined): string;
+export declare function discoverToolName(scope: string): string;
+export declare function dispatchToolName(scope: string): string;
+type DollarPaths<T, P extends string = ''> = {
+    [K in Keys<T>]: K extends `$${string}` ? `${P}${K}` : IsContractProcedure<T[K]> extends true ? never : DollarPaths<T[K], `${P}${K}.`>;
+}[Keys<T>];
+/** `$` is reserved for toolkit root members, so a contract key starting with it is an error naming the key. */
+export type DollarGuard<T> = [DollarPaths<T>] extends [never] ? unknown : {
+    '~error': `Contract key "${DollarPaths<T>}" starts with "$", which createToolkit reserves for $context/$toolset/$host/$tool/$coverage. Rename it.`;
+};
+export {};
+//# sourceMappingURL=names.d.ts.map

package/dist/names.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"names.d.ts","sourceRoot":"","sources":["../src/names.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAA;AAC1D,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,YAAY,CAAA;AAEtC,6CAA6C;AAC7C,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,GAAG,MAAM,CAAC,IAAI,MAAM,CAAC,EAAE,GACtE,GAAG,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,GACrB,CAAC,CAAA;AAEL,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAE7C;AAED,MAAM,MAAM,KAAK,GAAG,QAAQ,GAAG,KAAK,CAAA;AAEpC,4DAA4D;AAC5D,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,QAAQ,GAE7D,OAAO,CAAC,qBAAqB,GAC7B,QAAQ,CAAC,mBAAmB,GAC5B,OAAO,CAAC,0BAA0B,GAClC,QAAQ,CAAC,wBAAwB,GACrC,OAAO,CAAC,eAAe,GAAG,QAAQ,CAAC,aAAa,CAAA;AAEpD,MAAM,MAAM,UAAU,GAAG,OAAO,GAAG,YAAY,CAAA;AAE/C,wFAAwF;AACxF,wBAAgB,SAAS,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,GAAG,SAAS,GAAG,MAAM,CAE7E;AAED,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAEtD;AAED,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAEtD;AAED,KAAK,WAAW,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,EAAE,IAAI;KAC1C,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,IAAI,MAAM,EAAE,GAClC,GAAG,CAAC,GAAG,CAAC,EAAE,GACV,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GACpC,KAAK,GACL,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC;CACrC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;AAEV,+GAA+G;AAC/G,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACzD,OAAO,GACP;IACE,QAAQ,EAAE,iBAAiB,WAAW,CAAC,CAAC,CAAC,yGAAyG,CAAA;CACnJ,CAAA"}

package/dist/names.js

@@ -0,0 +1,14 @@
+export function toolName(path) {
+    return path.replaceAll('.', '_');
+}
+/** `admin` + `query` → `admin_query`; unsplit hosts have one scope named by the key. */
+export function hostScope(key, bucket) {
+    return bucket ? `${key}_${bucket}` : key;
+}
+export function discoverToolName(scope) {
+    return `get_${scope}_capabilities`;
+}
+export function dispatchToolName(scope) {
+    return `call_${scope}_capability`;
+}
+//# sourceMappingURL=names.js.map

package/dist/names.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"names.js","sourceRoot":"","sources":["../src/names.ts"],"names":[],"mappings":"AAQA,MAAM,UAAU,QAAQ,CAAC,IAAY;IACnC,OAAO,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;AAClC,CAAC;AAeD,wFAAwF;AACxF,MAAM,UAAU,SAAS,CAAC,GAAW,EAAE,MAA8B;IACnE,OAAO,MAAM,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,MAAM,EAAE,CAAC,CAAC,CAAC,GAAG,CAAA;AAC1C,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,KAAa;IAC5C,OAAO,OAAO,KAAK,eAAe,CAAA;AACpC,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,KAAa;IAC5C,OAAO,QAAQ,KAAK,aAAa,CAAA;AACnC,CAAC"}

package/dist/node.d.ts

@@ -0,0 +1,41 @@
+import type { IsContractProcedure } from '@ts-pf/contract';
+import type { In, Keys } from './infer.js';
+import { type ToolBuilder } from './tool.js';
+declare const nodeBrand: unique symbol;
+export type NodeBrand = typeof nodeBrand;
+/** A contract router node mirrored as tool builders; leaves are `ToolBuilder`s. */
+export type ToolkitNode<T, Sub, Ctx, Prefix extends string> = {
+    readonly [nodeBrand]?: {
+        prefix: Prefix;
+        ctx: (c: Ctx) => void;
+    };
+} & {
+    [K in Keys<Sub>]: IsContractProcedure<Sub[K]> extends true ? ToolBuilder<T, Sub[K], Ctx, `${Prefix}${K}`, {
+        model: In<Sub[K]>;
+        mode: 'none';
+    }> : ToolkitNode<T, Sub[K], Ctx, `${Prefix}${K}.`>;
+};
+export type AnyNode = {
+    readonly [nodeBrand]?: {
+        prefix: string;
+        ctx: (c: never) => void;
+    };
+};
+export type NodeCtx<N> = N extends {
+    readonly [nodeBrand]?: {
+        ctx: (c: infer C) => void;
+    };
+} ? C : never;
+export type NodeInfo = {
+    contract: unknown;
+    path: readonly string[];
+};
+export declare function nodeInfo(value: unknown): NodeInfo | undefined;
+/**
+ * A lazy proxy over one contract router node. Children are created on first
+ * access and memoized, so `tk.user.find` is the same builder every time.
+ * `members` are extra root keys (`$context`, `$toolset`, …).
+ */
+export declare function createNode(contract: unknown, path: readonly string[], members?: Readonly<Record<string, unknown>>): unknown;
+export {};
+//# sourceMappingURL=node.d.ts.map

package/dist/node.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"node.d.ts","sourceRoot":"","sources":["../src/node.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAA;AAE1D,OAAO,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,YAAY,CAAA;AAC1C,OAAO,EAAoC,KAAK,WAAW,EAAE,MAAM,WAAW,CAAA;AAE9E,OAAO,CAAC,MAAM,SAAS,EAAE,OAAO,MAAM,CAAA;AACtC,MAAM,MAAM,SAAS,GAAG,OAAO,SAAS,CAAA;AAExC,mFAAmF;AACnF,MAAM,MAAM,WAAW,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,SAAS,MAAM,IAAI;IAC5D,QAAQ,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,IAAI,CAAA;KAAE,CAAA;CACjE,GAAG;KACD,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GACtD,WAAW,CACT,CAAC,EACD,GAAG,CAAC,CAAC,CAAC,EACN,GAAG,EACH,GAAG,MAAM,GAAG,CAAC,EAAE,EACf;QAAE,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CACpC,GACD,WAAW,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC;CAClD,CAAA;AAED,MAAM,MAAM,OAAO,GAAG;IACpB,QAAQ,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,IAAI,CAAA;KAAE,CAAA;CACnE,CAAA;AACD,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS;IACjC,QAAQ,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE;QAAE,GAAG,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,IAAI,CAAA;KAAE,CAAA;CACrD,GACG,CAAC,GACD,KAAK,CAAA;AAIT,MAAM,MAAM,QAAQ,GAAG;IAAE,QAAQ,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,CAAA;AAErE,wBAAgB,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,QAAQ,GAAG,SAAS,CAG7D;AAED;;;;GAIG;AACH,wBAAgB,UAAU,CACxB,QAAQ,EAAE,OAAO,EACjB,IAAI,EAAE,SAAS,MAAM,EAAE,EACvB,OAAO,GAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAM,GAC9C,OAAO,CAgCT"}

package/dist/node.js

@@ -0,0 +1,47 @@
+import { isContractProcedure } from '@ts-pf/contract';
+import { createToolBuilder, procedureSpec } from './tool.js';
+const NODE_KEY = '~node';
+export function nodeInfo(value) {
+    if (typeof value !== 'object' || value === null)
+        return undefined;
+    return value[NODE_KEY];
+}
+/**
+ * A lazy proxy over one contract router node. Children are created on first
+ * access and memoized, so `tk.user.find` is the same builder every time.
+ * `members` are extra root keys (`$context`, `$toolset`, …).
+ */
+export function createNode(contract, path, members = {}) {
+    const info = { contract, path };
+    const children = new Map();
+    const child = (key) => {
+        if (children.has(key))
+            return children.get(key);
+        const value = contract[key];
+        const childPath = [...path, key];
+        const created = isContractProcedure(value)
+            ? createToolBuilder(procedureSpec(childPath.join('.'), value))
+            : createNode(value, childPath);
+        children.set(key, created);
+        return created;
+    };
+    return new Proxy({}, {
+        get(_target, key) {
+            if (typeof key !== 'string')
+                return undefined;
+            if (key === NODE_KEY)
+                return info;
+            if (Object.hasOwn(members, key))
+                return members[key];
+            if (key.startsWith('~'))
+                return undefined;
+            if (typeof contract !== 'object' ||
+                contract === null ||
+                !Object.hasOwn(contract, key)) {
+                return undefined;
+            }
+            return child(key);
+        },
+    });
+}
+//# sourceMappingURL=node.js.map

package/dist/node.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"node.js","sourceRoot":"","sources":["../src/node.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAA;AAErD,OAAO,EAAE,iBAAiB,EAAE,aAAa,EAAoB,MAAM,WAAW,CAAA;AA6B9E,MAAM,QAAQ,GAAG,OAAO,CAAA;AAIxB,MAAM,UAAU,QAAQ,CAAC,KAAc;IACrC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,SAAS,CAAA;IACjE,OAAQ,KAA8C,CAAC,QAAQ,CAAC,CAAA;AAClE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,UAAU,CACxB,QAAiB,EACjB,IAAuB,EACvB,UAA6C,EAAE;IAE/C,MAAM,IAAI,GAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAA;IACzC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAmB,CAAA;IAC3C,MAAM,KAAK,GAAG,CAAC,GAAW,EAAW,EAAE;QACrC,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAC/C,MAAM,KAAK,GAAI,QAAoC,CAAC,GAAG,CAAC,CAAA;QACxD,MAAM,SAAS,GAAG,CAAC,GAAG,IAAI,EAAE,GAAG,CAAC,CAAA;QAChC,MAAM,OAAO,GAAG,mBAAmB,CAAC,KAAK,CAAC;YACxC,CAAC,CAAC,iBAAiB,CAAC,aAAa,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;YAC9D,CAAC,CAAC,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,CAAA;QAChC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAA;QAC1B,OAAO,OAAO,CAAA;IAChB,CAAC,CAAA;IACD,OAAO,IAAI,KAAK,CACd,EAAE,EACF;QACE,GAAG,CAAC,OAAO,EAAE,GAAG;YACd,IAAI,OAAO,GAAG,KAAK,QAAQ;gBAAE,OAAO,SAAS,CAAA;YAC7C,IAAI,GAAG,KAAK,QAAQ;gBAAE,OAAO,IAAI,CAAA;YACjC,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC;gBAAE,OAAO,OAAO,CAAC,GAAG,CAAC,CAAA;YACpD,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC;gBAAE,OAAO,SAAS,CAAA;YACzC,IACE,OAAO,QAAQ,KAAK,QAAQ;gBAC5B,QAAQ,KAAK,IAAI;gBACjB,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC,EAC7B,CAAC;gBACD,OAAO,SAAS,CAAA;YAClB,CAAC;YACD,OAAO,KAAK,CAAC,GAAG,CAAC,CAAA;QACnB,CAAC;KACF,CACF,CAAA;AACH,CAAC"}

package/dist/result.d.ts

@@ -0,0 +1,7 @@
+import type { McpToolResult } from './types.js';
+export declare const DEFAULT_MAX_RESULT_CHARS = 25000;
+/** Strings pass through; `undefined` becomes `OK`; anything else is JSON. */
+export declare function valueText(value: unknown): string;
+export declare function successResult(value: unknown, maxChars: number, structured: boolean): McpToolResult;
+export declare function errorResult(text: string, maxChars: number): McpToolResult;
+//# sourceMappingURL=result.d.ts.map

package/dist/result.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"result.d.ts","sourceRoot":"","sources":["../src/result.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAA;AAE/C,eAAO,MAAM,wBAAwB,QAAS,CAAA;AAQ9C,6EAA6E;AAC7E,wBAAgB,SAAS,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAIhD;AAED,wBAAgB,aAAa,CAC3B,KAAK,EAAE,OAAO,EACd,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,OAAO,GAClB,aAAa,CAQf;AAED,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,aAAa,CAKzE"}

package/dist/result.js

@@ -0,0 +1,31 @@
+export const DEFAULT_MAX_RESULT_CHARS = 25_000;
+function truncate(text, maxChars) {
+    if (text.length <= maxChars)
+        return text;
+    const rest = text.length - maxChars;
+    return `${text.slice(0, maxChars)}\n\n[Truncated: ${rest} more characters. Narrow the request to see the rest.]`;
+}
+/** Strings pass through; `undefined` becomes `OK`; anything else is JSON. */
+export function valueText(value) {
+    if (typeof value === 'string')
+        return value;
+    if (value === undefined)
+        return 'OK';
+    return JSON.stringify(value) ?? 'OK';
+}
+export function successResult(value, maxChars, structured) {
+    const result = {
+        content: [{ type: 'text', text: truncate(valueText(value), maxChars) }],
+    };
+    if (structured && typeof value === 'object' && value !== null) {
+        result.structuredContent = value;
+    }
+    return result;
+}
+export function errorResult(text, maxChars) {
+    return {
+        content: [{ type: 'text', text: truncate(text, maxChars) }],
+        isError: true,
+    };
+}
+//# sourceMappingURL=result.js.map

package/dist/result.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"result.js","sourceRoot":"","sources":["../src/result.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,wBAAwB,GAAG,MAAM,CAAA;AAE9C,SAAS,QAAQ,CAAC,IAAY,EAAE,QAAgB;IAC9C,IAAI,IAAI,CAAC,MAAM,IAAI,QAAQ;QAAE,OAAO,IAAI,CAAA;IACxC,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,GAAG,QAAQ,CAAA;IACnC,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,mBAAmB,IAAI,wDAAwD,CAAA;AAClH,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,SAAS,CAAC,KAAc;IACtC,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAA;IAC3C,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,IAAI,CAAA;IACpC,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,IAAI,CAAA;AACtC,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,KAAc,EACd,QAAgB,EAChB,UAAmB;IAEnB,MAAM,MAAM,GAAkB;QAC5B,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC;KACxE,CAAA;IACD,IAAI,UAAU,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QAC9D,MAAM,CAAC,iBAAiB,GAAG,KAAgC,CAAA;IAC7D,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,IAAY,EAAE,QAAgB;IACxD,OAAO;QACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;QAC3D,OAAO,EAAE,IAAI;KACd,CAAA;AACH,CAAC"}

package/dist/schema.d.ts

@@ -0,0 +1,23 @@
+import { type JsonSchema } from '@ts-pf/docs';
+import type { ToolSpec } from './tool.js';
+export type SchemaIssue = {
+    level: 'error' | 'warn';
+    message: string;
+};
+/** A model-facing JSON Schema plus what `audit()` should report about it. */
+export type ModelSchema = {
+    schema: JsonSchema;
+    issues: SchemaIssue[];
+};
+/** Top-level keys a model may send: object properties, or the union of a union root's branches. */
+export declare function inputKeys(schema: JsonSchema): string[];
+/** The JSON Schema of what the model sends: `.input()` schema, or the procedure input minus injected keys. */
+export declare function modelInputSchema(spec: ToolSpec): ModelSchema;
+/** Input keys of a procedure, for `all({ inject })` (each key goes only to tools that have it). */
+export declare function procedureInputKeys(spec: ToolSpec): string[];
+/** The advertised `outputSchema`: only for `.output(schema, map)` with an object root. */
+export declare function modelOutputSchema(spec: ToolSpec): {
+    schema?: JsonSchema;
+    issues: SchemaIssue[];
+};
+//# sourceMappingURL=schema.d.ts.map

package/dist/schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../src/schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,UAAU,EAAgB,MAAM,aAAa,CAAA;AAC3D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAA;AAEzC,MAAM,MAAM,WAAW,GAAG;IAAE,KAAK,EAAE,OAAO,GAAG,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAA;AACtE,6EAA6E;AAC7E,MAAM,MAAM,WAAW,GAAG;IAAE,MAAM,EAAE,UAAU,CAAC;IAAC,MAAM,EAAE,WAAW,EAAE,CAAA;CAAE,CAAA;AAmFvE,mGAAmG;AACnG,wBAAgB,SAAS,CAAC,MAAM,EAAE,UAAU,GAAG,MAAM,EAAE,CAItD;AAqDD,8GAA8G;AAC9G,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,QAAQ,GAAG,WAAW,CAW5D;AAED,mGAAmG;AACnG,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,QAAQ,GAAG,MAAM,EAAE,CAG3D;AAED,0FAA0F;AAC1F,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,QAAQ,GAAG;IACjD,MAAM,CAAC,EAAE,UAAU,CAAA;IACnB,MAAM,EAAE,WAAW,EAAE,CAAA;CACtB,CAiBA"}