@mcp-b/webmcp-types 0.0.0-beta-20260216200013

package/dist/json-schema.d.ts

@@ -0,0 +1,198 @@
+import type { JsonPrimitive, JsonValue } from './common.js';
+/**
+ * Primitive JSON Schema `type` values supported by the MVP inference layer.
+ */
+export type JsonSchemaPrimitiveType = 'string' | 'number' | 'integer' | 'boolean' | 'null';
+/**
+ * JSON Schema `type` values supported by the MVP inference layer.
+ */
+export type JsonSchemaType = JsonSchemaPrimitiveType | 'object' | 'array';
+/**
+ * JSON Schema multi-type tuple (for example `["string", "null"]`).
+ */
+export type JsonSchemaTypeArray = readonly [JsonSchemaType, ...JsonSchemaType[]];
+/**
+ * Literal values supported in JSON Schema `enum`/`const`.
+ */
+export type JsonSchemaEnumValue = JsonPrimitive | JsonValue;
+/**
+ * Extra JSON Schema keywords tolerated by the inference layer.
+ *
+ * These keys are intentionally accepted as opaque metadata. Inference only uses
+ * the core MVP keywords and ignores these fields.
+ */
+interface SupplementalJsonSchemaKeywords {
+    $defs?: unknown;
+    $ref?: unknown;
+    additionalItems?: unknown;
+    allOf?: unknown;
+    anyOf?: unknown;
+    contains?: unknown;
+    definitions?: unknown;
+    dependentRequired?: unknown;
+    dependentSchemas?: unknown;
+    format?: unknown;
+    if?: unknown;
+    maxContains?: unknown;
+    minContains?: unknown;
+    not?: unknown;
+    oneOf?: unknown;
+    patternProperties?: unknown;
+    prefixItems?: unknown;
+    propertyNames?: unknown;
+    then?: unknown;
+    unevaluatedItems?: unknown;
+    unevaluatedProperties?: unknown;
+}
+/**
+ * Non-validation metadata accepted by the MVP inference subset.
+ */
+interface JsonSchemaMetadata extends SupplementalJsonSchemaKeywords {
+    default?: JsonValue;
+    description?: string;
+    examples?: readonly JsonValue[];
+    /**
+     * OpenAPI-compatible nullability marker.
+     */
+    nullable?: boolean;
+    title?: string;
+}
+/**
+ * JSON Schema for `type: "string"`.
+ */
+export interface JsonSchemaString extends JsonSchemaMetadata {
+    const?: string;
+    enum?: readonly string[];
+    maxLength?: number;
+    minLength?: number;
+    pattern?: string;
+    type: 'string';
+}
+/**
+ * JSON Schema for `type: "number"` and `type: "integer"`.
+ */
+export interface JsonSchemaNumber extends JsonSchemaMetadata {
+    const?: number;
+    enum?: readonly number[];
+    exclusiveMaximum?: number;
+    exclusiveMinimum?: number;
+    maximum?: number;
+    minimum?: number;
+    multipleOf?: number;
+    type: 'number' | 'integer';
+}
+/**
+ * JSON Schema for `type: "boolean"`.
+ */
+export interface JsonSchemaBoolean extends JsonSchemaMetadata {
+    const?: boolean;
+    enum?: readonly boolean[];
+    type: 'boolean';
+}
+/**
+ * JSON Schema for `type: "null"`.
+ */
+export interface JsonSchemaNull extends JsonSchemaMetadata {
+    const?: null;
+    enum?: readonly null[];
+    type: 'null';
+}
+/**
+ * JSON Schema for `type: "array"`.
+ */
+export interface JsonSchemaArray extends JsonSchemaMetadata {
+    items: JsonSchemaForInference;
+    maxItems?: number;
+    minItems?: number;
+    type: 'array';
+    uniqueItems?: boolean;
+}
+/**
+ * JSON Schema for `type: "object"`.
+ */
+export interface JsonSchemaObject extends JsonSchemaMetadata {
+    additionalProperties?: boolean | JsonSchemaForInference;
+    maxProperties?: number;
+    minProperties?: number;
+    properties?: Readonly<Record<string, JsonSchemaForInference>>;
+    required?: readonly string[];
+    type: 'object';
+}
+/**
+ * JSON Schema for multi-type unions via `type: [...]`.
+ */
+export interface JsonSchemaMultiType extends JsonSchemaMetadata {
+    additionalProperties?: boolean | JsonSchemaForInference;
+    const?: JsonSchemaEnumValue;
+    enum?: readonly JsonSchemaEnumValue[];
+    items?: JsonSchemaForInference;
+    properties?: Readonly<Record<string, JsonSchemaForInference>>;
+    required?: readonly string[];
+    type: JsonSchemaTypeArray;
+}
+/**
+ * JSON Schema subset supported by the MVP type inference layer.
+ */
+export type JsonSchemaForInference = JsonSchemaArray | JsonSchemaBoolean | JsonSchemaMultiType | JsonSchemaNull | JsonSchemaNumber | JsonSchemaObject | JsonSchemaString;
+type Simplify<T> = {
+    [K in keyof T]: T[K];
+} & {};
+type EmptyObject = Record<never, never>;
+type EnumLiteral<TSchema> = TSchema extends {
+    enum: infer TEnum extends readonly unknown[];
+} ? Extract<TEnum[number], JsonSchemaEnumValue> : never;
+type ConstLiteral<TSchema> = TSchema extends {
+    const: infer TConst;
+} ? Extract<TConst, JsonSchemaEnumValue> : never;
+type PropertiesOf<TSchema> = TSchema extends {
+    properties: infer TProperties extends Readonly<Record<string, JsonSchemaForInference>>;
+} ? TProperties : EmptyObject;
+type RequiredKeysOf<TSchema, TProperties extends Record<string, unknown>> = TSchema extends {
+    required: readonly (infer TRequired)[];
+} ? string extends TRequired ? never : Extract<TRequired, keyof TProperties & string> : never;
+type RequiredProps<TProperties extends Record<string, JsonSchemaForInference>, TRequiredKeys extends string> = {
+    [K in keyof TProperties as K extends TRequiredKeys ? K : never]-?: InferJsonSchema<TProperties[K]>;
+};
+type OptionalProps<TProperties extends Record<string, JsonSchemaForInference>, TRequiredKeys extends string> = {
+    [K in keyof TProperties as K extends TRequiredKeys ? never : K]?: InferJsonSchema<TProperties[K]>;
+};
+type PropertyKeysOf<TSchema> = keyof PropertiesOf<TSchema> & string;
+type AdditionalSchemaOf<TSchema> = TSchema extends {
+    additionalProperties: infer TAdditional;
+} ? TAdditional : undefined;
+type AdditionalPropsValue<TSchema> = AdditionalSchemaOf<TSchema> extends JsonSchemaForInference ? InferJsonSchema<AdditionalSchemaOf<TSchema>> : unknown;
+type AdditionalPropsOf<TSchema> = TSchema extends {
+    additionalProperties: false;
+} ? EmptyObject : AdditionalSchemaOf<TSchema> extends JsonSchemaForInference ? PropertyKeysOf<TSchema> extends never ? Record<string, AdditionalPropsValue<TSchema>> : Record<string, unknown> : Record<string, unknown>;
+type InferObject<TSchema> = Simplify<RequiredProps<PropertiesOf<TSchema>, RequiredKeysOf<TSchema, PropertiesOf<TSchema>>> & OptionalProps<PropertiesOf<TSchema>, RequiredKeysOf<TSchema, PropertiesOf<TSchema>>> & AdditionalPropsOf<TSchema>>;
+type TypeKeywordOf<TSchema> = TSchema extends {
+    type: infer TType;
+} ? TType : never;
+type TypeOptionsOf<TSchema> = TypeKeywordOf<TSchema> extends readonly unknown[] ? Extract<TypeKeywordOf<TSchema>[number], JsonSchemaType> : Extract<TypeKeywordOf<TSchema>, JsonSchemaType>;
+type InferFromTypeOption<TSchema, TType extends JsonSchemaType> = TType extends 'object' ? InferObject<TSchema> : TType extends 'array' ? TSchema extends {
+    items: infer TItems;
+} ? InferJsonSchema<TItems>[] : unknown[] : TType extends 'string' ? string : TType extends 'number' | 'integer' ? number : TType extends 'boolean' ? boolean : TType extends 'null' ? null : unknown;
+type InferFromTypeKeyword<TSchema> = TypeOptionsOf<TSchema> extends never ? unknown : InferFromTypeOption<TSchema, TypeOptionsOf<TSchema>>;
+type ApplyNullable<TSchema, TValue> = TSchema extends {
+    nullable: true;
+} ? TValue | null : TValue;
+/**
+ * Infers a TypeScript type from the supported JSON Schema subset.
+ *
+ * `const` and `enum` take precedence when present.
+ */
+export type InferJsonSchema<TSchema> = [ConstLiteral<TSchema>] extends [never] ? [EnumLiteral<TSchema>] extends [never] ? ApplyNullable<TSchema, InferFromTypeKeyword<TSchema>> : ApplyNullable<TSchema, EnumLiteral<TSchema>> : ApplyNullable<TSchema, ConstLiteral<TSchema>>;
+type IsWidenedTypeKeyword<TTypeKeyword> = string extends TTypeKeyword ? true : TTypeKeyword extends readonly unknown[] ? string extends TTypeKeyword[number] ? true : false : false;
+type IncludesObjectType<TSchema> = TypeOptionsOf<TSchema> extends never ? false : 'object' extends TypeOptionsOf<TSchema> ? true : false;
+/**
+ * Infers tool argument types from a root `InputSchema`.
+ *
+ * If the schema is not a literal object schema (for example a widened
+ * `InputSchema` loaded at runtime), this intentionally falls back to
+ * `Record<string, unknown>`.
+ */
+export type InferArgsFromInputSchema<TSchema extends {
+    type: string | readonly string[];
+}> = IsWidenedTypeKeyword<TSchema['type']> extends true ? Record<string, unknown> : IncludesObjectType<TSchema> extends true ? InferObject<TSchema> : Record<string, unknown>;
+export {};
+//# sourceMappingURL=json-schema.d.ts.map

