@aletheia-works/vivarium-mcp 0.0.1

package/dist/server.js

@@ -0,0 +1,114 @@
+// MCP server wiring — registers the v1 tools and connects a stdio
+// transport.
+//
+// Tool surface:
+//   list_recipes / get_recipe / lookup_verdict — ADR-0019 §3 (X.1, v0.1).
+//   match_error                                 — Phase 6 X.2, mirrors the
+//                                                 docs S.2 matcher
+//                                                 (ADR-0025 §Neutral).
+//   verify_branch_fix                           — Phase 7 B3, deep-link
+//                                                 helper for the AI-slop
+//                                                 verification loop
+//                                                 (ADR-0030).
+//   prepare_new_recipe                          — Tier 2, returns the full
+//                                                 authoring command bundle
+//                                                 (scaffold + verify +
+//                                                 facets/projects rows)
+//                                                 for a new upstream
+//                                                 issue.
+//
+// See ADR-0019 §1 for the stdio-transport choice.
+import { Server } from '@modelcontextprotocol/sdk/server/index.js';
+import { StdioServerTransport } from '@modelcontextprotocol/sdk/server/stdio.js';
+import { CallToolRequestSchema, ListToolsRequestSchema, } from '@modelcontextprotocol/sdk/types.js';
+import { GET_RECIPE_TOOL, getRecipe } from './tools/get_recipe.js';
+import { LIST_RECIPES_TOOL, listRecipes, } from './tools/list_recipes.js';
+import { LOOKUP_VERDICT_TOOL, lookupVerdict, } from './tools/lookup_verdict.js';
+import { MATCH_ERROR_TOOL, matchError, } from './tools/match_error.js';
+import { PREPARE_NEW_RECIPE_TOOL, prepareNewRecipe, } from './tools/prepare_new_recipe.js';
+import { VERIFY_BRANCH_FIX_TOOL, verifyBranchFix, } from './tools/verify_branch_fix.js';
+const SERVER_NAME = 'vivarium-mcp';
+// Keep in sync with package.json + jsr.json. Updated by the publish
+// workflow on tag push; unsynced values produce a confusing client
+// experience (the MCP `initialize` response carries this string).
+// Stays at 0.1.0 across the Phase 7 A5 + B3 tool additions because
+// the package has not been published to JSR / npm yet — bumping a
+// pre-publish version literal only confuses clients that ever see
+// a development build.
+const SERVER_VERSION = '0.1.0';
+export function createServer() {
+    const server = new Server({ name: SERVER_NAME, version: SERVER_VERSION }, { capabilities: { tools: {} } });
+    server.setRequestHandler(ListToolsRequestSchema, async () => ({
+        tools: [
+            LIST_RECIPES_TOOL,
+            GET_RECIPE_TOOL,
+            LOOKUP_VERDICT_TOOL,
+            MATCH_ERROR_TOOL,
+            VERIFY_BRANCH_FIX_TOOL,
+            PREPARE_NEW_RECIPE_TOOL,
+        ],
+    }));
+    server.setRequestHandler(CallToolRequestSchema, async (req) => {
+        const name = req.params.name;
+        const args = (req.params.arguments ?? {});
+        let payload;
+        try {
+            switch (name) {
+                case 'list_recipes':
+                    payload = await listRecipes(args);
+                    break;
+                case 'get_recipe':
+                    payload = await getRecipe(args);
+                    break;
+                case 'lookup_verdict':
+                    payload = await lookupVerdict(args);
+                    break;
+                case 'match_error':
+                    payload = await matchError(args);
+                    break;
+                case 'verify_branch_fix':
+                    payload = await verifyBranchFix(args);
+                    break;
+                case 'prepare_new_recipe':
+                    payload = await prepareNewRecipe(args);
+                    break;
+                default:
+                    return {
+                        isError: true,
+                        content: [
+                            {
+                                type: 'text',
+                                text: `unknown tool: ${name}`,
+                            },
+                        ],
+                    };
+            }
+        }
+        catch (err) {
+            return {
+                isError: true,
+                content: [
+                    {
+                        type: 'text',
+                        text: `tool ${name} threw: ${err instanceof Error ? err.message : String(err)}`,
+                    },
+                ],
+            };
+        }
+        return {
+            content: [
+                {
+                    type: 'text',
+                    text: JSON.stringify(payload, null, 2),
+                },
+            ],
+        };
+    });
+    return server;
+}
+export async function runServer() {
+    const server = createServer();
+    const transport = new StdioServerTransport();
+    await server.connect(transport);
+}
+//# sourceMappingURL=server.js.map

