@panproto/mcp-server 0.2.0

package/README.md

@@ -0,0 +1,140 @@
+# @panproto/mcp-server
+
+MCP (Model Context Protocol) server for panproto, exposing schema migration operations to Claude Desktop, VS Code, and other MCP-compatible clients.
+
+## Installation
+
+```sh
+npm install -g @panproto/mcp-server
+```
+
+Requires the `schema` CLI to be installed and available on `$PATH`.
+
+## Configuration
+
+### Claude Desktop
+
+Add to `~/Library/Application Support/Claude/claude_desktop_config.json` (macOS):
+
+```json
+{
+  "mcpServers": {
+    "panproto": {
+      "command": "panproto-mcp-server"
+    }
+  }
+}
+```
+
+### VS Code
+
+Add to `.vscode/settings.json`:
+
+```json
+{
+  "claude.mcpServers": {
+    "panproto": {
+      "command": "panproto-mcp-server"
+    }
+  }
+}
+```
+
+## Tools (30)
+
+### Schema
+| Tool | Description |
+|------|-------------|
+| `panproto_validate` | Validate a schema against a protocol |
+| `panproto_normalize` | Canonicalize a schema |
+| `panproto_scaffold` | Generate test data from protocol theory |
+| `panproto_typecheck` | Type-check a migration at the GAT level |
+| `panproto_health` | Check CLI installation and version |
+
+### Migration
+| Tool | Description |
+|------|-------------|
+| `panproto_check_existence` | Check migration existence conditions |
+| `panproto_lift` | Apply migration to a data record |
+| `panproto_auto_migrate` | Discover a migration via CSP search |
+| `panproto_integrate` | Compute pushout of two schemas |
+
+### Diff
+| Tool | Description |
+|------|-------------|
+| `panproto_diff` | Structural diff with rename detection |
+| `panproto_classify` | Classify change compatibility |
+
+### Lens
+| Tool | Description |
+|------|-------------|
+| `panproto_lens_generate` | Auto-generate a protolens chain |
+| `panproto_lens_apply` | Apply lens (forward or backward) |
+| `panproto_lens_verify` | Verify round-trip laws |
+| `panproto_lens_compose` | Compose two chains |
+| `panproto_lens_inspect` | Inspect chain steps and effects |
+
+### Data
+| Tool | Description |
+|------|-------------|
+| `panproto_convert` | Convert data between schemas |
+| `panproto_batch_migrate` | Migrate a directory via VCS history |
+| `panproto_data_status` | Report data staleness |
+
+### Parse
+| Tool | Description |
+|------|-------------|
+| `panproto_parse_file` | Parse source file (248 languages) |
+| `panproto_parse_project` | Parse directory into project schema |
+| `panproto_parse_emit` | Round-trip parse and emit |
+
+### Expression
+| Tool | Description |
+|------|-------------|
+| `panproto_eval_expr` | Evaluate an expression |
+| `panproto_parse_expr` | Parse expression to AST |
+| `panproto_fmt_expr` | Pretty-print expression |
+
+### VCS
+| Tool | Description |
+|------|-------------|
+| `panproto_vcs_status` | Show VCS status |
+| `panproto_vcs_log` | Show commit history |
+| `panproto_vcs_diff` | Diff schema versions |
+| `panproto_vcs_blame` | Attribute elements to commits |
+
+### Enrichment
+| Tool | Description |
+|------|-------------|
+| `panproto_enrich_add_default` | Add default value to a vertex |
+| `panproto_enrich_add_coercion` | Add type coercion expression |
+| `panproto_enrich_list` | List all enrichments |
+
+## Resources (3)
+
+| URI | Description |
+|-----|-------------|
+| `panproto://protocols` | 50 protocol definitions |
+| `panproto://codecs` | 50+ I/O codecs |
+| `panproto://grammars` | 248 language parsers |
+
+## Prompts (3)
+
+| Prompt | Description |
+|--------|-------------|
+| `migration-plan` | Plan a migration between two schemas |
+| `schema-review` | Review a schema for best practices |
+| `compatibility-report` | Analyze cross-protocol compatibility |
+
+## Development
+
+```sh
+npm install
+npm run dev    # run with tsx (hot reload)
+npm run build  # compile TypeScript
+npm start      # run compiled output
+```
+
+## License
+
+MIT

package/dist/cli.d.ts

@@ -0,0 +1,29 @@
+interface ExecOptions {
+    cwd?: string;
+    timeout?: number;
+}
+/**
+ * Execute the panproto CLI (`schema` command) and return stdout.
+ * Throws on non-zero exit with stderr as the error message.
+ */
+export declare function execCli(...argsAndOptions: Array<string | ExecOptions>): Promise<string>;
+/** Content helper for tool responses. */
+export declare function textContent(text: string): {
+    content: {
+        type: "text";
+        text: string;
+    }[];
+};
+/** Wrap a tool handler with consistent error handling. */
+export declare function withErrorBoundary<T>(fn: (args: T) => Promise<{
+    content: Array<{
+        type: "text";
+        text: string;
+    }>;
+}>): (args: T) => Promise<{
+    content: Array<{
+        type: "text";
+        text: string;
+    }>;
+}>;
+export {};

package/dist/cli.js

@@ -0,0 +1,65 @@
+import { execFile } from "node:child_process";
+import { promisify } from "node:util";
+const execFileAsync = promisify(execFile);
+const DEBUG = process.env.DEBUG?.includes("panproto") ?? false;
+/**
+ * Execute the panproto CLI (`schema` command) and return stdout.
+ * Throws on non-zero exit with stderr as the error message.
+ */
+export async function execCli(...argsAndOptions) {
+    const options = {};
+    const args = [];
+    for (const item of argsAndOptions) {
+        if (typeof item === "string") {
+            args.push(item);
+        }
+        else {
+            Object.assign(options, item);
+        }
+    }
+    if (DEBUG) {
+        console.error(`[panproto] schema ${args.join(" ")}`);
+    }
+    try {
+        const { stdout } = await execFileAsync("schema", args, {
+            cwd: options.cwd,
+            timeout: options.timeout ?? 30_000,
+            maxBuffer: 10 * 1024 * 1024,
+        });
+        return stdout.trim();
+    }
+    catch (error) {
+        const message = extractErrorMessage(error);
+        if (DEBUG) {
+            console.error(`[panproto] error: ${message}`);
+        }
+        throw new Error(message);
+    }
+}
+function extractErrorMessage(error) {
+    if (error instanceof Error) {
+        const execError = error;
+        if (execError.stderr?.trim()) {
+            return execError.stderr.trim();
+        }
+        return execError.message;
+    }
+    return "CLI execution failed";
+}
+/** Content helper for tool responses. */
+export function textContent(text) {
+    return { content: [{ type: "text", text }] };
+}
+/** Wrap a tool handler with consistent error handling. */
+export function withErrorBoundary(fn) {
+    return async (args) => {
+        try {
+            return await fn(args);
+        }
+        catch (error) {
+            const message = error instanceof Error ? error.message : "Unknown error";
+            return textContent(`Error: ${message}`);
+        }
+    };
+}
+//# sourceMappingURL=cli.js.map

package/dist/cli.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cli.js","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAEtC,MAAM,aAAa,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;AAE1C,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,UAAU,CAAC,IAAI,KAAK,CAAC;AAO/D;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,OAAO,CAC3B,GAAG,cAA2C;IAE9C,MAAM,OAAO,GAAgB,EAAE,CAAC;IAChC,MAAM,IAAI,GAAa,EAAE,CAAC;IAE1B,KAAK,MAAM,IAAI,IAAI,cAAc,EAAE,CAAC;QAClC,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC7B,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClB,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC;IAED,IAAI,KAAK,EAAE,CAAC;QACV,OAAO,CAAC,KAAK,CAAC,qBAAqB,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACvD,CAAC;IAED,IAAI,CAAC;QACH,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,aAAa,CAAC,QAAQ,EAAE,IAAI,EAAE;YACrD,GAAG,EAAE,OAAO,CAAC,GAAG;YAChB,OAAO,EAAE,OAAO,CAAC,OAAO,IAAI,MAAM;YAClC,SAAS,EAAE,EAAE,GAAG,IAAI,GAAG,IAAI;SAC5B,CAAC,CAAC;QACH,OAAO,MAAM,CAAC,IAAI,EAAE,CAAC;IACvB,CAAC;IAAC,OAAO,KAAc,EAAE,CAAC;QACxB,MAAM,OAAO,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;QAC3C,IAAI,KAAK,EAAE,CAAC;YACV,OAAO,CAAC,KAAK,CAAC,qBAAqB,OAAO,EAAE,CAAC,CAAC;QAChD,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC;IAC3B,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAc;IACzC,IAAI,KAAK,YAAY,KAAK,EAAE,CAAC;QAC3B,MAAM,SAAS,GAAG,KAAmD,CAAC;QACtE,IAAI,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;YAC7B,OAAO,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QACjC,CAAC;QACD,OAAO,SAAS,CAAC,OAAO,CAAC;IAC3B,CAAC;IACD,OAAO,sBAAsB,CAAC;AAChC,CAAC;AAED,yCAAyC;AACzC,MAAM,UAAU,WAAW,CAAC,IAAY;IACtC,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAe,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;AACxD,CAAC;AAED,0DAA0D;AAC1D,MAAM,UAAU,iBAAiB,CAC/B,EAA4E;IAE5E,OAAO,KAAK,EAAE,IAAO,EAAE,EAAE;QACvB,IAAI,CAAC;YACH,OAAO,MAAM,EAAE,CAAC,IAAI,CAAC,CAAC;QACxB,CAAC;QAAC,OAAO,KAAc,EAAE,CAAC;YACxB,MAAM,OAAO,GACX,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,eAAe,CAAC;YAC3D,OAAO,WAAW,CAAC,UAAU,OAAO,EAAE,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC,CAAC;AACJ,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,2 @@
+#!/usr/bin/env node
+export {};