package/dist/json-schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"json-schema.d.ts","sourceRoot":"","sources":["../src/json-schema.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAE5D;;GAEG;AACH,MAAM,MAAM,uBAAuB,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,SAAS,GAAG,MAAM,CAAC;AAE3F;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG,uBAAuB,GAAG,QAAQ,GAAG,OAAO,CAAC;AAE1E;;GAEG;AACH,MAAM,MAAM,mBAAmB,GAAG,SAAS,CAAC,cAAc,EAAE,GAAG,cAAc,EAAE,CAAC,CAAC;AAEjF;;GAEG;AACH,MAAM,MAAM,mBAAmB,GAAG,aAAa,GAAG,SAAS,CAAC;AAE5D;;;;;GAKG;AACH,UAAU,8BAA8B;IACtC,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,EAAE,CAAC,EAAE,OAAO,CAAC;IACb,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,GAAG,CAAC,EAAE,OAAO,CAAC;IACd,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,qBAAqB,CAAC,EAAE,OAAO,CAAC;CACjC;AAED;;GAEG;AACH,UAAU,kBAAmB,SAAQ,8BAA8B;IACjE,OAAO,CAAC,EAAE,SAAS,CAAC;IACpB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,EAAE,SAAS,SAAS,EAAE,CAAC;IAChC;;OAEG;IACH,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED;;GAEG;AACH,MAAM,WAAW,gBAAiB,SAAQ,kBAAkB;IAC1D,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACzB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,QAAQ,CAAC;CAChB;AAED;;GAEG;AACH,MAAM,WAAW,gBAAiB,SAAQ,kBAAkB;IAC1D,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACzB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,QAAQ,GAAG,SAAS,CAAC;CAC5B;AAED;;GAEG;AACH,MAAM,WAAW,iBAAkB,SAAQ,kBAAkB;IAC3D,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,IAAI,CAAC,EAAE,SAAS,OAAO,EAAE,CAAC;IAC1B,IAAI,EAAE,SAAS,CAAC;CACjB;AAED;;GAEG;AACH,MAAM,WAAW,cAAe,SAAQ,kBAAkB;IACxD,KAAK,CAAC,EAAE,IAAI,CAAC;IACb,IAAI,CAAC,EAAE,SAAS,IAAI,EAAE,CAAC;IACvB,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;GAEG;AACH,MAAM,WAAW,eAAgB,SAAQ,kBAAkB;IACzD,KAAK,EAAE,sBAAsB,CAAC;IAC9B,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,OAAO,CAAC;IACd,WAAW,CAAC,EAAE,OAAO,CAAC;CACvB;AAED;;GAEG;AACH,MAAM,WAAW,gBAAiB,SAAQ,kBAAkB;IAC1D,oBAAoB,CAAC,EAAE,OAAO,GAAG,sBAAsB,CAAC;IACxD,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,UAAU,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAC,CAAC;IAC9D,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7B,IAAI,EAAE,QAAQ,CAAC;CAChB;AAED;;GAEG;AACH,MAAM,WAAW,mBAAoB,SAAQ,kBAAkB;IAC7D,oBAAoB,CAAC,EAAE,OAAO,GAAG,sBAAsB,CAAC;IACxD,KAAK,CAAC,EAAE,mBAAmB,CAAC;IAC5B,IAAI,CAAC,EAAE,SAAS,mBAAmB,EAAE,CAAC;IACtC,KAAK,CAAC,EAAE,sBAAsB,CAAC;IAC/B,UAAU,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAC,CAAC;IAC9D,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7B,IAAI,EAAE,mBAAmB,CAAC;CAC3B;AAED;;GAEG;AACH,MAAM,MAAM,sBAAsB,GAC9B,eAAe,GACf,iBAAiB,GACjB,mBAAmB,GACnB,cAAc,GACd,gBAAgB,GAChB,gBAAgB,GAChB,gBAAgB,CAAC;AAErB,KAAK,QAAQ,CAAC,CAAC,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,GAAG,EAAE,CAAC;AAEjD,KAAK,WAAW,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;AAExC,KAAK,WAAW,CAAC,OAAO,IAAI,OAAO,SAAS;IAAE,IAAI,EAAE,MAAM,KAAK,SAAS,SAAS,OAAO,EAAE,CAAA;CAAE,GACxF,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,mBAAmB,CAAC,GAC3C,KAAK,CAAC;AAEV,KAAK,YAAY,CAAC,OAAO,IAAI,OAAO,SAAS;IAAE,KAAK,EAAE,MAAM,MAAM,CAAA;CAAE,GAChE,OAAO,CAAC,MAAM,EAAE,mBAAmB,CAAC,GACpC,KAAK,CAAC;AAEV,KAAK,YAAY,CAAC,OAAO,IAAI,OAAO,SAAS;IAC3C,UAAU,EAAE,MAAM,WAAW,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAC,CAAC;CACxF,GACG,WAAW,GACX,WAAW,CAAC;AAEhB,KAAK,cAAc,CAAC,OAAO,EAAE,WAAW,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,OAAO,SAAS;IAC1F,QAAQ,EAAE,SAAS,CAAC,MAAM,SAAS,CAAC,EAAE,CAAC;CACxC,GACG,MAAM,SAAS,SAAS,GACtB,KAAK,GACL,OAAO,CAAC,SAAS,EAAE,MAAM,WAAW,GAAG,MAAM,CAAC,GAChD,KAAK,CAAC;AAEV,KAAK,aAAa,CAChB,WAAW,SAAS,MAAM,CAAC,MAAM,EAAE,sBAAsB,CAAC,EAC1D,aAAa,SAAS,MAAM,IAC1B;KACD,CAAC,IAAI,MAAM,WAAW,IAAI,CAAC,SAAS,aAAa,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,eAAe,CAChF,WAAW,CAAC,CAAC,CAAC,CACf;CACF,CAAC;AAEF,KAAK,aAAa,CAChB,WAAW,SAAS,MAAM,CAAC,MAAM,EAAE,sBAAsB,CAAC,EAC1D,aAAa,SAAS,MAAM,IAC1B;KACD,CAAC,IAAI,MAAM,WAAW,IAAI,CAAC,SAAS,aAAa,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,eAAe,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;CAClG,CAAC;AAEF,KAAK,cAAc,CAAC,OAAO,IAAI,MAAM,YAAY,CAAC,OAAO,CAAC,GAAG,MAAM,CAAC;AAEpE,KAAK,kBAAkB,CAAC,OAAO,IAAI,OAAO,SAAS;IAAE,oBAAoB,EAAE,MAAM,WAAW,CAAA;CAAE,GAC1F,WAAW,GACX,SAAS,CAAC;AAEd,KAAK,oBAAoB,CAAC,OAAO,IAAI,kBAAkB,CAAC,OAAO,CAAC,SAAS,sBAAsB,GAC3F,eAAe,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,GAC5C,OAAO,CAAC;AAEZ,KAAK,iBAAiB,CAAC,OAAO,IAAI,OAAO,SAAS;IAAE,oBAAoB,EAAE,KAAK,CAAA;CAAE,GAC7E,WAAW,GACX,kBAAkB,CAAC,OAAO,CAAC,SAAS,sBAAsB,GACxD,cAAc,CAAC,OAAO,CAAC,SAAS,KAAK,GACnC,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,OAAO,CAAC,CAAC,GAC7C,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACzB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAE9B,KAAK,WAAW,CAAC,OAAO,IAAI,QAAQ,CAClC,aAAa,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,cAAc,CAAC,OAAO,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,GAClF,aAAa,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,cAAc,CAAC,OAAO,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,GACpF,iBAAiB,CAAC,OAAO,CAAC,CAC7B,CAAC;AAEF,KAAK,aAAa,CAAC,OAAO,IAAI,OAAO,SAAS;IAAE,IAAI,EAAE,MAAM,KAAK,CAAA;CAAE,GAAG,KAAK,GAAG,KAAK,CAAC;AAEpF,KAAK,aAAa,CAAC,OAAO,IAAI,aAAa,CAAC,OAAO,CAAC,SAAS,SAAS,OAAO,EAAE,GAC3E,OAAO,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,EAAE,cAAc,CAAC,GACvD,OAAO,CAAC,aAAa,CAAC,OAAO,CAAC,EAAE,cAAc,CAAC,CAAC;AAEpD,KAAK,mBAAmB,CAAC,OAAO,EAAE,KAAK,SAAS,cAAc,IAAI,KAAK,SAAS,QAAQ,GACpF,WAAW,CAAC,OAAO,CAAC,GACpB,KAAK,SAAS,OAAO,GACnB,OAAO,SAAS;IAAE,KAAK,EAAE,MAAM,MAAM,CAAA;CAAE,GACrC,eAAe,CAAC,MAAM,CAAC,EAAE,GACzB,OAAO,EAAE,GACX,KAAK,SAAS,QAAQ,GACpB,MAAM,GACN,KAAK,SAAS,QAAQ,GAAG,SAAS,GAChC,MAAM,GACN,KAAK,SAAS,SAAS,GACrB,OAAO,GACP,KAAK,SAAS,MAAM,GAClB,IAAI,GACJ,OAAO,CAAC;AAEtB,KAAK,oBAAoB,CAAC,OAAO,IAAI,aAAa,CAAC,OAAO,CAAC,SAAS,KAAK,GACrE,OAAO,GACP,mBAAmB,CAAC,OAAO,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC;AAEzD,KAAK,aAAa,CAAC,OAAO,EAAE,MAAM,IAAI,OAAO,SAAS;IAAE,QAAQ,EAAE,IAAI,CAAA;CAAE,GAAG,MAAM,GAAG,IAAI,GAAG,MAAM,CAAC;AAElG;;;;GAIG;AACH,MAAM,MAAM,eAAe,CAAC,OAAO,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAC1E,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACpC,aAAa,CAAC,OAAO,EAAE,oBAAoB,CAAC,OAAO,CAAC,CAAC,GACrD,aAAa,CAAC,OAAO,EAAE,WAAW,CAAC,OAAO,CAAC,CAAC,GAC9C,aAAa,CAAC,OAAO,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC;AAElD,KAAK,oBAAoB,CAAC,YAAY,IAAI,MAAM,SAAS,YAAY,GACjE,IAAI,GACJ,YAAY,SAAS,SAAS,OAAO,EAAE,GACrC,MAAM,SAAS,YAAY,CAAC,MAAM,CAAC,GACjC,IAAI,GACJ,KAAK,GACP,KAAK,CAAC;AAEZ,KAAK,kBAAkB,CAAC,OAAO,IAAI,aAAa,CAAC,OAAO,CAAC,SAAS,KAAK,GACnE,KAAK,GACL,QAAQ,SAAS,aAAa,CAAC,OAAO,CAAC,GACrC,IAAI,GACJ,KAAK,CAAC;AAEZ;;;;;;GAMG;AACH,MAAM,MAAM,wBAAwB,CAAC,OAAO,SAAS;IAAE,IAAI,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAAA;CAAE,IACvF,oBAAoB,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,SAAS,IAAI,GAC9C,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACvB,kBAAkB,CAAC,OAAO,CAAC,SAAS,IAAI,GACtC,WAAW,CAAC,OAAO,CAAC,GACpB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC"}