package/dist/server.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"server.js","sourceRoot":"","sources":["../src/server.ts"],"names":[],"mappings":"AAAA,kEAAkE;AAClE,aAAa;AACb,EAAE;AACF,gBAAgB;AAChB,0EAA0E;AAC1E,2EAA2E;AAC3E,mEAAmE;AACnE,uEAAuE;AACvE,wEAAwE;AACxE,yEAAyE;AACzE,oEAAoE;AACpE,8DAA8D;AAC9D,2EAA2E;AAC3E,2EAA2E;AAC3E,uEAAuE;AACvE,wEAAwE;AACxE,qEAAqE;AACrE,yDAAyD;AACzD,EAAE;AACF,kDAAkD;AAElD,OAAO,EAAE,MAAM,EAAE,MAAM,2CAA2C,CAAC;AACnE,OAAO,EAAE,oBAAoB,EAAE,MAAM,2CAA2C,CAAC;AACjF,OAAO,EACL,qBAAqB,EACrB,sBAAsB,GACvB,MAAM,oCAAoC,CAAC;AAE5C,OAAO,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AACnE,OAAO,EACL,iBAAiB,EACjB,WAAW,GAEZ,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,mBAAmB,EACnB,aAAa,GACd,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,gBAAgB,EAChB,UAAU,GAEX,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,uBAAuB,EACvB,gBAAgB,GAEjB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EACL,sBAAsB,EACtB,eAAe,GAEhB,MAAM,8BAA8B,CAAC;AAEtC,MAAM,WAAW,GAAG,cAAc,CAAC;AACnC,oEAAoE;AACpE,mEAAmE;AACnE,kEAAkE;AAClE,mEAAmE;AACnE,kEAAkE;AAClE,kEAAkE;AAClE,uBAAuB;AACvB,MAAM,cAAc,GAAG,OAAO,CAAC;AAE/B,MAAM,UAAU,YAAY;IAC1B,MAAM,MAAM,GAAG,IAAI,MAAM,CACvB,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,cAAc,EAAE,EAC9C,EAAE,YAAY,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,CAChC,CAAC;IAEF,MAAM,CAAC,iBAAiB,CAAC,sBAAsB,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC;QAC5D,KAAK,EAAE;YACL,iBAAiB;YACjB,eAAe;YACf,mBAAmB;YACnB,gBAAgB;YAChB,sBAAsB;YACtB,uBAAuB;SACxB;KACF,CAAC,CAAC,CAAC;IAEJ,MAAM,CAAC,iBAAiB,CAAC,qBAAqB,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE;QAC5D,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC;QAC7B,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,IAAI,EAAE,CAA4B,CAAC;QAErE,IAAI,OAAgB,CAAC;QACrB,IAAI,CAAC;YACH,QAAQ,IAAI,EAAE,CAAC;gBACb,KAAK,cAAc;oBACjB,OAAO,GAAG,MAAM,WAAW,CAAC,IAAuB,CAAC,CAAC;oBACrD,MAAM;gBACR,KAAK,YAAY;oBACf,OAAO,GAAG,MAAM,SAAS,CAAC,IAAwB,CAAC,CAAC;oBACpD,MAAM;gBACR,KAAK,gBAAgB;oBACnB,OAAO,GAAG,MAAM,aAAa,CAAC,IAAwB,CAAC,CAAC;oBACxD,MAAM;gBACR,KAAK,aAAa;oBAChB,OAAO,GAAG,MAAM,UAAU,CAAC,IAAiC,CAAC,CAAC;oBAC9D,MAAM;gBACR,KAAK,mBAAmB;oBACtB,OAAO,GAAG,MAAM,eAAe,CAC7B,IAAsC,CACvC,CAAC;oBACF,MAAM;gBACR,KAAK,oBAAoB;oBACvB,OAAO,GAAG,MAAM,gBAAgB,CAC9B,IAAuC,CACxC,CAAC;oBACF,MAAM;gBACR;oBACE,OAAO;wBACL,OAAO,EAAE,IAAI;wBACb,OAAO,EAAE;4BACP;gCACE,IAAI,EAAE,MAAM;gCACZ,IAAI,EAAE,iBAAiB,IAAI,EAAE;6BAC9B;yBACF;qBACF,CAAC;YACN,CAAC;QACH,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO;gBACL,OAAO,EAAE,IAAI;gBACb,OAAO,EAAE;oBACP;wBACE,IAAI,EAAE,MAAM;wBACZ,IAAI,EAAE,QAAQ,IAAI,WAAW,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE;qBAChF;iBACF;aACF,CAAC;QACJ,CAAC;QAED,OAAO;YACL,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,MAAM;oBACZ,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;iBACvC;aACF;SACF,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,SAAS;IAC7B,MAAM,MAAM,GAAG,YAAY,EAAE,CAAC;IAC9B,MAAM,SAAS,GAAG,IAAI,oBAAoB,EAAE,CAAC;IAC7C,MAAM,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;AAClC,CAAC"}