package/dist/index.js

@@ -0,0 +1,11 @@
+#!/usr/bin/env node
+import { createServer } from "./server.js";
+async function main() {
+    const server = await createServer();
+    await server.listen();
+}
+main().catch((error) => {
+    console.error("Fatal error:", error);
+    process.exit(1);
+});
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";AAEA,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAE3C,KAAK,UAAU,IAAI;IACjB,MAAM,MAAM,GAAG,MAAM,YAAY,EAAE,CAAC;IACpC,MAAM,MAAM,CAAC,MAAM,EAAE,CAAC;AACxB,CAAC;AAED,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,KAAc,EAAE,EAAE;IAC9B,OAAO,CAAC,KAAK,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;IACrC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAClB,CAAC,CAAC,CAAC"}

package/dist/prompts/migration-plan.d.ts

@@ -0,0 +1,2 @@
+import { McpServer } from "@modelcontextprotocol/sdk/server/mcp.js";
+export declare function registerPrompts(server: McpServer): void;

package/dist/prompts/migration-plan.js

@@ -0,0 +1,73 @@
+import { z } from "zod";
+export function registerPrompts(server) {
+    server.prompt("migration-plan", "Generate a structured prompt for planning a schema migration", {
+        src_path: z.string().describe("Path to source schema"),
+        tgt_path: z.string().describe("Path to target schema"),
+    }, async ({ src_path, tgt_path }) => ({
+        messages: [
+            {
+                role: "user",
+                content: {
+                    type: "text",
+                    text: `I need to migrate from schema "${src_path}" to schema "${tgt_path}".
+
+Please:
+1. Run \`schema diff --src "${src_path}" --tgt "${tgt_path}"\` to see what changed
+2. Run \`schema check --src "${src_path}" --tgt "${tgt_path}"\` to classify compatibility
+3. Attempt auto-generation with \`schema lens generate "${src_path}" "${tgt_path}"\`
+4. If auto-generation fails, recommend a manual combinator sequence
+5. Provide a step-by-step migration plan with CLI commands
+6. Suggest how to verify the migration with lens law checks`,
+                },
+            },
+        ],
+    }));
+    server.prompt("schema-review", "Generate a structured prompt for reviewing a schema", {
+        schema_path: z.string().describe("Path to schema file"),
+        protocol: z.string().describe("Protocol name"),
+    }, async ({ schema_path, protocol }) => ({
+        messages: [
+            {
+                role: "user",
+                content: {
+                    type: "text",
+                    text: `Please review the schema at "${schema_path}" (protocol: ${protocol}).
+
+Check for:
+1. Validation: run \`schema validate --protocol ${protocol} "${schema_path}"\`
+2. Constraint coverage: are critical fields properly constrained?
+3. Naming conventions: do names follow ${protocol} conventions?
+4. Migration-friendliness: will this schema be easy to evolve?
+5. Protocol-specific best practices
+
+Provide a structured review with Critical Issues, Suggestions, and Positives.`,
+                },
+            },
+        ],
+    }));
+    server.prompt("compatibility-report", "Generate a prompt for cross-protocol compatibility analysis", {
+        schema_a_path: z.string().describe("Path to first schema"),
+        schema_b_path: z.string().describe("Path to second schema"),
+    }, async ({ schema_a_path, schema_b_path }) => ({
+        messages: [
+            {
+                role: "user",
+                content: {
+                    type: "text",
+                    text: `Analyze the compatibility between schemas "${schema_a_path}" and "${schema_b_path}".
+
+These may be different versions of the same schema, or schemas in different protocols.
+
+Please:
+1. Identify the protocol of each schema
+2. Run \`schema diff --src "${schema_a_path}" --tgt "${schema_b_path}"\`
+3. Classify the change (compatible, backward-compatible, breaking)
+4. If cross-protocol, analyze what is preserved, approximated, and lost
+5. Test bidirectional migration feasibility
+6. Produce a compatibility matrix`,
+                },
+            },
+        ],
+    }));
+}
+//# sourceMappingURL=migration-plan.js.map

package/dist/prompts/migration-plan.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"migration-plan.js","sourceRoot":"","sources":["../../src/prompts/migration-plan.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,MAAM,UAAU,eAAe,CAAC,MAAiB;IAC/C,MAAM,CAAC,MAAM,CACX,gBAAgB,EAChB,8DAA8D,EAC9D;QACE,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,uBAAuB,CAAC;QACtD,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,uBAAuB,CAAC;KACvD,EACD,KAAK,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC;QACjC,QAAQ,EAAE;YACR;gBACE,IAAI,EAAE,MAAe;gBACrB,OAAO,EAAE;oBACP,IAAI,EAAE,MAAe;oBACrB,IAAI,EAAE,kCAAkC,QAAQ,gBAAgB,QAAQ;;;8BAGtD,QAAQ,YAAY,QAAQ;+BAC3B,QAAQ,YAAY,QAAQ;0DACD,QAAQ,MAAM,QAAQ;;;4DAGpB;iBACjD;aACF;SACF;KACF,CAAC,CACH,CAAC;IAEF,MAAM,CAAC,MAAM,CACX,eAAe,EACf,qDAAqD,EACrD;QACE,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,qBAAqB,CAAC;QACvD,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,eAAe,CAAC;KAC/C,EACD,KAAK,EAAE,EAAE,WAAW,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC;QACpC,QAAQ,EAAE;YACR;gBACE,IAAI,EAAE,MAAe;gBACrB,OAAO,EAAE;oBACP,IAAI,EAAE,MAAe;oBACrB,IAAI,EAAE,gCAAgC,WAAW,gBAAgB,QAAQ;;;kDAGnC,QAAQ,KAAK,WAAW;;yCAEjC,QAAQ;;;;8EAI6B;iBACnE;aACF;SACF;KACF,CAAC,CACH,CAAC;IAEF,MAAM,CAAC,MAAM,CACX,sBAAsB,EACtB,6DAA6D,EAC7D;QACE,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,sBAAsB,CAAC;QAC1D,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,uBAAuB,CAAC;KAC5D,EACD,KAAK,EAAE,EAAE,aAAa,EAAE,aAAa,EAAE,EAAE,EAAE,CAAC,CAAC;QAC3C,QAAQ,EAAE;YACR;gBACE,IAAI,EAAE,MAAe;gBACrB,OAAO,EAAE;oBACP,IAAI,EAAE,MAAe;oBACrB,IAAI,EAAE,8CAA8C,aAAa,UAAU,aAAa;;;;;;8BAMtE,aAAa,YAAY,aAAa;;;;kCAIlC;iBACvB;aACF;SACF;KACF,CAAC,CACH,CAAC;AACJ,CAAC"}

package/dist/resources/codecs.d.ts

@@ -0,0 +1 @@
+export declare const CODEC_CATALOG = "panproto provides 50+ I/O codecs for parsing and emitting instance data.\n\nCodecs are organized by pathway:\n\nJSON pathway (SIMD-accelerated via simd-json):\n  json, json-schema, geojson, json-api, atproto-lexicon, openapi, asyncapi\n\nXML pathway (zero-copy via quick-xml):\n  xml, html, svg, rss, atom, docx, odf, fhir-xml, naf\n\nTabular pathway (memchr-accelerated):\n  csv, tsv, parquet, arrow, dataframe\n\nBinary:\n  protobuf, flatbuffers, avro, msgpack, bson, bond, asn1, thrift\n\nGraph:\n  graphql, neo4j-cypher\n\nRelational:\n  sql-ddl, sql-dml, cassandra-cql, dynamodb-json, redis-commands\n\nConfig:\n  yaml, toml, hcl, k8s-crd, docker-compose, cloudformation, ansible\n\nDomain:\n  vcard, ical, edi-x12, swift-mt, conll-u, brat, ontonotes\n\nEach codec implements InstanceParser (bytes to Instance) and InstanceEmitter (Instance to bytes).";

package/dist/resources/codecs.js