package/dist/model-context.d.ts

@@ -0,0 +1,232 @@
+import type { CallToolResult, InputSchema, ToolResponse } from './common.js';
+import type { JsonSchemaForInference, JsonSchemaObject } from './json-schema.js';
+import type { ToolDescriptor, ToolDescriptorFromSchema, ToolListItem } from './tool.js';
+/**
+ * Context provided to models via provideContext().
+ */
+export interface ModelContextInput<TTools extends readonly ToolDescriptor[] = ToolDescriptor[]> {
+    /**
+     * Base tool descriptors to expose.
+     */
+    tools?: TTools;
+}
+/**
+ * Public options accepted by provideContext().
+ */
+export type ModelContextOptions = ModelContextInput;
+/**
+ * Tool info returned by ModelContextTesting.listTools().
+ */
+export interface ModelContextTestingToolInfo {
+    name: string;
+    description: string;
+    inputSchema?: string;
+}
+/**
+ * Options supported by ModelContextTesting.executeTool().
+ */
+export interface ModelContextTestingExecuteToolOptions {
+    signal?: AbortSignal;
+}
+/**
+ * Chromium early-preview testing API on navigator.modelContextTesting.
+ */
+export interface ModelContextTesting {
+    listTools(): ModelContextTestingToolInfo[];
+    executeTool(toolName: string, inputArgsJson: string, options?: ModelContextTestingExecuteToolOptions): Promise<string | null>;
+    registerToolsChangedCallback(callback: () => void): void;
+    getCrossDocumentScriptToolResult(): Promise<string>;
+}
+/**
+ * Polyfill-only testing extensions layered on top of ModelContextTesting.
+ */
+export interface ModelContextTestingPolyfillExtensions {
+    getToolCalls(): Array<{
+        toolName: string;
+        arguments: Record<string, unknown>;
+        timestamp: number;
+    }>;
+    clearToolCalls(): void;
+    setMockToolResponse(toolName: string, response: ToolResponse): void;
+    clearMockToolResponse(toolName: string): void;
+    clearAllMockToolResponses(): void;
+    getRegisteredTools(): ReturnType<ModelContextExtensions['listTools']>;
+    reset(): void;
+}
+/**
+ * Any supported tool descriptor.
+ *
+ * Uses `never` for args so descriptors with stricter argument objects remain assignable.
+ */
+export type AnyToolDescriptor = ToolDescriptor<never, CallToolResult, string>;
+/**
+ * Infers argument shape from a tool descriptor.
+ */
+export type InferToolArgs<TTool> = TTool extends ToolDescriptor<infer TArgs, infer _TResult, infer _TName> ? TArgs : never;
+/**
+ * Infers result shape from a tool descriptor.
+ */
+export type InferToolResult<TTool> = TTool extends ToolDescriptor<infer _TArgs, infer TResult, infer _TName> ? TResult : never;
+/**
+ * Union of tool names from a tuple/array of descriptors.
+ */
+export type ToolName<TTools extends readonly {
+    name: string;
+}[]> = TTools[number]['name'];
+/**
+ * Extracts a tool descriptor by name from a tuple/array.
+ */
+export type ToolByName<TTools extends readonly {
+    name: string;
+}[], TName extends ToolName<TTools>> = Extract<TTools[number], {
+    name: TName;
+}>;
+/**
+ * Tool argument type by tool name from a tuple/array.
+ */
+export type ToolArgsByName<TTools extends readonly {
+    name: string;
+}[], TName extends ToolName<TTools>> = InferToolArgs<ToolByName<TTools, TName>>;
+/**
+ * Tool result type by tool name from a tuple/array.
+ */
+export type ToolResultByName<TTools extends readonly {
+    name: string;
+}[], TName extends ToolName<TTools>> = InferToolResult<ToolByName<TTools, TName>>;
+/**
+ * Typed parameters for `callTool`.
+ *
+ * When a tool has no args (`Record<string, never>`), `arguments` becomes optional.
+ */
+export type ToolCallParams<TName extends string = string, TArgs extends Record<string, unknown> = Record<string, never>> = {
+    name: TName;
+} & (TArgs extends Record<string, never> ? {
+    arguments?: TArgs;
+} : {
+    arguments: TArgs;
+});
+/**
+ * Event dispatched when a tool is called.
+ */
+export interface ToolCallEvent extends Event {
+    /**
+     * Tool name being invoked.
+     */
+    name: string;
+    /**
+     * Tool arguments supplied by the caller.
+     */
+    arguments: Record<string, unknown>;
+    /**
+     * Intercepts execution with a custom tool response.
+     */
+    respondWith: (response: ToolResponse) => void;
+}
+/**
+ * Strict WebMCP core interface on navigator.modelContext.
+ */
+export interface ModelContextCore {
+    /**
+     * Replaces base context with provided tools.
+     */
+    provideContext(options?: ModelContextOptions): void;
+    /**
+     * Registers a dynamic tool with JSON Schema-driven inference.
+     *
+     * `execute(args)` is inferred from `inputSchema`, and when a literal object
+     * `outputSchema` is provided, `execute(...).structuredContent` is inferred too.
+     */
+    registerTool<TInputSchema extends JsonSchemaForInference, TOutputSchema extends JsonSchemaObject | undefined = undefined, TName extends string = string>(tool: ToolDescriptorFromSchema<TInputSchema, TOutputSchema, TName>): void;
+    /**
+     * Registers a dynamic tool with explicitly typed args/result.
+     */
+    registerTool<TInputSchema extends InputSchema, TArgs extends Record<string, unknown> = Record<string, unknown>, TResult extends CallToolResult = CallToolResult, TName extends string = string>(tool: ToolDescriptor<TArgs, TResult, TName> & {
+        inputSchema: TInputSchema;
+    } & (TInputSchema extends InputSchema ? string extends TInputSchema['type'] ? unknown : never : unknown)): void;
+    /**
+     * Registers a dynamic tool without an explicit inputSchema.
+     * Runtime defaults this to an empty object schema.
+     */
+    registerTool<TArgs extends Record<string, unknown> = Record<string, unknown>, TResult extends CallToolResult = CallToolResult, TName extends string = string>(tool: Omit<ToolDescriptor<TArgs, TResult, TName>, 'inputSchema'> & {
+        inputSchema?: undefined;
+    }): void;
+    /**
+     * Unregisters a dynamic tool by name.
+     */
+    unregisterTool(name: string): void;
+    /**
+     * Clears all context (base + dynamic registrations).
+     */
+    clearContext(): void;
+}
+/**
+ * MCPB extension surface layered on top of strict WebMCP core.
+ * These members are intentionally non-standard.
+ */
+export interface ModelContextExtensions {
+    /**
+     * Lists currently registered tools.
+     */
+    listTools(): ToolListItem[];
+    /**
+     * Executes a registered tool.
+     */
+    callTool<TName extends string = string, TArgs extends Record<string, unknown> = Record<string, unknown>>(params: {
+        name: TName;
+        arguments?: TArgs;
+    }): Promise<ToolResponse>;
+    /**
+     * Adds a listener for tool invocation events.
+     */
+    addEventListener(type: 'toolcall', listener: (event: ToolCallEvent) => void | Promise<void>, options?: boolean | AddEventListenerOptions): void;
+    /**
+     * Adds a listener for tool list changes.
+     */
+    addEventListener(type: 'toolschanged', listener: () => void, options?: boolean | AddEventListenerOptions): void;
+    /**
+     * Removes a listener for tool invocation events.
+     */
+    removeEventListener(type: 'toolcall', listener: (event: ToolCallEvent) => void | Promise<void>, options?: boolean | EventListenerOptions): void;
+    /**
+     * Removes a listener for tool list changes.
+     */
+    removeEventListener(type: 'toolschanged', listener: () => void, options?: boolean | EventListenerOptions): void;
+    /**
+     * Dispatches an event.
+     */
+    dispatchEvent(event: Event): boolean;
+}
+/**
+ * Public navigator.modelContext type (strict core only).
+ */
+export type ModelContext = ModelContextCore;
+/**
+ * Full runtime shape including MCPB extensions.
+ */
+export type ModelContextWithExtensions = ModelContextCore & ModelContextExtensions;
+/**
+ * Strongly-typed `ModelContext` view derived from known tool descriptors.
+ *
+ * This is useful when your project has a static tool registry and you want
+ * name-aware inference for `callTool`.
+ */
+export type TypedModelContext<TTools extends readonly {
+    name: string;
+}[] = readonly ToolDescriptor[]> = ModelContextWithExtensions & {
+    /**
+     * Executes a known tool with name-aware argument and response inference.
+     */
+    callTool<TName extends ToolName<TTools>>(params: ToolCallParams<TName, ToolArgsByName<TTools, TName>>): Promise<ToolResultByName<TTools, TName>>;
+    /**
+     * Fallback call signature for unknown or dynamically-discovered tools.
+     */
+    callTool(params: {
+        name: string;
+        arguments?: Record<string, unknown>;
+    }): Promise<ToolResponse>;
+    /**
+     * Lists tools with a narrowed name union.
+     */
+    listTools(): Array<ToolListItem<ToolName<TTools>>>;
+};
+//# sourceMappingURL=model-context.d.ts.map