package/dist/tools/get_recipe.d.ts

@@ -0,0 +1,28 @@
+import type { RecipeEntry } from '../types.js';
+export interface GetRecipeArgs {
+    slug: string;
+}
+export type GetRecipeResult = {
+    found: true;
+    recipe: RecipeEntry;
+} | {
+    found: false;
+    error: string;
+};
+export declare function getRecipe(args: GetRecipeArgs): Promise<GetRecipeResult>;
+export declare const GET_RECIPE_TOOL: {
+    readonly name: "get_recipe";
+    readonly description: "Get full metadata for a single recipe by slug, including the live page URL, verdict snapshot URL (Layer 2/3), and GitHub source URL. Use `list_recipes` first to discover available slugs. Returns `found: false` with an error message if the slug is unknown.";
+    readonly inputSchema: {
+        readonly type: "object";
+        readonly properties: {
+            readonly slug: {
+                readonly type: "string";
+                readonly pattern: "^[a-z0-9]+(-[a-z0-9]+)*$";
+                readonly description: "Kebab-case recipe slug (e.g. 'pandas-56679', 'bash-local-shadows-exit'). Same convention as Manifest v1's `slug`.";
+            };
+        };
+        readonly required: readonly ["slug"];
+    };
+};
+//# sourceMappingURL=get_recipe.d.ts.map

package/dist/tools/get_recipe.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"get_recipe.d.ts","sourceRoot":"","sources":["../../src/tools/get_recipe.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE/C,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,MAAM,eAAe,GACvB;IAAE,KAAK,EAAE,IAAI,CAAC;IAAC,MAAM,EAAE,WAAW,CAAA;CAAE,GACpC;IAAE,KAAK,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAEpC,wBAAsB,SAAS,CAC7B,IAAI,EAAE,aAAa,GAClB,OAAO,CAAC,eAAe,CAAC,CAW1B;AAED,eAAO,MAAM,eAAe;;;;;;;;;;;;;;CAgBlB,CAAC"}

package/dist/tools/get_recipe.js

@@ -0,0 +1,29 @@
+import { getCatalogue } from '../catalogue.js';
+export async function getRecipe(args) {
+    const slug = args.slug?.trim();
+    if (!slug) {
+        return { found: false, error: 'missing required argument: slug' };
+    }
+    const { recipes } = await getCatalogue();
+    const recipe = recipes.find((r) => r.slug === slug);
+    if (!recipe) {
+        return { found: false, error: `recipe not found: ${slug}` };
+    }
+    return { found: true, recipe };
+}
+export const GET_RECIPE_TOOL = {
+    name: 'get_recipe',
+    description: 'Get full metadata for a single recipe by slug, including the live page URL, verdict snapshot URL (Layer 2/3), and GitHub source URL. Use `list_recipes` first to discover available slugs. Returns `found: false` with an error message if the slug is unknown.',
+    inputSchema: {
+        type: 'object',
+        properties: {
+            slug: {
+                type: 'string',
+                pattern: '^[a-z0-9]+(-[a-z0-9]+)*$',
+                description: "Kebab-case recipe slug (e.g. 'pandas-56679', 'bash-local-shadows-exit'). Same convention as Manifest v1's `slug`.",
+            },
+        },
+        required: ['slug'],
+    },
+};
+//# sourceMappingURL=get_recipe.js.map