@@ -0,0 +1,32 @@
+// Codec resource is registered via the protocols resource module.
+// This file provides the codec catalog for direct import if needed.
+export const CODEC_CATALOG = `panproto provides 50+ I/O codecs for parsing and emitting instance data.
+
+Codecs are organized by pathway:
+
+JSON pathway (SIMD-accelerated via simd-json):
+  json, json-schema, geojson, json-api, atproto-lexicon, openapi, asyncapi
+
+XML pathway (zero-copy via quick-xml):
+  xml, html, svg, rss, atom, docx, odf, fhir-xml, naf
+
+Tabular pathway (memchr-accelerated):
+  csv, tsv, parquet, arrow, dataframe
+
+Binary:
+  protobuf, flatbuffers, avro, msgpack, bson, bond, asn1, thrift
+
+Graph:
+  graphql, neo4j-cypher
+
+Relational:
+  sql-ddl, sql-dml, cassandra-cql, dynamodb-json, redis-commands
+
+Config:
+  yaml, toml, hcl, k8s-crd, docker-compose, cloudformation, ansible
+
+Domain:
+  vcard, ical, edi-x12, swift-mt, conll-u, brat, ontonotes
+
+Each codec implements InstanceParser (bytes to Instance) and InstanceEmitter (Instance to bytes).`;
+//# sourceMappingURL=codecs.js.map

package/dist/resources/codecs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"codecs.js","sourceRoot":"","sources":["../../src/resources/codecs.ts"],"names":[],"mappings":"AAAA,kEAAkE;AAClE,oEAAoE;AAEpE,MAAM,CAAC,MAAM,aAAa,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;kGA4BqE,CAAC"}

package/dist/resources/grammars.d.ts

@@ -0,0 +1 @@
+export declare const GRAMMAR_CATALOG = "panproto supports full-AST parsing for 248 programming languages via tree-sitter grammars.\n\nTop languages by category:\n\nSystems: C, C++, Rust, Go, Zig, D, Nim\nWeb: TypeScript, JavaScript, HTML, CSS, SCSS, Svelte, Vue\nBackend: Python, Ruby, Java, Kotlin, C#, PHP, Perl\nFunctional: Haskell, OCaml, Elixir, Clojure, Erlang, F#, Lean\nData: SQL, JSON, YAML, TOML, XML, CSV\nSchema: Protobuf, GraphQL, Thrift, Avro\nConfig: Dockerfile, HCL (Terraform), Nix, CMake\nShell: Bash, Zsh, Fish, PowerShell\nMobile: Swift, Dart, Objective-C, Kotlin\nScientific: R, Julia, MATLAB, Fortran, LaTeX\nMarkup: Markdown, reStructuredText, AsciiDoc, Org\n\nEach grammar auto-derives a GAT theory (sorts from node types, operations from field names).\nThe generic AstWalker handles all languages; no per-language code needed.\nInterstitial text capture enables exact round-trip emission.";

package/dist/resources/grammars.js

@@ -0,0 +1,22 @@
+// Grammar resource provides the catalog of supported tree-sitter languages.
+// Registered via the protocols resource module.
+export const GRAMMAR_CATALOG = `panproto supports full-AST parsing for 248 programming languages via tree-sitter grammars.
+
+Top languages by category:
+
+Systems: C, C++, Rust, Go, Zig, D, Nim
+Web: TypeScript, JavaScript, HTML, CSS, SCSS, Svelte, Vue
+Backend: Python, Ruby, Java, Kotlin, C#, PHP, Perl
+Functional: Haskell, OCaml, Elixir, Clojure, Erlang, F#, Lean
+Data: SQL, JSON, YAML, TOML, XML, CSV
+Schema: Protobuf, GraphQL, Thrift, Avro
+Config: Dockerfile, HCL (Terraform), Nix, CMake
+Shell: Bash, Zsh, Fish, PowerShell
+Mobile: Swift, Dart, Objective-C, Kotlin
+Scientific: R, Julia, MATLAB, Fortran, LaTeX
+Markup: Markdown, reStructuredText, AsciiDoc, Org
+
+Each grammar auto-derives a GAT theory (sorts from node types, operations from field names).
+The generic AstWalker handles all languages; no per-language code needed.
+Interstitial text capture enables exact round-trip emission.`;
+//# sourceMappingURL=grammars.js.map

package/dist/resources/grammars.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"grammars.js","sourceRoot":"","sources":["../../src/resources/grammars.ts"],"names":[],"mappings":"AAAA,4EAA4E;AAC5E,gDAAgD;AAEhD,MAAM,CAAC,MAAM,eAAe,GAAG;;;;;;;;;;;;;;;;;;6DAkB8B,CAAC"}

package/dist/resources/protocols.d.ts

@@ -0,0 +1,2 @@
+import { McpServer } from "@modelcontextprotocol/sdk/server/mcp.js";
+export declare function registerResources(server: McpServer): void;

package/dist/resources/protocols.js

@@ -0,0 +1,67 @@
+import { execCli } from "../cli.js";
+import { CODEC_CATALOG } from "./codecs.js";
+import { GRAMMAR_CATALOG } from "./grammars.js";
+export function registerResources(server) {
+    server.resource("protocols", "panproto://protocols", async () => {
+        try {
+            const result = await execCli("validate", "--list-protocols");
+            return {
+                contents: [
+                    {
+                        uri: "panproto://protocols",
+                        mimeType: "text/plain",
+                        text: `panproto supports 50 semantic protocol definitions.\n\n${result}`,
+                    },
+                ],
+            };
+        }
+        catch {
+            return {
+                contents: [
+                    {
+                        uri: "panproto://protocols",
+                        mimeType: "text/plain",
+                        text: PROTOCOL_LIST,
+                    },
+                ],
+            };
+        }
+    });
+    server.resource("codecs", "panproto://codecs", async () => ({
+        contents: [
+            {
+                uri: "panproto://codecs",
+                mimeType: "text/plain",
+                text: CODEC_CATALOG,
+            },
+        ],
+    }));
+    server.resource("grammars", "panproto://grammars", async () => ({
+        contents: [
+            {
+                uri: "panproto://grammars",
+                mimeType: "text/plain",
+                text: GRAMMAR_CATALOG,
+            },
+        ],
+    }));
+}
+const PROTOCOL_LIST = `panproto supports 50 semantic protocol definitions:
+
+Serialization: Avro, FlatBuffers, ASN.1, Bond, MsgPack
+Data Schema: JSON Schema, CDDL, BSON
+API: OpenAPI, AsyncAPI, JSON:API, RAML
+Database: SQL, MongoDB, Cassandra, DynamoDB, Neo4j, Redis
+Social/Web: ATProto, RSS/Atom
+Documents: DOCX, ODF
+Data Science: Parquet, Arrow, DataFrame
+Geospatial: GeoJSON
+Healthcare: FHIR
+Contact: vCard, iCal
+Finance: EDI X12, SWIFT MT
+Config: K8s CRD, Docker Compose, CloudFormation, Ansible
+Annotation: brat, CoNLL-U, NAF, OntoNotes
+Code: Protobuf, GraphQL, Thrift
+
+Each protocol is a pair of GATs (Generalized Algebraic Theories) composed from building-block theories via colimit.`;
+//# sourceMappingURL=protocols.js.map

package/dist/resources/protocols.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"protocols.js","sourceRoot":"","sources":["../../src/resources/protocols.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAEhD,MAAM,UAAU,iBAAiB,CAAC,MAAiB;IACjD,MAAM,CAAC,QAAQ,CACb,WAAW,EACX,sBAAsB,EACtB,KAAK,IAAI,EAAE;QACT,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,UAAU,EAAE,kBAAkB,CAAC,CAAC;YAC7D,OAAO;gBACL,QAAQ,EAAE;oBACR;wBACE,GAAG,EAAE,sBAAsB;wBAC3B,QAAQ,EAAE,YAAY;wBACtB,IAAI,EAAE,0DAA0D,MAAM,EAAE;qBACzE;iBACF;aACF,CAAC;QACJ,CAAC;QAAC,MAAM,CAAC;YACP,OAAO;gBACL,QAAQ,EAAE;oBACR;wBACE,GAAG,EAAE,sBAAsB;wBAC3B,QAAQ,EAAE,YAAY;wBACtB,IAAI,EAAE,aAAa;qBACpB;iBACF;aACF,CAAC;QACJ,CAAC;IACH,CAAC,CACF,CAAC;IAEF,MAAM,CAAC,QAAQ,CAAC,QAAQ,EAAE,mBAAmB,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC;QAC1D,QAAQ,EAAE;YACR;gBACE,GAAG,EAAE,mBAAmB;gBACxB,QAAQ,EAAE,YAAY;gBACtB,IAAI,EAAE,aAAa;aACpB;SACF;KACF,CAAC,CAAC,CAAC;IAEJ,MAAM,CAAC,QAAQ,CAAC,UAAU,EAAE,qBAAqB,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC;QAC9D,QAAQ,EAAE;YACR;gBACE,GAAG,EAAE,qBAAqB;gBAC1B,QAAQ,EAAE,YAAY;gBACtB,IAAI,EAAE,eAAe;aACtB;SACF;KACF,CAAC,CAAC,CAAC;AACN,CAAC;AAED,MAAM,aAAa,GAAG;;;;;;;;;;;;;;;;;oHAiB8F,CAAC"}

package/dist/server.d.ts

@@ -0,0 +1,3 @@
+export declare function createServer(): Promise<{
+    listen: () => Promise<void>;
+}>;

package/dist/server.js