package/dist/model-context.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"model-context.d.ts","sourceRoot":"","sources":["../src/model-context.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC7E,OAAO,KAAK,EAAE,sBAAsB,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AACjF,OAAO,KAAK,EAAE,cAAc,EAAE,wBAAwB,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AAMxF;;GAEG;AACH,MAAM,WAAW,iBAAiB,CAAC,MAAM,SAAS,SAAS,cAAc,EAAE,GAAG,cAAc,EAAE;IAC5F;;OAEG;IACH,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED;;GAEG;AACH,MAAM,MAAM,mBAAmB,GAAG,iBAAiB,CAAC;AAMpD;;GAEG;AACH,MAAM,WAAW,2BAA2B;IAC1C,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED;;GAEG;AACH,MAAM,WAAW,qCAAqC;IACpD,MAAM,CAAC,EAAE,WAAW,CAAC;CACtB;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,SAAS,IAAI,2BAA2B,EAAE,CAAC;IAC3C,WAAW,CACT,QAAQ,EAAE,MAAM,EAChB,aAAa,EAAE,MAAM,EACrB,OAAO,CAAC,EAAE,qCAAqC,GAC9C,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC;IAC1B,4BAA4B,CAAC,QAAQ,EAAE,MAAM,IAAI,GAAG,IAAI,CAAC;IACzD,gCAAgC,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;CACrD;AAED;;GAEG;AACH,MAAM,WAAW,qCAAqC;IACpD,YAAY,IAAI,KAAK,CAAC;QACpB,QAAQ,EAAE,MAAM,CAAC;QACjB,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACnC,SAAS,EAAE,MAAM,CAAC;KACnB,CAAC,CAAC;IACH,cAAc,IAAI,IAAI,CAAC;IACvB,mBAAmB,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,YAAY,GAAG,IAAI,CAAC;IACpE,qBAAqB,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9C,yBAAyB,IAAI,IAAI,CAAC;IAClC,kBAAkB,IAAI,UAAU,CAAC,sBAAsB,CAAC,WAAW,CAAC,CAAC,CAAC;IACtE,KAAK,IAAI,IAAI,CAAC;CACf;AAMD;;;;GAIG;AACH,MAAM,MAAM,iBAAiB,GAAG,cAAc,CAAC,KAAK,EAAE,cAAc,EAAE,MAAM,CAAC,CAAC;AAE9E;;GAEG;AACH,MAAM,MAAM,aAAa,CAAC,KAAK,IAAI,KAAK,SAAS,cAAc,CAC7D,MAAM,KAAK,EACX,MAAM,QAAQ,EACd,MAAM,MAAM,CACb,GACG,KAAK,GACL,KAAK,CAAC;AAEV;;GAEG;AACH,MAAM,MAAM,eAAe,CAAC,KAAK,IAAI,KAAK,SAAS,cAAc,CAC/D,MAAM,MAAM,EACZ,MAAM,OAAO,EACb,MAAM,MAAM,CACb,GACG,OAAO,GACP,KAAK,CAAC;AAEV;;GAEG;AACH,MAAM,MAAM,QAAQ,CAAC,MAAM,SAAS,SAAS;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,EAAE,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC;AAE1F;;GAEG;AACH,MAAM,MAAM,UAAU,CACpB,MAAM,SAAS,SAAS;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,EAAE,EAC1C,KAAK,SAAS,QAAQ,CAAC,MAAM,CAAC,IAC5B,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE;IAAE,IAAI,EAAE,KAAK,CAAA;CAAE,CAAC,CAAC;AAE7C;;GAEG;AACH,MAAM,MAAM,cAAc,CACxB,MAAM,SAAS,SAAS;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,EAAE,EAC1C,KAAK,SAAS,QAAQ,CAAC,MAAM,CAAC,IAC5B,aAAa,CAAC,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;AAE7C;;GAEG;AACH,MAAM,MAAM,gBAAgB,CAC1B,MAAM,SAAS,SAAS;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,EAAE,EAC1C,KAAK,SAAS,QAAQ,CAAC,MAAM,CAAC,IAC5B,eAAe,CAAC,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;AAE/C;;;;GAIG;AACH,MAAM,MAAM,cAAc,CACxB,KAAK,SAAS,MAAM,GAAG,MAAM,EAC7B,KAAK,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAC3D;IAAE,IAAI,EAAE,KAAK,CAAA;CAAE,GAAG,CAAC,KAAK,SAAS,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,GACtD;IAAE,SAAS,CAAC,EAAE,KAAK,CAAA;CAAE,GACrB;IAAE,SAAS,EAAE,KAAK,CAAA;CAAE,CAAC,CAAC;AAM1B;;GAEG;AACH,MAAM,WAAW,aAAc,SAAQ,KAAK;IAC1C;;OAEG;IACH,IAAI,EAAE,MAAM,CAAC;IAEb;;OAEG;IACH,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAEnC;;OAEG;IACH,WAAW,EAAE,CAAC,QAAQ,EAAE,YAAY,KAAK,IAAI,CAAC;CAC/C;AAMD;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAG/B;;OAEG;IACH,cAAc,CAAC,OAAO,CAAC,EAAE,mBAAmB,GAAG,IAAI,CAAC;IAIpD;;;;;OAKG;IACH,YAAY,CACV,YAAY,SAAS,sBAAsB,EAC3C,aAAa,SAAS,gBAAgB,GAAG,SAAS,GAAG,SAAS,EAC9D,KAAK,SAAS,MAAM,GAAG,MAAM,EAC7B,IAAI,EAAE,wBAAwB,CAAC,YAAY,EAAE,aAAa,EAAE,KAAK,CAAC,GAAG,IAAI,CAAC;IAE5E;;OAEG;IACH,YAAY,CACV,YAAY,SAAS,WAAW,EAChC,KAAK,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC/D,OAAO,SAAS,cAAc,GAAG,cAAc,EAC/C,KAAK,SAAS,MAAM,GAAG,MAAM,EAE7B,IAAI,EAAE,cAAc,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,GAAG;QAC5C,WAAW,EAAE,YAAY,CAAC;KAC3B,GAAG,CAAC,YAAY,SAAS,WAAW,GAC/B,MAAM,SAAS,YAAY,CAAC,MAAM,CAAC,GACjC,OAAO,GACP,KAAK,GACP,OAAO,CAAC,GACb,IAAI,CAAC;IAER;;;OAGG;IACH,YAAY,CACV,KAAK,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC/D,OAAO,SAAS,cAAc,GAAG,cAAc,EAC/C,KAAK,SAAS,MAAM,GAAG,MAAM,EAE7B,IAAI,EAAE,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,aAAa,CAAC,GAAG;QACjE,WAAW,CAAC,EAAE,SAAS,CAAC;KACzB,GACA,IAAI,CAAC;IAER;;OAEG;IACH,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAEnC;;OAEG;IACH,YAAY,IAAI,IAAI,CAAC;CACtB;AAED;;;GAGG;AACH,MAAM,WAAW,sBAAsB;IACrC;;OAEG;IACH,SAAS,IAAI,YAAY,EAAE,CAAC;IAE5B;;OAEG;IACH,QAAQ,CACN,KAAK,SAAS,MAAM,GAAG,MAAM,EAC7B,KAAK,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC/D,MAAM,EAAE;QAAE,IAAI,EAAE,KAAK,CAAC;QAAC,SAAS,CAAC,EAAE,KAAK,CAAA;KAAE,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;IAIrE;;OAEG;IACH,gBAAgB,CACd,IAAI,EAAE,UAAU,EAChB,QAAQ,EAAE,CAAC,KAAK,EAAE,aAAa,KAAK,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,EACxD,OAAO,CAAC,EAAE,OAAO,GAAG,uBAAuB,GAC1C,IAAI,CAAC;IAER;;OAEG;IACH,gBAAgB,CACd,IAAI,EAAE,cAAc,EACpB,QAAQ,EAAE,MAAM,IAAI,EACpB,OAAO,CAAC,EAAE,OAAO,GAAG,uBAAuB,GAC1C,IAAI,CAAC;IAER;;OAEG;IACH,mBAAmB,CACjB,IAAI,EAAE,UAAU,EAChB,QAAQ,EAAE,CAAC,KAAK,EAAE,aAAa,KAAK,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,EACxD,OAAO,CAAC,EAAE,OAAO,GAAG,oBAAoB,GACvC,IAAI,CAAC;IAER;;OAEG;IACH,mBAAmB,CACjB,IAAI,EAAE,cAAc,EACpB,QAAQ,EAAE,MAAM,IAAI,EACpB,OAAO,CAAC,EAAE,OAAO,GAAG,oBAAoB,GACvC,IAAI,CAAC;IAER;;OAEG;IACH,aAAa,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAAC;CACtC;AAED;;GAEG;AACH,MAAM,MAAM,YAAY,GAAG,gBAAgB,CAAC;AAE5C;;GAEG;AACH,MAAM,MAAM,0BAA0B,GAAG,gBAAgB,GAAG,sBAAsB,CAAC;AAMnF;;;;;GAKG;AACH,MAAM,MAAM,iBAAiB,CAC3B,MAAM,SAAS,SAAS;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,EAAE,GAAG,SAAS,cAAc,EAAE,IACpE,0BAA0B,GAAG;IAC/B;;OAEG;IACH,QAAQ,CAAC,KAAK,SAAS,QAAQ,CAAC,MAAM,CAAC,EACrC,MAAM,EAAE,cAAc,CAAC,KAAK,EAAE,cAAc,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,GAC3D,OAAO,CAAC,gBAAgB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;IAE5C;;OAEG;IACH,QAAQ,CAAC,MAAM,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;KAAE,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;IAE/F;;OAEG;IACH,SAAS,IAAI,KAAK,CAAC,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;CACpD,CAAC"}