package/dist/tools/get_recipe.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"get_recipe.js","sourceRoot":"","sources":["../../src/tools/get_recipe.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAW/C,MAAM,CAAC,KAAK,UAAU,SAAS,CAC7B,IAAmB;IAEnB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC;IAC/B,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,iCAAiC,EAAE,CAAC;IACpE,CAAC;IACD,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,YAAY,EAAE,CAAC;IACzC,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IACpD,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,qBAAqB,IAAI,EAAE,EAAE,CAAC;IAC9D,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AACjC,CAAC;AAED,MAAM,CAAC,MAAM,eAAe,GAAG;IAC7B,IAAI,EAAE,YAAY;IAClB,WAAW,EACT,iQAAiQ;IACnQ,WAAW,EAAE;QACX,IAAI,EAAE,QAAiB;QACvB,UAAU,EAAE;YACV,IAAI,EAAE;gBACJ,IAAI,EAAE,QAAiB;gBACvB,OAAO,EAAE,0BAA0B;gBACnC,WAAW,EACT,mHAAmH;aACtH;SACF;QACD,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;CACO,CAAC"}

package/dist/tools/list_recipes.d.ts

@@ -0,0 +1,34 @@
+import type { Layer, RecipeEntry } from '../types.js';
+export interface ListRecipesArgs {
+    layer?: Layer;
+    project?: string;
+    q?: string;
+}
+export interface ListRecipesResult {
+    count: number;
+    recipes: RecipeEntry[];
+}
+export declare function listRecipes(args: ListRecipesArgs): Promise<ListRecipesResult>;
+export declare const LIST_RECIPES_TOOL: {
+    readonly name: "list_recipes";
+    readonly description: "List Vivarium reproduction recipes — pages or container images that demonstrate a specific upstream bug. Returns metadata only; live verdicts come from `lookup_verdict`. Filter by `layer` (1=WASM in browser, 2=Docker, 3=record-replay), `project` (upstream project name like \"pandas\" or \"bash\"), or `q` (substring search across slug, project, and title).";
+    readonly inputSchema: {
+        readonly type: "object";
+        readonly properties: {
+            readonly layer: {
+                readonly type: "integer";
+                readonly enum: readonly [1, 2, 3];
+                readonly description: "Optional layer filter. 1 = WASM in browser, 2 = Docker, 3 = record-replay.";
+            };
+            readonly project: {
+                readonly type: "string";
+                readonly description: "Optional upstream project name (e.g. 'pandas', 'bash'). Case-insensitive exact match.";
+            };
+            readonly q: {
+                readonly type: "string";
+                readonly description: "Optional substring search across slug, project, and title. Case-insensitive.";
+            };
+        };
+    };
+};
+//# sourceMappingURL=list_recipes.d.ts.map

package/dist/tools/list_recipes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"list_recipes.d.ts","sourceRoot":"","sources":["../../src/tools/list_recipes.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAEtD,MAAM,WAAW,eAAe;IAC9B,KAAK,CAAC,EAAE,KAAK,CAAC;IACd,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,CAAC,CAAC,EAAE,MAAM,CAAC;CACZ;AAED,MAAM,WAAW,iBAAiB;IAChC,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,WAAW,EAAE,CAAC;CACxB;AAED,wBAAsB,WAAW,CAC/B,IAAI,EAAE,eAAe,GACpB,OAAO,CAAC,iBAAiB,CAAC,CAkB5B;AAED,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;CAyBpB,CAAC"}

package/dist/tools/list_recipes.js

@@ -0,0 +1,43 @@
+import { getCatalogue } from '../catalogue.js';
+export async function listRecipes(args) {
+    const { recipes } = await getCatalogue();
+    const layer = args.layer;
+    const project = args.project?.trim().toLowerCase();
+    const q = args.q?.trim().toLowerCase();
+    const filtered = recipes.filter((r) => {
+        if (layer !== undefined && r.layer !== layer)
+            return false;
+        if (project && r.project.toLowerCase() !== project)
+            return false;
+        if (q) {
+            const hay = (r.slug + ' ' + r.project + ' ' + r.title).toLowerCase();
+            if (!hay.includes(q))
+                return false;
+        }
+        return true;
+    });
+    return { count: filtered.length, recipes: filtered };
+}
+export const LIST_RECIPES_TOOL = {
+    name: 'list_recipes',
+    description: 'List Vivarium reproduction recipes — pages or container images that demonstrate a specific upstream bug. Returns metadata only; live verdicts come from `lookup_verdict`. Filter by `layer` (1=WASM in browser, 2=Docker, 3=record-replay), `project` (upstream project name like "pandas" or "bash"), or `q` (substring search across slug, project, and title).',
+    inputSchema: {
+        type: 'object',
+        properties: {
+            layer: {
+                type: 'integer',
+                enum: [1, 2, 3],
+                description: 'Optional layer filter. 1 = WASM in browser, 2 = Docker, 3 = record-replay.',
+            },
+            project: {
+                type: 'string',
+                description: "Optional upstream project name (e.g. 'pandas', 'bash'). Case-insensitive exact match.",
+            },
+            q: {
+                type: 'string',
+                description: 'Optional substring search across slug, project, and title. Case-insensitive.',
+            },
+        },
+    },
+};
+//# sourceMappingURL=list_recipes.js.map