@@ -0,0 +1,39 @@
+import { McpServer } from "@modelcontextprotocol/sdk/server/mcp.js";
+import { StdioServerTransport } from "@modelcontextprotocol/sdk/server/stdio.js";
+import { registerSchemaTools } from "./tools/schema.js";
+import { registerMigrationTools } from "./tools/migration.js";
+import { registerDiffTools } from "./tools/diff.js";
+import { registerLensTools } from "./tools/lens.js";
+import { registerConvertTools } from "./tools/convert.js";
+import { registerParseTools } from "./tools/parse.js";
+import { registerExprTools } from "./tools/expr.js";
+import { registerVcsTools } from "./tools/vcs.js";
+import { registerEnrichTools } from "./tools/enrich.js";
+import { registerResources } from "./resources/protocols.js";
+import { registerPrompts } from "./prompts/migration-plan.js";
+export async function createServer() {
+    const server = new McpServer({
+        name: "panproto",
+        version: "0.2.0",
+    });
+    // Register all tool groups
+    registerSchemaTools(server);
+    registerMigrationTools(server);
+    registerDiffTools(server);
+    registerLensTools(server);
+    registerConvertTools(server);
+    registerParseTools(server);
+    registerExprTools(server);
+    registerVcsTools(server);
+    registerEnrichTools(server);
+    // Register resources and prompts
+    registerResources(server);
+    registerPrompts(server);
+    return {
+        listen: async () => {
+            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,OAAO,EAAE,SAAS,EAAE,MAAM,yCAAyC,CAAC;AACpE,OAAO,EAAE,oBAAoB,EAAE,MAAM,2CAA2C,CAAC;AAEjF,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACpD,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACpD,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC1D,OAAO,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AACtD,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACpD,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAE9D,MAAM,CAAC,KAAK,UAAU,YAAY;IAGhC,MAAM,MAAM,GAAG,IAAI,SAAS,CAAC;QAC3B,IAAI,EAAE,UAAU;QAChB,OAAO,EAAE,OAAO;KACjB,CAAC,CAAC;IAEH,2BAA2B;IAC3B,mBAAmB,CAAC,MAAM,CAAC,CAAC;IAC5B,sBAAsB,CAAC,MAAM,CAAC,CAAC;IAC/B,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAC1B,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAC1B,oBAAoB,CAAC,MAAM,CAAC,CAAC;IAC7B,kBAAkB,CAAC,MAAM,CAAC,CAAC;IAC3B,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAC1B,gBAAgB,CAAC,MAAM,CAAC,CAAC;IACzB,mBAAmB,CAAC,MAAM,CAAC,CAAC;IAE5B,iCAAiC;IACjC,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAC1B,eAAe,CAAC,MAAM,CAAC,CAAC;IAExB,OAAO;QACL,MAAM,EAAE,KAAK,IAAI,EAAE;YACjB,MAAM,SAAS,GAAG,IAAI,oBAAoB,EAAE,CAAC;YAC7C,MAAM,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QAClC,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/tools/convert.d.ts

@@ -0,0 +1,2 @@
+import { McpServer } from "@modelcontextprotocol/sdk/server/mcp.js";
+export declare function registerConvertTools(server: McpServer): void;

package/dist/tools/convert.js

@@ -0,0 +1,55 @@
+import { z } from "zod";
+import { execCli, textContent, withErrorBoundary } from "../cli.js";
+export function registerConvertTools(server) {
+    server.tool("panproto_convert", "Convert data between schemas using protolens chains", {
+        data: z.string().describe("Path to data file or directory"),
+        protocol: z.string().describe("Protocol name"),
+        from: z.string().optional().describe("Path to source schema"),
+        to: z.string().optional().describe("Path to target schema"),
+        chain: z.string().optional().describe("Pre-built protolens chain (alternative to from/to)"),
+        output: z.string().optional().describe("Output file or directory"),
+        direction: z.enum(["forward", "backward"]).optional().describe("Direction (default: forward)"),
+    }, withErrorBoundary(async ({ data, protocol, from, to, chain, output, direction }) => {
+        const args = ["data", "convert", "--protocol", protocol];
+        if (from)
+            args.push("--from", from);
+        if (to)
+            args.push("--to", to);
+        if (chain)
+            args.push("--chain", chain);
+        if (output)
+            args.push("-o", output);
+        if (direction)
+            args.push("--direction", direction);
+        args.push(data);
+        const result = await execCli(...args);
+        return textContent(result);
+    }));
+    server.tool("panproto_batch_migrate", "Migrate a directory of data files to match the current schema version via VCS history", {
+        data_dir: z.string().describe("Directory containing data files"),
+        protocol: z.string().optional().describe("Protocol name (inferred from VCS if omitted)"),
+        dry_run: z.boolean().optional().describe("Preview without modifying files"),
+        backward: z.boolean().optional().describe("Migrate backward using stored complements"),
+        output: z.string().optional().describe("Output directory (default: overwrite in place)"),
+    }, withErrorBoundary(async ({ data_dir, protocol, dry_run, backward, output }) => {
+        const args = ["data", "migrate"];
+        if (protocol)
+            args.push("--protocol", protocol);
+        if (dry_run)
+            args.push("--dry-run");
+        if (backward)
+            args.push("--backward");
+        if (output)
+            args.push("-o", output);
+        args.push(data_dir);
+        const result = await execCli(...args, { timeout: 120_000 });
+        return textContent(result);
+    }));
+    server.tool("panproto_data_status", "Report data staleness relative to the current schema version", {
+        data_dir: z.string().describe("Directory containing data files"),
+    }, withErrorBoundary(async ({ data_dir }) => {
+        const result = await execCli("data", "status", data_dir);
+        return textContent(result);
+    }));
+}
+//# sourceMappingURL=convert.js.map

package/dist/tools/convert.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"convert.js","sourceRoot":"","sources":["../../src/tools/convert.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAC;AAEpE,MAAM,UAAU,oBAAoB,CAAC,MAAiB;IACpD,MAAM,CAAC,IAAI,CACT,kBAAkB,EAClB,qDAAqD,EACrD;QACE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,gCAAgC,CAAC;QAC3D,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,eAAe,CAAC;QAC9C,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,uBAAuB,CAAC;QAC7D,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,uBAAuB,CAAC;QAC3D,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,oDAAoD,CAAC;QAC3F,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,0BAA0B,CAAC;QAClE,SAAS,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,8BAA8B,CAAC;KAC/F,EACD,iBAAiB,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,EAAE;QACjF,MAAM,IAAI,GAAG,CAAC,MAAM,EAAE,SAAS,EAAE,YAAY,EAAE,QAAQ,CAAC,CAAC;QACzD,IAAI,IAAI;YAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QACpC,IAAI,EAAE;YAAE,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QAC9B,IAAI,KAAK;YAAE,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QACvC,IAAI,MAAM;YAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACpC,IAAI,SAAS;YAAE,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,SAAS,CAAC,CAAC;QACnD,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChB,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC;QACtC,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7B,CAAC,CAAC,CACH,CAAC;IAEF,MAAM,CAAC,IAAI,CACT,wBAAwB,EACxB,uFAAuF,EACvF;QACE,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,iCAAiC,CAAC;QAChE,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,8CAA8C,CAAC;QACxF,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,iCAAiC,CAAC;QAC3E,QAAQ,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,2CAA2C,CAAC;QACtF,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,gDAAgD,CAAC;KACzF,EACD,iBAAiB,CAAC,KAAK,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE;QAC5E,MAAM,IAAI,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QACjC,IAAI,QAAQ;YAAE,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;QAChD,IAAI,OAAO;YAAE,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACpC,IAAI,QAAQ;YAAE,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACtC,IAAI,MAAM;YAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACpC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACpB,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,GAAG,IAAI,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;QAC5D,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7B,CAAC,CAAC,CACH,CAAC;IAEF,MAAM,CAAC,IAAI,CACT,sBAAsB,EACtB,8DAA8D,EAC9D;QACE,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,iCAAiC,CAAC;KACjE,EACD,iBAAiB,CAAC,KAAK,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE;QACvC,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;QACzD,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7B,CAAC,CAAC,CACH,CAAC;AACJ,CAAC"}

package/dist/tools/diff.d.ts

@@ -0,0 +1,2 @@
+import { McpServer } from "@modelcontextprotocol/sdk/server/mcp.js";
+export declare function registerDiffTools(server: McpServer): void;

package/dist/tools/diff.js

@@ -0,0 +1,30 @@
+import { z } from "zod";
+import { execCli, textContent, withErrorBoundary } from "../cli.js";
+export function registerDiffTools(server) {
+    server.tool("panproto_diff", "Compute structural diff between two schemas, showing added/removed/modified elements", {
+        src: z.string().describe("Path to source schema"),
+        tgt: z.string().describe("Path to target schema"),
+        stat: z.boolean().optional().describe("Show diffstat summary"),
+        detect_renames: z.boolean().optional().describe("Detect likely renames"),
+        theory: z.boolean().optional().describe("Show theory-level diff (sorts, operations)"),
+    }, withErrorBoundary(async ({ src, tgt, stat, detect_renames, theory }) => {
+        const args = ["diff", src, tgt];
+        if (stat)
+            args.push("--stat");
+        if (detect_renames)
+            args.push("--detect-renames");
+        if (theory)
+            args.push("--theory");
+        const result = await execCli(...args);
+        return textContent(result);
+    }));
+    server.tool("panproto_classify", "Classify a schema change as compatible, backward-compatible, or breaking", {
+        src: z.string().describe("Path to source schema"),
+        tgt: z.string().describe("Path to target schema"),
+        mapping: z.string().describe("Path to migration mapping file"),
+    }, withErrorBoundary(async ({ src, tgt, mapping }) => {
+        const result = await execCli("check", "--src", src, "--tgt", tgt, "--mapping", mapping);
+        return textContent(result);
+    }));
+}
+//# sourceMappingURL=diff.js.map

package/dist/tools/diff.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diff.js","sourceRoot":"","sources":["../../src/tools/diff.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAC;AAEpE,MAAM,UAAU,iBAAiB,CAAC,MAAiB;IACjD,MAAM,CAAC,IAAI,CACT,eAAe,EACf,sFAAsF,EACtF;QACE,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,uBAAuB,CAAC;QACjD,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,uBAAuB,CAAC;QACjD,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,uBAAuB,CAAC;QAC9D,cAAc,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,uBAAuB,CAAC;QACxE,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,4CAA4C,CAAC;KACtF,EACD,iBAAiB,CAAC,KAAK,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,EAAE,EAAE;QACrE,MAAM,IAAI,GAAG,CAAC,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAChC,IAAI,IAAI;YAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC9B,IAAI,cAAc;YAAE,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QAClD,IAAI,MAAM;YAAE,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAClC,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC;QACtC,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7B,CAAC,CAAC,CACH,CAAC;IAEF,MAAM,CAAC,IAAI,CACT,mBAAmB,EACnB,0EAA0E,EAC1E;QACE,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,uBAAuB,CAAC;QACjD,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,uBAAuB,CAAC;QACjD,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,gCAAgC,CAAC;KAC/D,EACD,iBAAiB,CAAC,KAAK,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE;QAChD,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;QACxF,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7B,CAAC,CAAC,CACH,CAAC;AACJ,CAAC"}

package/dist/tools/enrich.d.ts

@@ -0,0 +1,2 @@
+import { McpServer } from "@modelcontextprotocol/sdk/server/mcp.js";
+export declare function registerEnrichTools(server: McpServer): void;

package/dist/tools/enrich.js

@@ -0,0 +1,24 @@
+import { z } from "zod";
+import { execCli, textContent, withErrorBoundary } from "../cli.js";
+export function registerEnrichTools(server) {
+    server.tool("panproto_enrich_add_default", "Add a default value expression to a schema vertex", {
+        vertex: z.string().describe("Vertex ID to add the default to"),
+        expr: z.string().describe("Default value expression as JSON"),
+    }, withErrorBoundary(async ({ vertex, expr }) => {
+        const result = await execCli("enrich", "add-default", vertex, "--expr", expr);
+        return textContent(result);
+    }));
+    server.tool("panproto_enrich_add_coercion", "Add a coercion expression between two vertex kinds", {
+        from: z.string().describe("Source vertex kind"),
+        to: z.string().describe("Target vertex kind"),
+        expr: z.string().describe("Coercion expression as JSON"),
+    }, withErrorBoundary(async ({ from, to, expr }) => {
+        const result = await execCli("enrich", "add-coercion", from, to, "--expr", expr);
+        return textContent(result);
+    }));
+    server.tool("panproto_enrich_list", "List all enrichments on the HEAD schema", {}, withErrorBoundary(async () => {
+        const result = await execCli("enrich", "list");
+        return textContent(result);
+    }));
+}
+//# sourceMappingURL=enrich.js.map

package/dist/tools/enrich.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"enrich.js","sourceRoot":"","sources":["../../src/tools/enrich.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAC;AAEpE,MAAM,UAAU,mBAAmB,CAAC,MAAiB;IACnD,MAAM,CAAC,IAAI,CACT,6BAA6B,EAC7B,mDAAmD,EACnD;QACE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,iCAAiC,CAAC;QAC9D,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,kCAAkC,CAAC;KAC9D,EACD,iBAAiB,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE;QAC3C,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,QAAQ,EAAE,aAAa,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;QAC9E,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7B,CAAC,CAAC,CACH,CAAC;IAEF,MAAM,CAAC,IAAI,CACT,8BAA8B,EAC9B,oDAAoD,EACpD;QACE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,oBAAoB,CAAC;QAC/C,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,oBAAoB,CAAC;QAC7C,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,6BAA6B,CAAC;KACzD,EACD,iBAAiB,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE;QAC7C,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,QAAQ,EAAE,cAAc,EAAE,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;QACjF,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7B,CAAC,CAAC,CACH,CAAC;IAEF,MAAM,CAAC,IAAI,CACT,sBAAsB,EACtB,yCAAyC,EACzC,EAAE,EACF,iBAAiB,CAAC,KAAK,IAAI,EAAE;QAC3B,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QAC/C,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7B,CAAC,CAAC,CACH,CAAC;AACJ,CAAC"}

package/dist/tools/expr.d.ts

@@ -0,0 +1,2 @@
+import { McpServer } from "@modelcontextprotocol/sdk/server/mcp.js";
+export declare function registerExprTools(server: McpServer): void;

package/dist/tools/expr.js

@@ -0,0 +1,25 @@
+import { z } from "zod";
+import { execCli, textContent, withErrorBoundary } from "../cli.js";
+export function registerExprTools(server) {
+    server.tool("panproto_eval_expr", "Evaluate a panproto expression (pure functional lambda calculus with ~50 builtins)", {
+        expr: z
+            .string()
+            .describe('Expression to evaluate (e.g., "2 + 3 * 4" or "\\\\x -> x + 1")'),
+    }, withErrorBoundary(async ({ expr }) => {
+        const result = await execCli("expr", "eval", expr);
+        return textContent(result);
+    }));
+    server.tool("panproto_parse_expr", "Parse an expression and print its AST (useful for debugging expression syntax)", {
+        source: z.string().describe("Expression source to parse"),
+    }, withErrorBoundary(async ({ source }) => {
+        const result = await execCli("expr", "parse", source);
+        return textContent(result);
+    }));
+    server.tool("panproto_fmt_expr", "Parse an expression and pretty-print it in canonical form", {
+        source: z.string().describe("Expression source to format"),
+    }, withErrorBoundary(async ({ source }) => {
+        const result = await execCli("expr", "fmt", source);
+        return textContent(result);
+    }));
+}
+//# sourceMappingURL=expr.js.map

package/dist/tools/expr.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"expr.js","sourceRoot":"","sources":["../../src/tools/expr.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAC;AAEpE,MAAM,UAAU,iBAAiB,CAAC,MAAiB;IACjD,MAAM,CAAC,IAAI,CACT,oBAAoB,EACpB,oFAAoF,EACpF;QACE,IAAI,EAAE,CAAC;aACJ,MAAM,EAAE;aACR,QAAQ,CAAC,gEAAgE,CAAC;KAC9E,EACD,iBAAiB,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE;QACnC,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;QACnD,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7B,CAAC,CAAC,CACH,CAAC;IAEF,MAAM,CAAC,IAAI,CACT,qBAAqB,EACrB,gFAAgF,EAChF;QACE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,4BAA4B,CAAC;KAC1D,EACD,iBAAiB,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE;QACrC,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QACtD,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7B,CAAC,CAAC,CACH,CAAC;IAEF,MAAM,CAAC,IAAI,CACT,mBAAmB,EACnB,2DAA2D,EAC3D;QACE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,6BAA6B,CAAC;KAC3D,EACD,iBAAiB,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE;QACrC,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;QACpD,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7B,CAAC,CAAC,CACH,CAAC;AACJ,CAAC"}

package/dist/tools/lens.d.ts

@@ -0,0 +1,2 @@
+import { McpServer } from "@modelcontextprotocol/sdk/server/mcp.js";
+export declare function registerLensTools(server: McpServer): void;

package/dist/tools/lens.js

@@ -0,0 +1,72 @@
+import { z } from "zod";
+import { execCli, textContent, withErrorBoundary } from "../cli.js";
+export function registerLensTools(server) {
+    server.tool("panproto_lens_generate", "Auto-generate a bidirectional protolens chain between two schemas", {
+        old_schema: z.string().describe("Path to old/source schema"),
+        new_schema: z.string().describe("Path to new/target schema"),
+        protocol: z.string().describe("Protocol name"),
+        json: z.boolean().optional().describe("Output as JSON"),
+        save: z.string().optional().describe("Save protolens chain to this file path"),
+    }, withErrorBoundary(async ({ old_schema, new_schema, protocol, json, save }) => {
+        const args = ["lens", "generate", "--protocol", protocol];
+        if (json)
+            args.push("--json");
+        if (save)
+            args.push("--save", save);
+        args.push(old_schema, new_schema);
+        const result = await execCli(...args);
+        return textContent(result);
+    }));
+    server.tool("panproto_lens_apply", "Apply a protolens chain to data (forward or backward direction)", {
+        chain: z.string().describe("Path to protolens chain JSON file"),
+        data: z.string().describe("Path to data record"),
+        protocol: z.string().describe("Protocol name"),
+        direction: z.enum(["forward", "backward"]).optional().describe("Direction (default: forward)"),
+        complement: z.string().optional().describe("Path to complement data (for backward apply)"),
+        schema: z.string().optional().describe("Schema for chain instantiation"),
+    }, withErrorBoundary(async ({ chain, data, protocol, direction, complement, schema }) => {
+        const args = ["lens", "apply", "--protocol", protocol];
+        if (direction)
+            args.push("--direction", direction);
+        if (complement)
+            args.push("--complement", complement);
+        if (schema)
+            args.push("--schema", schema);
+        args.push(chain, data);
+        const result = await execCli(...args);
+        return textContent(result);
+    }));
+    server.tool("panproto_lens_verify", "Verify lens round-trip laws (GetPut and PutGet) on test data", {
+        data: z.string().describe("Path to test data file"),
+        protocol: z.string().describe("Protocol name"),
+        schema: z.string().optional().describe("Path to schema file"),
+    }, withErrorBoundary(async ({ data, protocol, schema }) => {
+        const args = ["lens", "verify", "--protocol", protocol];
+        if (schema)
+            args.push("--schema", schema);
+        args.push(data);
+        const result = await execCli(...args);
+        return textContent(result);
+    }));
+    server.tool("panproto_lens_compose", "Compose two protolens chains or schemas into a single chain", {
+        chain1: z.string().describe("Path to first chain or schema"),
+        chain2: z.string().describe("Path to second chain or schema"),
+        protocol: z.string().describe("Protocol name"),
+        json: z.boolean().optional().describe("Output as JSON"),
+    }, withErrorBoundary(async ({ chain1, chain2, protocol, json }) => {
+        const args = ["lens", "compose", "--protocol", protocol];
+        if (json)
+            args.push("--json");
+        args.push(chain1, chain2);
+        const result = await execCli(...args);
+        return textContent(result);
+    }));
+    server.tool("panproto_lens_inspect", "Inspect a protolens chain showing each step, preconditions, and effects", {
+        chain: z.string().describe("Path to protolens chain JSON"),
+        protocol: z.string().describe("Protocol name"),
+    }, withErrorBoundary(async ({ chain, protocol }) => {
+        const result = await execCli("lens", "inspect", "--protocol", protocol, chain);
+        return textContent(result);
+    }));
+}
+//# sourceMappingURL=lens.js.map

package/dist/tools/lens.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lens.js","sourceRoot":"","sources":["../../src/tools/lens.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAC;AAEpE,MAAM,UAAU,iBAAiB,CAAC,MAAiB;IACjD,MAAM,CAAC,IAAI,CACT,wBAAwB,EACxB,mEAAmE,EACnE;QACE,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,2BAA2B,CAAC;QAC5D,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,2BAA2B,CAAC;QAC5D,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,eAAe,CAAC;QAC9C,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,gBAAgB,CAAC;QACvD,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,wCAAwC,CAAC;KAC/E,EACD,iBAAiB,CAAC,KAAK,EAAE,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE;QAC3E,MAAM,IAAI,GAAG,CAAC,MAAM,EAAE,UAAU,EAAE,YAAY,EAAE,QAAQ,CAAC,CAAC;QAC1D,IAAI,IAAI;YAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC9B,IAAI,IAAI;YAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QACpC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;QAClC,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC;QACtC,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7B,CAAC,CAAC,CACH,CAAC;IAEF,MAAM,CAAC,IAAI,CACT,qBAAqB,EACrB,iEAAiE,EACjE;QACE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,mCAAmC,CAAC;QAC/D,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,qBAAqB,CAAC;QAChD,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,eAAe,CAAC;QAC9C,SAAS,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,8BAA8B,CAAC;QAC9F,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,8CAA8C,CAAC;QAC1F,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,gCAAgC,CAAC;KACzE,EACD,iBAAiB,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,EAAE;QACnF,MAAM,IAAI,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,QAAQ,CAAC,CAAC;QACvD,IAAI,SAAS;YAAE,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,SAAS,CAAC,CAAC;QACnD,IAAI,UAAU;YAAE,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC;QACtD,IAAI,MAAM;YAAE,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;QAC1C,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACvB,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC;QACtC,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7B,CAAC,CAAC,CACH,CAAC;IAEF,MAAM,CAAC,IAAI,CACT,sBAAsB,EACtB,8DAA8D,EAC9D;QACE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,wBAAwB,CAAC;QACnD,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,eAAe,CAAC;QAC9C,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,qBAAqB,CAAC;KAC9D,EACD,iBAAiB,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE;QACrD,MAAM,IAAI,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,QAAQ,CAAC,CAAC;QACxD,IAAI,MAAM;YAAE,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;QAC1C,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChB,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC;QACtC,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7B,CAAC,CAAC,CACH,CAAC;IAEF,MAAM,CAAC,IAAI,CACT,uBAAuB,EACvB,6DAA6D,EAC7D;QACE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,+BAA+B,CAAC;QAC5D,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,gCAAgC,CAAC;QAC7D,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,eAAe,CAAC;QAC9C,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,gBAAgB,CAAC;KACxD,EACD,iBAAiB,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE;QAC7D,MAAM,IAAI,GAAG,CAAC,MAAM,EAAE,SAAS,EAAE,YAAY,EAAE,QAAQ,CAAC,CAAC;QACzD,IAAI,IAAI;YAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC9B,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC1B,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC;QACtC,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7B,CAAC,CAAC,CACH,CAAC;IAEF,MAAM,CAAC,IAAI,CACT,uBAAuB,EACvB,yEAAyE,EACzE;QACE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,8BAA8B,CAAC;QAC1D,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,eAAe,CAAC;KAC/C,EACD,iBAAiB,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,EAAE;QAC9C,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,MAAM,EAAE,SAAS,EAAE,YAAY,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;QAC/E,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7B,CAAC,CAAC,CACH,CAAC;AACJ,CAAC"}

package/dist/tools/migration.d.ts

@@ -0,0 +1,2 @@
+import { McpServer } from "@modelcontextprotocol/sdk/server/mcp.js";
+export declare function registerMigrationTools(server: McpServer): void;

package/dist/tools/migration.js

@@ -0,0 +1,64 @@
+import { z } from "zod";
+import { execCli, textContent, withErrorBoundary } from "../cli.js";
+export function registerMigrationTools(server) {
+    server.tool("panproto_check_existence", "Check if a migration between two schemas satisfies existence conditions", {
+        src: z.string().describe("Path to source schema"),
+        tgt: z.string().describe("Path to target schema"),
+        mapping: z.string().describe("Path to migration mapping file"),
+        typecheck: z.boolean().optional().describe("Also type-check at the GAT level"),
+    }, withErrorBoundary(async ({ src, tgt, mapping, typecheck }) => {
+        const args = ["check", "--src", src, "--tgt", tgt, "--mapping", mapping];
+        if (typecheck)
+            args.push("--typecheck");
+        const result = await execCli(...args);
+        return textContent(result);
+    }));
+    server.tool("panproto_lift", "Apply a migration to a data record, transforming it from source to target schema", {
+        migration: z.string().describe("Path to migration mapping file"),
+        src_schema: z.string().describe("Path to source schema"),
+        tgt_schema: z.string().describe("Path to target schema"),
+        record: z.string().describe("Path to the data record"),
+        direction: z.enum(["restrict", "sigma", "pi"]).optional().describe("Migration direction (default: restrict)"),
+    }, withErrorBoundary(async ({ migration, src_schema, tgt_schema, record, direction }) => {
+        const args = [
+            "lift", "--migration", migration,
+            "--src-schema", src_schema, "--tgt-schema", tgt_schema,
+        ];
+        if (direction)
+            args.push("--direction", direction);
+        args.push(record);
+        const result = await execCli(...args);
+        return textContent(result);
+    }));
+    server.tool("panproto_auto_migrate", "Automatically discover a migration morphism between two schemas via CSP search", {
+        old_schema: z.string().describe("Path to old/source schema"),
+        new_schema: z.string().describe("Path to new/target schema"),
+        json: z.boolean().optional().describe("Output as JSON"),
+        monic: z.boolean().optional().describe("Require injective vertex mapping"),
+    }, withErrorBoundary(async ({ old_schema, new_schema, json, monic }) => {
+        const args = ["auto-migrate"];
+        if (json)
+            args.push("--json");
+        if (monic)
+            args.push("--monic");
+        args.push(old_schema, new_schema);
+        const result = await execCli(...args);
+        return textContent(result);
+    }));
+    server.tool("panproto_integrate", "Compute the pushout (integration) of two schemas, merging them into one", {
+        left: z.string().describe("Path to left schema"),
+        right: z.string().describe("Path to right schema"),
+        auto_overlap: z.boolean().optional().describe("Auto-discover overlap between schemas"),
+        json: z.boolean().optional().describe("Output as JSON"),
+    }, withErrorBoundary(async ({ left, right, auto_overlap, json }) => {
+        const args = ["integrate"];
+        if (auto_overlap)
+            args.push("--auto-overlap");
+        if (json)
+            args.push("--json");
+        args.push(left, right);
+        const result = await execCli(...args);
+        return textContent(result);
+    }));
+}
+//# sourceMappingURL=migration.js.map

package/dist/tools/migration.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"migration.js","sourceRoot":"","sources":["../../src/tools/migration.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAC;AAEpE,MAAM,UAAU,sBAAsB,CAAC,MAAiB;IACtD,MAAM,CAAC,IAAI,CACT,0BAA0B,EAC1B,yEAAyE,EACzE;QACE,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,uBAAuB,CAAC;QACjD,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,uBAAuB,CAAC;QACjD,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,gCAAgC,CAAC;QAC9D,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,kCAAkC,CAAC;KAC/E,EACD,iBAAiB,CAAC,KAAK,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE;QAC3D,MAAM,IAAI,GAAG,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;QACzE,IAAI,SAAS;YAAE,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QACxC,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC;QACtC,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7B,CAAC,CAAC,CACH,CAAC;IAEF,MAAM,CAAC,IAAI,CACT,eAAe,EACf,kFAAkF,EAClF;QACE,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,gCAAgC,CAAC;QAChE,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,uBAAuB,CAAC;QACxD,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,uBAAuB,CAAC;QACxD,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,yBAAyB,CAAC;QACtD,SAAS,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,yCAAyC,CAAC;KAC9G,EACD,iBAAiB,CAAC,KAAK,EAAE,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,EAAE;QACnF,MAAM,IAAI,GAAG;YACX,MAAM,EAAE,aAAa,EAAE,SAAS;YAChC,cAAc,EAAE,UAAU,EAAE,cAAc,EAAE,UAAU;SACvD,CAAC;QACF,IAAI,SAAS;YAAE,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,SAAS,CAAC,CAAC;QACnD,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAClB,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC;QACtC,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7B,CAAC,CAAC,CACH,CAAC;IAEF,MAAM,CAAC,IAAI,CACT,uBAAuB,EACvB,gFAAgF,EAChF;QACE,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,2BAA2B,CAAC;QAC5D,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,2BAA2B,CAAC;QAC5D,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,gBAAgB,CAAC;QACvD,KAAK,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,kCAAkC,CAAC;KAC3E,EACD,iBAAiB,CAAC,KAAK,EAAE,EAAE,UAAU,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE;QAClE,MAAM,IAAI,GAAG,CAAC,cAAc,CAAC,CAAC;QAC9B,IAAI,IAAI;YAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC9B,IAAI,KAAK;YAAE,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAChC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;QAClC,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC;QACtC,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7B,CAAC,CAAC,CACH,CAAC;IAEF,MAAM,CAAC,IAAI,CACT,oBAAoB,EACpB,yEAAyE,EACzE;QACE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,qBAAqB,CAAC;QAChD,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,sBAAsB,CAAC;QAClD,YAAY,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,uCAAuC,CAAC;QACtF,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,gBAAgB,CAAC;KACxD,EACD,iBAAiB,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,EAAE;QAC9D,MAAM,IAAI,GAAG,CAAC,WAAW,CAAC,CAAC;QAC3B,IAAI,YAAY;YAAE,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC9C,IAAI,IAAI;YAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC9B,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACvB,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC;QACtC,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7B,CAAC,CAAC,CACH,CAAC;AACJ,CAAC"}

package/dist/tools/parse.d.ts

@@ -0,0 +1,2 @@
+import { McpServer } from "@modelcontextprotocol/sdk/server/mcp.js";
+export declare function registerParseTools(server: McpServer): void;

package/dist/tools/parse.js

@@ -0,0 +1,26 @@
+import { z } from "zod";
+import { execCli, textContent, withErrorBoundary } from "../cli.js";
+export function registerParseTools(server) {
+    server.tool("panproto_parse_file", "Parse a source file into a panproto schema representation (248 languages supported via tree-sitter)", {
+        file_path: z.string().describe("Path to the source file"),
+    }, withErrorBoundary(async ({ file_path }) => {
+        const result = await execCli("parse", "file", file_path);
+        return textContent(result);
+    }));
+    server.tool("panproto_parse_project", "Parse all files in a directory into a unified project schema with cross-file imports", {
+        path: z.string().optional().describe("Directory to parse (default: current directory)"),
+    }, withErrorBoundary(async ({ path }) => {
+        const args = ["parse", "project"];
+        if (path)
+            args.push(path);
+        const result = await execCli(...args, { timeout: 120_000 });
+        return textContent(result);
+    }));
+    server.tool("panproto_parse_emit", "Round-trip parse and emit a source file (parse then reconstruct to verify fidelity)", {
+        file_path: z.string().describe("Path to the source file"),
+    }, withErrorBoundary(async ({ file_path }) => {
+        const result = await execCli("parse", "emit", file_path);
+        return textContent(result);
+    }));
+}
+//# sourceMappingURL=parse.js.map

package/dist/tools/parse.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parse.js","sourceRoot":"","sources":["../../src/tools/parse.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAC;AAEpE,MAAM,UAAU,kBAAkB,CAAC,MAAiB;IAClD,MAAM,CAAC,IAAI,CACT,qBAAqB,EACrB,qGAAqG,EACrG;QACE,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,yBAAyB,CAAC;KAC1D,EACD,iBAAiB,CAAC,KAAK,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE;QACxC,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;QACzD,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7B,CAAC,CAAC,CACH,CAAC;IAEF,MAAM,CAAC,IAAI,CACT,wBAAwB,EACxB,sFAAsF,EACtF;QACE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,iDAAiD,CAAC;KACxF,EACD,iBAAiB,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE;QACnC,MAAM,IAAI,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QAClC,IAAI,IAAI;YAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1B,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,GAAG,IAAI,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;QAC5D,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7B,CAAC,CAAC,CACH,CAAC;IAEF,MAAM,CAAC,IAAI,CACT,qBAAqB,EACrB,qFAAqF,EACrF;QACE,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,yBAAyB,CAAC;KAC1D,EACD,iBAAiB,CAAC,KAAK,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE;QACxC,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;QACzD,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7B,CAAC,CAAC,CACH,CAAC;AACJ,CAAC"}

package/dist/tools/schema.d.ts

@@ -0,0 +1,2 @@
+import { McpServer } from "@modelcontextprotocol/sdk/server/mcp.js";
+export declare function registerSchemaTools(server: McpServer): void;

package/dist/tools/schema.js

@@ -0,0 +1,48 @@
+import { z } from "zod";
+import { execCli, textContent, withErrorBoundary } from "../cli.js";
+export function registerSchemaTools(server) {
+    server.tool("panproto_validate", "Validate a schema file against a protocol's rules", {
+        schema_path: z.string().describe("Path to the schema file"),
+        protocol: z.string().describe("Protocol name (e.g., atproto, openapi, avro)"),
+    }, withErrorBoundary(async ({ schema_path, protocol }) => {
+        const result = await execCli("validate", "--protocol", protocol, schema_path);
+        return textContent(result);
+    }));
+    server.tool("panproto_normalize", "Canonicalize a schema by collapsing reference chains and simplifying structure", {
+        schema_path: z.string().describe("Path to the schema file"),
+        protocol: z.string().describe("Protocol name"),
+        json: z.boolean().optional().describe("Output as JSON"),
+    }, withErrorBoundary(async ({ schema_path, protocol, json }) => {
+        const args = ["normalize", "--protocol", protocol];
+        if (json)
+            args.push("--json");
+        args.push(schema_path);
+        const result = await execCli(...args);
+        return textContent(result);
+    }));
+    server.tool("panproto_scaffold", "Generate minimal test data from a protocol theory using free model construction", {
+        protocol: z.string().describe("Protocol name"),
+        schema_path: z.string().describe("Path to the schema file"),
+        json: z.boolean().optional().describe("Output as JSON"),
+    }, withErrorBoundary(async ({ protocol, schema_path, json }) => {
+        const args = ["scaffold", "--protocol", protocol];
+        if (json)
+            args.push("--json");
+        args.push(schema_path);
+        const result = await execCli(...args);
+        return textContent(result);
+    }));
+    server.tool("panproto_typecheck", "Type-check a migration morphism at the GAT level", {
+        src: z.string().describe("Path to source schema"),
+        tgt: z.string().describe("Path to target schema"),
+        migration: z.string().describe("Path to migration mapping file"),
+    }, withErrorBoundary(async ({ src, tgt, migration }) => {
+        const result = await execCli("typecheck", "--src", src, "--tgt", tgt, "--migration", migration);
+        return textContent(result);
+    }));
+    server.tool("panproto_health", "Check that the panproto CLI is installed and report its version", {}, withErrorBoundary(async () => {
+        const version = await execCli("--version");
+        return textContent(`OK: ${version}`);
+    }));
+}
+//# sourceMappingURL=schema.js.map

package/dist/tools/schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.js","sourceRoot":"","sources":["../../src/tools/schema.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAC;AAEpE,MAAM,UAAU,mBAAmB,CAAC,MAAiB;IACnD,MAAM,CAAC,IAAI,CACT,mBAAmB,EACnB,mDAAmD,EACnD;QACE,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,yBAAyB,CAAC;QAC3D,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,8CAA8C,CAAC;KAC9E,EACD,iBAAiB,CAAC,KAAK,EAAE,EAAE,WAAW,EAAE,QAAQ,EAAE,EAAE,EAAE;QACpD,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,UAAU,EAAE,YAAY,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;QAC9E,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7B,CAAC,CAAC,CACH,CAAC;IAEF,MAAM,CAAC,IAAI,CACT,oBAAoB,EACpB,gFAAgF,EAChF;QACE,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,yBAAyB,CAAC;QAC3D,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,eAAe,CAAC;QAC9C,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,gBAAgB,CAAC;KACxD,EACD,iBAAiB,CAAC,KAAK,EAAE,EAAE,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE;QAC1D,MAAM,IAAI,GAAG,CAAC,WAAW,EAAE,YAAY,EAAE,QAAQ,CAAC,CAAC;QACnD,IAAI,IAAI;YAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC9B,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACvB,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC;QACtC,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7B,CAAC,CAAC,CACH,CAAC;IAEF,MAAM,CAAC,IAAI,CACT,mBAAmB,EACnB,iFAAiF,EACjF;QACE,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,eAAe,CAAC;QAC9C,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,yBAAyB,CAAC;QAC3D,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,gBAAgB,CAAC;KACxD,EACD,iBAAiB,CAAC,KAAK,EAAE,EAAE,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAE,EAAE,EAAE;QAC1D,MAAM,IAAI,GAAG,CAAC,UAAU,EAAE,YAAY,EAAE,QAAQ,CAAC,CAAC;QAClD,IAAI,IAAI;YAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC9B,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACvB,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC;QACtC,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7B,CAAC,CAAC,CACH,CAAC;IAEF,MAAM,CAAC,IAAI,CACT,oBAAoB,EACpB,kDAAkD,EAClD;QACE,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,uBAAuB,CAAC;QACjD,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,uBAAuB,CAAC;QACjD,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,gCAAgC,CAAC;KACjE,EACD,iBAAiB,CAAC,KAAK,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE,EAAE;QAClD,MAAM,MAAM,GAAG,MAAM,OAAO,CAC1B,WAAW,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,aAAa,EAAE,SAAS,CAClE,CAAC;QACF,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7B,CAAC,CAAC,CACH,CAAC;IAEF,MAAM,CAAC,IAAI,CACT,iBAAiB,EACjB,iEAAiE,EACjE,EAAE,EACF,iBAAiB,CAAC,KAAK,IAAI,EAAE;QAC3B,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,WAAW,CAAC,CAAC;QAC3C,OAAO,WAAW,CAAC,OAAO,OAAO,EAAE,CAAC,CAAC;IACvC,CAAC,CAAC,CACH,CAAC;AACJ,CAAC"}

package/dist/tools/vcs.d.ts

@@ -0,0 +1,2 @@
+import { McpServer } from "@modelcontextprotocol/sdk/server/mcp.js";
+export declare function registerVcsTools(server: McpServer): void;

package/dist/tools/vcs.js

@@ -0,0 +1,54 @@
+import { z } from "zod";
+import { execCli, textContent, withErrorBoundary } from "../cli.js";
+export function registerVcsTools(server) {
+    server.tool("panproto_vcs_status", "Show panproto VCS status (staged, modified, untracked schema files)", {
+        repo_path: z.string().optional().describe("Path to panproto repository (default: cwd)"),
+    }, withErrorBoundary(async ({ repo_path }) => {
+        const result = await execCli("status", { cwd: repo_path });
+        return textContent(result);
+    }));
+    server.tool("panproto_vcs_log", "Show schema commit history with optional filtering", {
+        repo_path: z.string().optional().describe("Path to panproto repository (default: cwd)"),
+        limit: z.number().optional().describe("Maximum number of commits to show"),
+        oneline: z.boolean().optional().describe("Show each commit on a single line"),
+        graph: z.boolean().optional().describe("Show ASCII branch graph"),
+    }, withErrorBoundary(async ({ repo_path, limit, oneline, graph }) => {
+        const args = ["log"];
+        if (limit)
+            args.push("-n", String(limit));
+        if (oneline)
+            args.push("--oneline");
+        if (graph)
+            args.push("--graph");
+        const result = await execCli(...args, { cwd: repo_path });
+        return textContent(result);
+    }));
+    server.tool("panproto_vcs_diff", "Diff two schema versions or show staged changes in the VCS", {
+        repo_path: z.string().optional().describe("Path to panproto repository (default: cwd)"),
+        old_ref: z.string().optional().describe("Old ref or schema path"),
+        new_ref: z.string().optional().describe("New ref or schema path"),
+        staged: z.boolean().optional().describe("Diff staged changes against HEAD"),
+        stat: z.boolean().optional().describe("Show diffstat summary"),
+    }, withErrorBoundary(async ({ repo_path, old_ref, new_ref, staged, stat }) => {
+        const args = ["diff"];
+        if (staged)
+            args.push("--staged");
+        if (stat)
+            args.push("--stat");
+        if (old_ref)
+            args.push(old_ref);
+        if (new_ref)
+            args.push(new_ref);
+        const result = await execCli(...args, { cwd: repo_path });
+        return textContent(result);
+    }));
+    server.tool("panproto_vcs_blame", "Show which commit introduced a specific schema element", {
+        element_type: z.enum(["vertex", "edge", "constraint"]).describe("Element type"),
+        element_id: z.string().describe('Element identifier (vertex ID, edge "src->tgt", or "vertex:sort")'),
+        repo_path: z.string().optional().describe("Path to panproto repository (default: cwd)"),
+    }, withErrorBoundary(async ({ element_type, element_id, repo_path }) => {
+        const result = await execCli("blame", "--element-type", element_type, element_id, { cwd: repo_path });
+        return textContent(result);
+    }));
+}
+//# sourceMappingURL=vcs.js.map

package/dist/tools/vcs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"vcs.js","sourceRoot":"","sources":["../../src/tools/vcs.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAC;AAEpE,MAAM,UAAU,gBAAgB,CAAC,MAAiB;IAChD,MAAM,CAAC,IAAI,CACT,qBAAqB,EACrB,qEAAqE,EACrE;QACE,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,4CAA4C,CAAC;KACxF,EACD,iBAAiB,CAAC,KAAK,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE;QACxC,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,QAAQ,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,CAAC;QAC3D,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7B,CAAC,CAAC,CACH,CAAC;IAEF,MAAM,CAAC,IAAI,CACT,kBAAkB,EAClB,oDAAoD,EACpD;QACE,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,4CAA4C,CAAC;QACvF,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,mCAAmC,CAAC;QAC1E,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,mCAAmC,CAAC;QAC7E,KAAK,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,yBAAyB,CAAC;KAClE,EACD,iBAAiB,CAAC,KAAK,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE;QAC/D,MAAM,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;QACrB,IAAI,KAAK;YAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QAC1C,IAAI,OAAO;YAAE,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACpC,IAAI,KAAK;YAAE,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAChC,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,GAAG,IAAI,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,CAAC;QAC1D,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7B,CAAC,CAAC,CACH,CAAC;IAEF,MAAM,CAAC,IAAI,CACT,mBAAmB,EACnB,4DAA4D,EAC5D;QACE,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,4CAA4C,CAAC;QACvF,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,wBAAwB,CAAC;QACjE,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,wBAAwB,CAAC;QACjE,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,kCAAkC,CAAC;QAC3E,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,uBAAuB,CAAC;KAC/D,EACD,iBAAiB,CAAC,KAAK,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE;QACxE,MAAM,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC;QACtB,IAAI,MAAM;YAAE,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAClC,IAAI,IAAI;YAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC9B,IAAI,OAAO;YAAE,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAChC,IAAI,OAAO;YAAE,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAChC,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,GAAG,IAAI,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,CAAC;QAC1D,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7B,CAAC,CAAC,CACH,CAAC;IAEF,MAAM,CAAC,IAAI,CACT,oBAAoB,EACpB,wDAAwD,EACxD;QACE,YAAY,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC;QAC/E,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,mEAAmE,CAAC;QACpG,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,4CAA4C,CAAC;KACxF,EACD,iBAAiB,CAAC,KAAK,EAAE,EAAE,YAAY,EAAE,UAAU,EAAE,SAAS,EAAE,EAAE,EAAE;QAClE,MAAM,MAAM,GAAG,MAAM,OAAO,CAC1B,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,UAAU,EACnD,EAAE,GAAG,EAAE,SAAS,EAAE,CACnB,CAAC;QACF,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7B,CAAC,CAAC,CACH,CAAC;AACJ,CAAC"}

package/package.json

@@ -0,0 +1,38 @@
+{
+  "name": "@panproto/mcp-server",
+  "version": "0.2.0",
+  "description": "MCP server exposing panproto schema migration operations",
+  "license": "MIT",
+  "type": "module",
+  "bin": {
+    "panproto-mcp-server": "./dist/index.js"
+  },
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "files": [
+    "dist"
+  ],
+  "scripts": {
+    "build": "tsc",
+    "start": "node dist/index.js",
+    "dev": "tsx src/index.ts",
+    "typecheck": "tsc --noEmit"
+  },
+  "dependencies": {
+    "@modelcontextprotocol/sdk": "^1.0.0",
+    "@panproto/core": "^0.22.1"
+  },
+  "devDependencies": {
+    "typescript": "^5.7.0",
+    "tsx": "^4.19.0",
+    "@types/node": "^22.0.0"
+  },
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/panproto/panproto-toolkit",
+    "directory": "mcp-server"
+  },
+  "engines": {
+    "node": ">=22"
+  }
+}