package/dist/standard-schema.d.ts

@@ -0,0 +1,32 @@
+import type { StandardJSONSchemaV1 as BaseStandardJSONSchemaV1, StandardSchemaV1 as BaseStandardSchemaV1, StandardTypedV1 } from '@standard-schema/spec';
+import type { InputSchema } from './common.js';
+/**
+ * Re-export of the official Standard Schema spec types.
+ */
+export type { BaseStandardJSONSchemaV1 as StandardJSONSchemaV1, BaseStandardSchemaV1 as StandardSchemaV1, StandardTypedV1, };
+/**
+ * Standard Schema validator constrained to object-like tool args.
+ */
+export type StandardInputValidatorSchema = BaseStandardSchemaV1<Record<string, unknown>, Record<string, unknown>>;
+/**
+ * Standard JSON Schema converter constrained to object-like tool args.
+ */
+export type StandardInputJsonSchema = BaseStandardJSONSchemaV1<Record<string, unknown>, Record<string, unknown>>;
+/**
+ * Schema that supports both Standard Schema validation and JSON Schema conversion.
+ */
+export type StandardInputSchemaWithJson = StandardInputValidatorSchema & StandardInputJsonSchema;
+/**
+ * Any input schema accepted by tool descriptors.
+ *
+ * Runtime adapters may normalize all inputs to a Standard Schema validator.
+ * When a schema implements both Standard Schema validation and Standard JSON
+ * Schema conversion, adapters may prefer JSON conversion to keep validation
+ * errors consistent across plain JSON Schema and Standard-compatible inputs.
+ */
+export type ToolInputSchema = InputSchema | StandardInputValidatorSchema | StandardInputJsonSchema;
+/**
+ * Any output schema accepted by tool descriptors.
+ */
+export type ToolOutputSchema = InputSchema | StandardInputJsonSchema;
+//# sourceMappingURL=standard-schema.d.ts.map