package/dist/tools/list_recipes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"list_recipes.js","sourceRoot":"","sources":["../../src/tools/list_recipes.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAc/C,MAAM,CAAC,KAAK,UAAU,WAAW,CAC/B,IAAqB;IAErB,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,YAAY,EAAE,CAAC;IAEzC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;IACzB,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IACnD,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAEvC,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;QACpC,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,KAAK,KAAK;YAAE,OAAO,KAAK,CAAC;QAC3D,IAAI,OAAO,IAAI,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,KAAK,OAAO;YAAE,OAAO,KAAK,CAAC;QACjE,IAAI,CAAC,EAAE,CAAC;YACN,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,GAAG,GAAG,GAAG,CAAC,CAAC,OAAO,GAAG,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;YACrE,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;gBAAE,OAAO,KAAK,CAAC;QACrC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;IAEH,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AACvD,CAAC;AAED,MAAM,CAAC,MAAM,iBAAiB,GAAG;IAC/B,IAAI,EAAE,cAAc;IACpB,WAAW,EACT,mWAAmW;IACrW,WAAW,EAAE;QACX,IAAI,EAAE,QAAiB;QACvB,UAAU,EAAE;YACV,KAAK,EAAE;gBACL,IAAI,EAAE,SAAkB;gBACxB,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;gBACf,WAAW,EACT,4EAA4E;aAC/E;YACD,OAAO,EAAE;gBACP,IAAI,EAAE,QAAiB;gBACvB,WAAW,EACT,uFAAuF;aAC1F;YACD,CAAC,EAAE;gBACD,IAAI,EAAE,QAAiB;gBACvB,WAAW,EACT,8EAA8E;aACjF;SACF;KACF;CACO,CAAC"}

package/dist/tools/lookup_verdict.d.ts

@@ -0,0 +1,39 @@
+import type { VerdictSnapshot } from '../types.js';
+export interface LookupVerdictArgs {
+    slug: string;
+}
+export type LookupVerdictResult = {
+    kind: 'live';
+    slug: string;
+    page_url: string;
+    note: string;
+} | {
+    kind: 'snapshot';
+    slug: string;
+    snapshot: VerdictSnapshot;
+} | {
+    kind: 'unavailable';
+    slug: string;
+    reason: string;
+} | {
+    kind: 'not_found';
+    slug: string;
+    error: string;
+};
+export declare function lookupVerdict(args: LookupVerdictArgs): Promise<LookupVerdictResult>;
+export declare const LOOKUP_VERDICT_TOOL: {
+    readonly name: "lookup_verdict";
+    readonly description: "Look up the latest verdict for a recipe by slug. Layer 1 recipes produce live in-browser verdicts and have no static snapshot — this returns kind='live' with the page URL and a note suggesting the agent open the page directly. Layer 2/3 recipes return kind='snapshot' with the deployed verdict.json contents (verdict, exit code, image digest, captured-at timestamp, stdout, stderr tail). Returns kind='unavailable' or kind='not_found' on failure.";
+    readonly inputSchema: {
+        readonly type: "object";
+        readonly properties: {
+            readonly slug: {
+                readonly type: "string";
+                readonly pattern: "^[a-z0-9]+(-[a-z0-9]+)*$";
+                readonly description: "Kebab-case recipe slug.";
+            };
+        };
+        readonly required: readonly ["slug"];
+    };
+};
+//# sourceMappingURL=lookup_verdict.d.ts.map

package/dist/tools/lookup_verdict.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lookup_verdict.d.ts","sourceRoot":"","sources":["../../src/tools/lookup_verdict.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAEnD,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,MAAM,mBAAmB,GAC3B;IACE,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;CACd,GACD;IACE,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,eAAe,CAAC;CAC3B,GACD;IACE,IAAI,EAAE,aAAa,CAAC;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;CAChB,GACD;IACE,IAAI,EAAE,WAAW,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;CACf,CAAC;AAEN,wBAAsB,aAAa,CACjC,IAAI,EAAE,iBAAiB,GACtB,OAAO,CAAC,mBAAmB,CAAC,CAgD9B;AAED,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;CAetB,CAAC"}