package/dist/standard-schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"standard-schema.d.ts","sourceRoot":"","sources":["../src/standard-schema.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,oBAAoB,IAAI,wBAAwB,EAChD,gBAAgB,IAAI,oBAAoB,EACxC,eAAe,EAChB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE/C;;GAEG;AACH,YAAY,EACV,wBAAwB,IAAI,oBAAoB,EAChD,oBAAoB,IAAI,gBAAgB,EACxC,eAAe,GAChB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,4BAA4B,GAAG,oBAAoB,CAC7D,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACvB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CACxB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,uBAAuB,GAAG,wBAAwB,CAC5D,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACvB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CACxB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,2BAA2B,GAAG,4BAA4B,GAAG,uBAAuB,CAAC;AAEjG;;;;;;;GAOG;AACH,MAAM,MAAM,eAAe,GAAG,WAAW,GAAG,4BAA4B,GAAG,uBAAuB,CAAC;AAEnG;;GAEG;AACH,MAAM,MAAM,gBAAgB,GAAG,WAAW,GAAG,uBAAuB,CAAC"}

package/dist/tool.d.ts

@@ -0,0 +1,153 @@
+import type { CallToolResult, ElicitationParams, ElicitationResult, InputSchema } from './common.js';
+import type { InferArgsFromInputSchema, InferJsonSchema, JsonSchemaObject } from './json-schema.js';
+/**
+ * Annotations providing hints about tool behavior.
+ *
+ * @see {@link https://spec.modelcontextprotocol.io/specification/server/tools/}
+ */
+export interface ToolAnnotations {
+    /**
+     * Optional display title.
+     */
+    title?: string;
+    /**
+     * Indicates the tool is read-only.
+     */
+    readOnlyHint?: boolean;
+    /**
+     * Indicates the tool may perform destructive actions.
+     */
+    destructiveHint?: boolean;
+    /**
+     * Indicates the tool can be called repeatedly without changing outcome.
+     */
+    idempotentHint?: boolean;
+    /**
+     * Indicates the tool may reach beyond local context (network, external systems, etc.).
+     */
+    openWorldHint?: boolean;
+}
+/**
+ * Per-call client provided to tool handlers.
+ */
+export interface ModelContextClient {
+    /**
+     * Requests user interaction during the current tool call.
+     */
+    requestUserInteraction(callback: () => Promise<unknown>): Promise<unknown>;
+}
+/**
+ * MCPB extension context with additional elicitation helper.
+ */
+export interface ToolExecutionContext extends ModelContextClient {
+    /**
+     * Requests user input for the current tool call.
+     *
+     * This function is bound to the active tool call and should only be used
+     * during execution of that call.
+     */
+    elicitInput(params: ElicitationParams): Promise<ElicitationResult>;
+}
+/**
+ * Value that may be returned synchronously or via Promise.
+ */
+export type MaybePromise<T> = T | Promise<T>;
+/**
+ * Tool descriptor for the Web Model Context API.
+ *
+ * Tools are functions that AI models can call to perform actions or retrieve
+ * information. This interface uses JSON Schema for input/output typing.
+ *
+ * @template TArgs - Tool input arguments.
+ * @template TResult - Tool execution result shape.
+ * @template TName - Tool name literal type.
+ *
+ * @see {@link https://spec.modelcontextprotocol.io/specification/server/tools/}
+ */
+export interface ToolDescriptor<TArgs extends Record<string, unknown> = Record<string, unknown>, TResult extends CallToolResult = CallToolResult, TName extends string = string> {
+    /**
+     * Unique tool identifier.
+     */
+    name: TName;
+    /**
+     * Human-readable summary of what the tool does.
+     */
+    description: string;
+    /**
+     * Schema describing accepted input arguments.
+     */
+    inputSchema?: InputSchema;
+    /**
+     * Optional schema describing output payload shape.
+     */
+    outputSchema?: InputSchema;
+    /**
+     * Optional behavior hints for LLM planners.
+     */
+    annotations?: ToolAnnotations;
+    /**
+     * Tool execution function.
+     */
+    execute: (args: TArgs, client: ModelContextClient) => MaybePromise<TResult>;
+}
+/**
+ * Tool response shape inferred from an `outputSchema`.
+ *
+ * When a literal object output schema is provided, `structuredContent` is
+ * narrowed to the inferred schema type. Otherwise, this resolves to the
+ * base `CallToolResult`.
+ *
+ * @template TOutputSchema - Optional literal JSON object schema.
+ */
+export type ToolResultFromOutputSchema<TOutputSchema extends JsonSchemaObject | undefined = undefined> = TOutputSchema extends JsonSchemaObject ? CallToolResult & {
+    structuredContent?: InferJsonSchema<TOutputSchema>;
+} : CallToolResult;
+/**
+ * Tool descriptor whose `execute` args are inferred from a JSON Schema.
+ *
+ * For widened/non-literal schemas, arguments fall back to `Record<string, unknown>`.
+ * When `outputSchema` is an inferable literal object schema, `structuredContent` is inferred.
+ *
+ * @template TInputSchema - JSON Schema for tool arguments.
+ * @template TOutputSchema - Optional JSON schema for `structuredContent`.
+ * @template TName - Tool name literal type.
+ * @template TResult - Optional result type override constrained by inferred output schema.
+ */
+export type ToolDescriptorFromSchema<TInputSchema extends {
+    type: string | readonly string[];
+}, TOutputSchema extends JsonSchemaObject | undefined = undefined, TName extends string = string> = Omit<ToolDescriptor<InferArgsFromInputSchema<TInputSchema>, ToolResultFromOutputSchema<TOutputSchema>, TName>, 'inputSchema' | 'outputSchema'> & {
+    inputSchema: TInputSchema;
+} & (TOutputSchema extends JsonSchemaObject ? {
+    outputSchema: TOutputSchema;
+} : {
+    outputSchema?: undefined;
+});
+/**
+ * Tool information returned by listTools().
+ * Provides metadata about a registered tool without exposing the execute function.
+ *
+ * @template TName - Tool name literal type.
+ */
+export interface ToolListItem<TName extends string = string> {
+    /**
+     * Unique tool identifier.
+     */
+    name: TName;
+    /**
+     * Human-readable summary of what the tool does.
+     */
+    description: string;
+    /**
+     * JSON Schema describing accepted input arguments.
+     */
+    inputSchema: InputSchema;
+    /**
+     * Optional JSON Schema describing output payload shape.
+     */
+    outputSchema?: InputSchema;
+    /**
+     * Optional behavior hints for LLM planners.
+     */
+    annotations?: ToolAnnotations;
+}
+//# sourceMappingURL=tool.d.ts.map

package/dist/tool.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tool.d.ts","sourceRoot":"","sources":["../src/tool.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,cAAc,EACd,iBAAiB,EACjB,iBAAiB,EACjB,WAAW,EACZ,MAAM,aAAa,CAAC;AACrB,OAAO,KAAK,EAAE,wBAAwB,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAMpG;;;;GAIG;AACH,MAAM,WAAW,eAAe;IAC9B;;OAEG;IACH,KAAK,CAAC,EAAE,MAAM,CAAC;IAEf;;OAEG;IACH,YAAY,CAAC,EAAE,OAAO,CAAC;IAEvB;;OAEG;IACH,eAAe,CAAC,EAAE,OAAO,CAAC;IAE1B;;OAEG;IACH,cAAc,CAAC,EAAE,OAAO,CAAC;IAEzB;;OAEG;IACH,aAAa,CAAC,EAAE,OAAO,CAAC;CACzB;AAMD;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC;;OAEG;IACH,sBAAsB,CAAC,QAAQ,EAAE,MAAM,OAAO,CAAC,OAAO,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;CAC5E;AAED;;GAEG;AACH,MAAM,WAAW,oBAAqB,SAAQ,kBAAkB;IAC9D;;;;;OAKG;IACH,WAAW,CAAC,MAAM,EAAE,iBAAiB,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAAC;CACpE;AAED;;GAEG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;AAE7C;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,cAAc,CAC7B,KAAK,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC/D,OAAO,SAAS,cAAc,GAAG,cAAc,EAC/C,KAAK,SAAS,MAAM,GAAG,MAAM;IAE7B;;OAEG;IACH,IAAI,EAAE,KAAK,CAAC;IAEZ;;OAEG;IACH,WAAW,EAAE,MAAM,CAAC;IAEpB;;OAEG;IACH,WAAW,CAAC,EAAE,WAAW,CAAC;IAE1B;;OAEG;IACH,YAAY,CAAC,EAAE,WAAW,CAAC;IAE3B;;OAEG;IACH,WAAW,CAAC,EAAE,eAAe,CAAC;IAE9B;;OAEG;IACH,OAAO,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,kBAAkB,KAAK,YAAY,CAAC,OAAO,CAAC,CAAC;CAC7E;AAED;;;;;;;;GAQG;AACH,MAAM,MAAM,0BAA0B,CACpC,aAAa,SAAS,gBAAgB,GAAG,SAAS,GAAG,SAAS,IAC5D,aAAa,SAAS,gBAAgB,GACtC,cAAc,GAAG;IAAE,iBAAiB,CAAC,EAAE,eAAe,CAAC,aAAa,CAAC,CAAA;CAAE,GACvE,cAAc,CAAC;AAEnB;;;;;;;;;;GAUG;AACH,MAAM,MAAM,wBAAwB,CAClC,YAAY,SAAS;IAAE,IAAI,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAAA;CAAE,EACzD,aAAa,SAAS,gBAAgB,GAAG,SAAS,GAAG,SAAS,EAC9D,KAAK,SAAS,MAAM,GAAG,MAAM,IAC3B,IAAI,CACN,cAAc,CACZ,wBAAwB,CAAC,YAAY,CAAC,EACtC,0BAA0B,CAAC,aAAa,CAAC,EACzC,KAAK,CACN,EACD,aAAa,GAAG,cAAc,CAC/B,GAAG;IACF,WAAW,EAAE,YAAY,CAAC;CAC3B,GAAG,CAAC,aAAa,SAAS,gBAAgB,GACrC;IACE,YAAY,EAAE,aAAa,CAAC;CAC7B,GACD;IACE,YAAY,CAAC,EAAE,SAAS,CAAC;CAC1B,CAAC,CAAC;AAMT;;;;;GAKG;AACH,MAAM,WAAW,YAAY,CAAC,KAAK,SAAS,MAAM,GAAG,MAAM;IACzD;;OAEG;IACH,IAAI,EAAE,KAAK,CAAC;IAEZ;;OAEG;IACH,WAAW,EAAE,MAAM,CAAC;IAEpB;;OAEG;IACH,WAAW,EAAE,WAAW,CAAC;IAEzB;;OAEG;IACH,YAAY,CAAC,EAAE,WAAW,CAAC;IAE3B;;OAEG;IACH,WAAW,CAAC,EAAE,eAAe,CAAC;CAC/B"}