package/dist/tools/lookup_verdict.js

@@ -0,0 +1,60 @@
+import { fetchVerdictSnapshot, getCatalogue } from '../catalogue.js';
+export async function lookupVerdict(args) {
+    const slug = args.slug?.trim();
+    if (!slug) {
+        return {
+            kind: 'not_found',
+            slug: '',
+            error: 'missing required argument: slug',
+        };
+    }
+    const { recipes } = await getCatalogue();
+    const recipe = recipes.find((r) => r.slug === slug);
+    if (!recipe) {
+        return {
+            kind: 'not_found',
+            slug,
+            error: `recipe not found: ${slug}`,
+        };
+    }
+    if (recipe.layer === 1) {
+        return {
+            kind: 'live',
+            slug,
+            page_url: recipe.page_url,
+            note: 'Layer 1 reproductions produce verdicts live in the browser; the agent can open the page or delegate to a browser MCP to obtain an actual verdict.',
+        };
+    }
+    if (!recipe.verdict_url) {
+        return {
+            kind: 'unavailable',
+            slug,
+            reason: 'recipe entry has no verdict_url',
+        };
+    }
+    const snapshot = await fetchVerdictSnapshot(recipe.verdict_url);
+    if (!snapshot) {
+        return {
+            kind: 'unavailable',
+            slug,
+            reason: `verdict snapshot fetch failed or returned non-v1 data: ${recipe.verdict_url}`,
+        };
+    }
+    return { kind: 'snapshot', slug, snapshot };
+}
+export const LOOKUP_VERDICT_TOOL = {
+    name: 'lookup_verdict',
+    description: "Look up the latest verdict for a recipe by slug. Layer 1 recipes produce live in-browser verdicts and have no static snapshot — this returns kind='live' with the page URL and a note suggesting the agent open the page directly. Layer 2/3 recipes return kind='snapshot' with the deployed verdict.json contents (verdict, exit code, image digest, captured-at timestamp, stdout, stderr tail). Returns kind='unavailable' or kind='not_found' on failure.",
+    inputSchema: {
+        type: 'object',
+        properties: {
+            slug: {
+                type: 'string',
+                pattern: '^[a-z0-9]+(-[a-z0-9]+)*$',
+                description: 'Kebab-case recipe slug.',
+            },
+        },
+        required: ['slug'],
+    },
+};
+//# sourceMappingURL=lookup_verdict.js.map

package/dist/tools/lookup_verdict.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lookup_verdict.js","sourceRoot":"","sources":["../../src/tools/lookup_verdict.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AA8BrE,MAAM,CAAC,KAAK,UAAU,aAAa,CACjC,IAAuB;IAEvB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC;IAC/B,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,EAAE;YACR,KAAK,EAAE,iCAAiC;SACzC,CAAC;IACJ,CAAC;IAED,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,YAAY,EAAE,CAAC;IACzC,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IACpD,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,IAAI;YACJ,KAAK,EAAE,qBAAqB,IAAI,EAAE;SACnC,CAAC;IACJ,CAAC;IAED,IAAI,MAAM,CAAC,KAAK,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,IAAI;YACJ,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,IAAI,EACF,mJAAmJ;SACtJ,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC;QACxB,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,IAAI;YACJ,MAAM,EAAE,iCAAiC;SAC1C,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,MAAM,oBAAoB,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IAChE,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,IAAI;YACJ,MAAM,EAAE,0DAA0D,MAAM,CAAC,WAAW,EAAE;SACvF,CAAC;IACJ,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AAC9C,CAAC;AAED,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC,IAAI,EAAE,gBAAgB;IACtB,WAAW,EACT,gcAAgc;IAClc,WAAW,EAAE;QACX,IAAI,EAAE,QAAiB;QACvB,UAAU,EAAE;YACV,IAAI,EAAE;gBACJ,IAAI,EAAE,QAAiB;gBACvB,OAAO,EAAE,0BAA0B;gBACnC,WAAW,EAAE,yBAAyB;aACvC;SACF;QACD,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB;CACO,CAAC"}

package/dist/tools/match_error.d.ts

@@ -0,0 +1,62 @@
+import type { RecipeEntry } from '../types.js';
+export interface MatchErrorArgs {
+    text: string;
+    limit?: number;
+}
+interface MatchedToken {
+    source: 'symptom' | 'tags' | 'project' | 'slug';
+    token: string;
+    /**
+     * How the token was matched. Omitted (undefined) for direct exact
+     * matches (the v1 case). `synonym` indicates the catalogue token
+     * was reached via a synonym-group expansion of an input token.
+     * `fuzzy` indicates a Levenshtein-distance-1 match (typo-tolerant).
+     * v1 clients ignore this field; v2 clients can render the
+     * provenance.
+     */
+    via?: 'synonym' | 'fuzzy';
+    /**
+     * Original input token that triggered a non-exact match (set when
+     * `via` is `synonym` or `fuzzy`). Lets agents render "you wrote X,
+     * we matched Y."
+     */
+    input?: string;
+}
+interface ScoredRecipe {
+    recipe: RecipeEntry;
+    score: number;
+    matched: MatchedToken[];
+}
+export interface MatchErrorResult {
+    ok: true;
+    query_token_count: number;
+    total_recipes: number;
+    matches: ScoredRecipe[];
+}
+export declare function matchError(args: MatchErrorArgs): Promise<MatchErrorResult | {
+    ok: false;
+    error: string;
+}>;
+export declare const MATCH_ERROR_TOOL: {
+    readonly name: "match_error";
+    readonly description: "Find Vivarium recipes that match a pasted error message or stack trace by mechanical token overlap (no LLM). The text is tokenised, lowercase-compared against each recipe's symptom (weight 5 per segment), tags (3), project (2), and slug (2). v2 (Phase 7 A5) adds adjacent-pair tokens (so 'data type' can hit `dtype`), a small synonym table (e.g. dtype⇄datatype, segfault⇄sigsegv), and bounded Levenshtein-1 fuzzy matching for tokens of length ≥ 6. Stopword set covers English, Japanese, German, Spanish, French, Chinese, and Korean noise tokens. Recipes with score > 0 are returned in descending score order; ties broken by (layer asc, slug asc). Each matched token reports its `via` (`synonym` or `fuzzy` when non-exact) and the original `input` that triggered it, so agents can render the provenance. Pair with `get_recipe` to drill into a specific result, or `list_recipes` for unfiltered browsing.";
+    readonly inputSchema: {
+        readonly type: "object";
+        readonly properties: {
+            readonly text: {
+                readonly type: "string";
+                readonly description: "Error message, stack trace, or any free-text fragment to match against the catalogue. Tokenised on non-alphanumeric runs after lowercasing; tokens shorter than 3 chars and a multi-language stopword list are dropped. Input longer than 16 KB is truncated from the front.";
+            };
+            readonly limit: {
+                readonly type: "integer";
+                readonly minimum: 1;
+                readonly maximum: 50;
+                readonly default: 10;
+                readonly description: "Maximum number of matches to return. Defaults to 10; capped at 50.";
+            };
+        };
+        readonly required: readonly ["text"];
+    };
+};
+export {};
+//# sourceMappingURL=match_error.d.ts.map

package/dist/tools/match_error.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"match_error.d.ts","sourceRoot":"","sources":["../../src/tools/match_error.ts"],"names":[],"mappings":"AAgCA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE/C,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,UAAU,YAAY;IACpB,MAAM,EAAE,SAAS,GAAG,MAAM,GAAG,SAAS,GAAG,MAAM,CAAC;IAChD,KAAK,EAAE,MAAM,CAAC;IACd;;;;;;;OAOG;IACH,GAAG,CAAC,EAAE,SAAS,GAAG,OAAO,CAAC;IAC1B;;;;OAIG;IACH,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,UAAU,YAAY;IACpB,MAAM,EAAE,WAAW,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,YAAY,EAAE,CAAC;CACzB;AAED,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,IAAI,CAAC;IACT,iBAAiB,EAAE,MAAM,CAAC;IAC1B,aAAa,EAAE,MAAM,CAAC;IACtB,OAAO,EAAE,YAAY,EAAE,CAAC;CACzB;AAmOD,wBAAsB,UAAU,CAC9B,IAAI,EAAE,cAAc,GACnB,OAAO,CAAC,gBAAgB,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC,CA8B1D;AAED,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;CAuBnB,CAAC"}