@llm4ts/flow 0.1.0

package/dist/GitHubTool.js

@@ -0,0 +1,191 @@
+import * as Effect from "effect/Effect";
+import * as Schema from "effect/Schema";
+import { Capabilities } from "@llm4ts/core/Capability";
+import { ProcessError } from "./FlowError.js";
+import { guarded } from "./CapabilityGuard.js";
+export class IssueRef extends Schema.Class("IssueRef")({
+    owner: Schema.String,
+    repo: Schema.String,
+    number: Schema.Int
+}) {
+    get shortRef() {
+        return `${this.owner}/${this.repo}#${this.number}`;
+    }
+}
+export const parseIssueRef = (input) => {
+    const match = /^([^/\s]+)\/([^#\s]+)#(\d+)$/.exec(input.trim());
+    const owner = match?.[1];
+    const repo = match?.[2];
+    const number = Number.parseInt(match?.[3] ?? "", 10);
+    return owner === undefined || repo === undefined || !Number.isInteger(number) || number <= 0
+        ? undefined
+        : IssueRef.make({ owner, repo, number });
+};
+export class Issue extends Schema.Class("Issue")({
+    title: Schema.String,
+    body: Schema.String,
+    author: Schema.String
+}) {
+}
+export class PullRequest extends Schema.Class("PullRequest")({
+    owner: Schema.String,
+    repo: Schema.String,
+    number: Schema.Int,
+    url: Schema.String
+}) {
+    get shortRef() {
+        return `${this.owner}/${this.repo}#${this.number}`;
+    }
+}
+export const BuildOutcome = Schema.Literals(["Success", "Failure", "Pending", "TimedOut"]);
+export const parsePullRequestUrl = (url) => {
+    const match = /^https?:\/\/[^/]+\/([^/]+)\/([^/]+)\/pull\/(\d+).*$/.exec(url.trim());
+    const owner = match?.[1];
+    const repo = match?.[2];
+    const number = Number.parseInt(match?.[3] ?? "", 10);
+    return owner === undefined || repo === undefined || !Number.isInteger(number)
+        ? undefined
+        : PullRequest.make({
+            owner,
+            repo,
+            number,
+            url: url.trim()
+        });
+};
+export const prViewArgs = ["pr", "view", "--json", "url", "--jq", ".url"];
+export const prCreateArgs = (title, body, base, draft) => [
+    "pr",
+    "create",
+    "--title",
+    title,
+    "--body",
+    body,
+    ...(base === undefined ? [] : ["--base", base]),
+    ...(draft ? ["--draft"] : [])
+];
+export const issueViewArgs = (ref) => [
+    "issue",
+    "view",
+    String(ref.number),
+    "--repo",
+    `${ref.owner}/${ref.repo}`,
+    "--json",
+    "title,body,author"
+];
+export const issueCommentArgs = (ref, body) => [
+    "issue",
+    "comment",
+    String(ref.number),
+    "--repo",
+    `${ref.owner}/${ref.repo}`,
+    "--body",
+    body
+];
+export const prCommentArgs = (pr, body) => [
+    "pr",
+    "comment",
+    String(pr.number),
+    "--repo",
+    `${pr.owner}/${pr.repo}`,
+    "--body",
+    body
+];
+export const prPatchArgs = (pr, title, body) => [
+    "api",
+    "--method",
+    "PATCH",
+    `repos/${pr.owner}/${pr.repo}/pulls/${pr.number}`,
+    "-f",
+    `title=${title}`,
+    "-f",
+    `body=${body}`
+];
+export const prChecksArgs = (pr) => [
+    "pr",
+    "view",
+    String(pr.number),
+    "--repo",
+    `${pr.owner}/${pr.repo}`,
+    "--json",
+    "statusCheckRollup"
+];
+class GhAuthor extends Schema.Class("GhAuthor")({
+    login: Schema.String
+}) {
+}
+class GhIssue extends Schema.Class("GhIssue")({
+    title: Schema.String,
+    body: Schema.String,
+    author: GhAuthor
+}) {
+}
+class GhCheck extends Schema.Class("GhCheck")({
+    status: Schema.optionalKey(Schema.String),
+    conclusion: Schema.optionalKey(Schema.String),
+    state: Schema.optionalKey(Schema.String)
+}) {
+}
+class GhChecks extends Schema.Class("GhChecks")({
+    statusCheckRollup: Schema.Array(GhCheck).pipe(Schema.withConstructorDefault(Effect.succeed(Object.freeze([]))))
+}) {
+}
+export const parseIssue = (json) => Schema.decodeUnknownEffect(Schema.fromJsonString(GhIssue))(json).pipe(Effect.map((issue) => new Issue({
+    title: issue.title,
+    body: issue.body,
+    author: issue.author.login
+})), Effect.mapError((error) => ProcessError.make({
+    message: "gh issue view",
+    detail: `invalid issue JSON: ${String(error)}`
+})));
+export const outcomeFromChecksJson = (json) => Schema.decodeUnknownEffect(Schema.fromJsonString(GhChecks))(json).pipe(Effect.map((parsed) => {
+    const pending = parsed.statusCheckRollup.some((check) => (check.status !== undefined && check.status.toUpperCase() !== "COMPLETED") ||
+        ["PENDING", "EXPECTED"].includes(check.state?.toUpperCase() ?? ""));
+    const failed = parsed.statusCheckRollup.some((check) => ["FAILURE", "TIMED_OUT", "CANCELLED", "ACTION_REQUIRED", "STARTUP_FAILURE"].includes(check.conclusion?.toUpperCase() ?? "") || ["FAILURE", "ERROR"].includes(check.state?.toUpperCase() ?? ""));
+    return pending ? "Pending" : failed ? "Failure" : "Success";
+}), Effect.mapError((error) => ProcessError.make({
+    message: "gh pr checks",
+    detail: `invalid checks JSON: ${String(error)}`
+})));
+const output = (result) => result.stdout.join("\n").trim();
+export const makeGitHubTool = (process, workDir, events) => {
+    const run = (args, allowFailure = false) => process.run(["gh", ...args], workDir, {}).pipe(Effect.mapError((error) => ProcessError.make({
+        message: `gh ${args.join(" ")}`,
+        detail: error.message
+    })), Effect.flatMap((result) => result.exitCode === 0 || allowFailure
+        ? Effect.succeed(result)
+        : Effect.fail(ProcessError.make({
+            message: `gh ${args.join(" ")}`,
+            detail: [...result.stdout, ...result.stderr].join("\n").trim() ||
+                `exit code ${result.exitCode}`
+        }))));
+    const read = (operation, effect) => guarded(Capabilities.GhRead, operation, events, effect);
+    const write = (operation, effect) => guarded(Capabilities.GhWrite, operation, events, effect);
+    const findOpenPr = run(prViewArgs, true).pipe(Effect.map((result) => result.exitCode === 0
+        ? output(result)
+            .split(/\r?\n/)
+            .map(parsePullRequestUrl)
+            .find((item) => item !== undefined)
+        : undefined));
+    return {
+        createPr: (title, body, base, draft = false) => write("gh pr create", Effect.flatMap(findOpenPr, (existing) => existing === undefined
+            ? run(prCreateArgs(title, body, base, draft)).pipe(Effect.flatMap((result) => {
+                const pr = output(result)
+                    .split(/\r?\n/)
+                    .map(parsePullRequestUrl)
+                    .find((item) => item !== undefined);
+                return pr === undefined
+                    ? Effect.fail(ProcessError.make({
+                        message: "gh pr create",
+                        detail: `could not parse a PR URL from: ${output(result)}`
+                    }))
+                    : Effect.succeed(pr);
+            }))
+            : Effect.succeed(existing))),
+        readIssue: (ref) => read("gh issue view", run(issueViewArgs(ref)).pipe(Effect.flatMap((result) => parseIssue(output(result))))),
+        writeIssueComment: (ref, body) => write("gh issue comment", run(issueCommentArgs(ref, body)).pipe(Effect.asVoid)),
+        writePrComment: (pr, body) => write("gh pr comment", run(prCommentArgs(pr, body)).pipe(Effect.asVoid)),
+        updatePr: (pr, title, body) => write("gh pr edit", run(prPatchArgs(pr, title, body)).pipe(Effect.asVoid)),
+        prChecks: (pr) => read("gh pr checks", run(prChecksArgs(pr)).pipe(Effect.flatMap((result) => outcomeFromChecksJson(output(result)))))
+    };
+};
+//# sourceMappingURL=GitHubTool.js.map

package/dist/GitHubTool.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"GitHubTool.js","sourceRoot":"","sources":["../src/GitHubTool.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AAEtD,OAAO,EAAE,YAAY,EAAkB,MAAM,gBAAgB,CAAA;AAE7D,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AAE9C,MAAM,OAAO,QAAS,SAAQ,MAAM,CAAC,KAAK,CAAW,UAAU,CAAC,CAAC;IAC/D,KAAK,EAAE,MAAM,CAAC,MAAM;IACpB,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,MAAM,EAAE,MAAM,CAAC,GAAG;CACnB,CAAC;IACA,IAAI,QAAQ;QACV,OAAO,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,EAAE,CAAA;IACpD,CAAC;CACF;AAED,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,KAAa,EAAwB,EAAE;IACnE,MAAM,KAAK,GAAG,8BAA8B,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAA;IAC/D,MAAM,KAAK,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,CAAA;IACxB,MAAM,IAAI,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,CAAA;IACvB,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAA;IACpD,OAAO,KAAK,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,MAAM,IAAI,CAAC;QAC1F,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAA;AAC5C,CAAC,CAAA;AAED,MAAM,OAAO,KAAM,SAAQ,MAAM,CAAC,KAAK,CAAQ,OAAO,CAAC,CAAC;IACtD,KAAK,EAAE,MAAM,CAAC,MAAM;IACpB,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,MAAM,EAAE,MAAM,CAAC,MAAM;CACtB,CAAC;CAAG;AAEL,MAAM,OAAO,WAAY,SAAQ,MAAM,CAAC,KAAK,CAAc,aAAa,CAAC,CAAC;IACxE,KAAK,EAAE,MAAM,CAAC,MAAM;IACpB,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,MAAM,EAAE,MAAM,CAAC,GAAG;IAClB,GAAG,EAAE,MAAM,CAAC,MAAM;CACnB,CAAC;IACA,IAAI,QAAQ;QACV,OAAO,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,EAAE,CAAA;IACpD,CAAC;CACF;AAED,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC,CAAA;AAG1F,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,GAAW,EAA2B,EAAE;IAC1E,MAAM,KAAK,GAAG,qDAAqD,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAA;IACpF,MAAM,KAAK,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,CAAA;IACxB,MAAM,IAAI,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,CAAA;IACvB,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAA;IACpD,OAAO,KAAK,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC;QAC3E,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC;YACf,KAAK;YACL,IAAI;YACJ,MAAM;YACN,GAAG,EAAE,GAAG,CAAC,IAAI,EAAE;SAChB,CAAC,CAAA;AACR,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;AAEzE,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,KAAa,EACb,IAAY,EACZ,IAAwB,EACxB,KAAc,EACS,EAAE,CAAC;IAC1B,IAAI;IACJ,QAAQ;IACR,SAAS;IACT,KAAK;IACL,QAAQ;IACR,IAAI;IACJ,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IAC/C,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;CAC9B,CAAA;AAED,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,GAAa,EAAyB,EAAE,CAAC;IACrE,OAAO;IACP,MAAM;IACN,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC;IAClB,QAAQ;IACR,GAAG,GAAG,CAAC,KAAK,IAAI,GAAG,CAAC,IAAI,EAAE;IAC1B,QAAQ;IACR,mBAAmB;CACpB,CAAA;AAED,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,GAAa,EAAE,IAAY,EAAyB,EAAE,CAAC;IACtF,OAAO;IACP,SAAS;IACT,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC;IAClB,QAAQ;IACR,GAAG,GAAG,CAAC,KAAK,IAAI,GAAG,CAAC,IAAI,EAAE;IAC1B,QAAQ;IACR,IAAI;CACL,CAAA;AAED,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,EAAe,EAAE,IAAY,EAAyB,EAAE,CAAC;IACrF,IAAI;IACJ,SAAS;IACT,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC;IACjB,QAAQ;IACR,GAAG,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,IAAI,EAAE;IACxB,QAAQ;IACR,IAAI;CACL,CAAA;AAED,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,EAAe,EACf,KAAa,EACb,IAAY,EACW,EAAE,CAAC;IAC1B,KAAK;IACL,UAAU;IACV,OAAO;IACP,SAAS,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,IAAI,UAAU,EAAE,CAAC,MAAM,EAAE;IACjD,IAAI;IACJ,SAAS,KAAK,EAAE;IAChB,IAAI;IACJ,QAAQ,IAAI,EAAE;CACf,CAAA;AAED,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,EAAe,EAAyB,EAAE,CAAC;IACtE,IAAI;IACJ,MAAM;IACN,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC;IACjB,QAAQ;IACR,GAAG,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,IAAI,EAAE;IACxB,QAAQ;IACR,mBAAmB;CACpB,CAAA;AAED,MAAM,QAAS,SAAQ,MAAM,CAAC,KAAK,CAAW,UAAU,CAAC,CAAC;IACxD,KAAK,EAAE,MAAM,CAAC,MAAM;CACrB,CAAC;CAAG;AAEL,MAAM,OAAQ,SAAQ,MAAM,CAAC,KAAK,CAAU,SAAS,CAAC,CAAC;IACrD,KAAK,EAAE,MAAM,CAAC,MAAM;IACpB,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,MAAM,EAAE,QAAQ;CACjB,CAAC;CAAG;AAEL,MAAM,OAAQ,SAAQ,MAAM,CAAC,KAAK,CAAU,SAAS,CAAC,CAAC;IACrD,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC;IACzC,UAAU,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC;IAC7C,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC;CACzC,CAAC;CAAG;AAEL,MAAM,QAAS,SAAQ,MAAM,CAAC,KAAK,CAAW,UAAU,CAAC,CAAC;IACxD,iBAAiB,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAC3C,MAAM,CAAC,sBAAsB,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CACjE;CACF,CAAC;CAAG;AAEL,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,IAAY,EAAsC,EAAE,CAC7E,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CACnE,MAAM,CAAC,GAAG,CACR,CAAC,KAAK,EAAE,EAAE,CACR,IAAI,KAAK,CAAC;IACR,KAAK,EAAE,KAAK,CAAC,KAAK;IAClB,IAAI,EAAE,KAAK,CAAC,IAAI;IAChB,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK;CAC3B,CAAC,CACL,EACD,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CACxB,YAAY,CAAC,IAAI,CAAC;IAChB,OAAO,EAAE,eAAe;IACxB,MAAM,EAAE,uBAAuB,MAAM,CAAC,KAAK,CAAC,EAAE;CAC/C,CAAC,CACH,CACF,CAAA;AAEH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,IAAY,EAA6C,EAAE,CAC/F,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CACpE,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;IACpB,MAAM,OAAO,GAAG,MAAM,CAAC,iBAAiB,CAAC,IAAI,CAC3C,CAAC,KAAK,EAAE,EAAE,CACR,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,CAAC,WAAW,EAAE,KAAK,WAAW,CAAC;QAC1E,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CACrE,CAAA;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,iBAAiB,CAAC,IAAI,CAC1C,CAAC,KAAK,EAAE,EAAE,CACR,CAAC,SAAS,EAAE,WAAW,EAAE,WAAW,EAAE,iBAAiB,EAAE,iBAAiB,CAAC,CAAC,QAAQ,CAClF,KAAK,CAAC,UAAU,EAAE,WAAW,EAAE,IAAI,EAAE,CACtC,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CACvE,CAAA;IACD,OAAO,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAA;AAC7D,CAAC,CAAC,EACF,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CACxB,YAAY,CAAC,IAAI,CAAC;IAChB,OAAO,EAAE,cAAc;IACvB,MAAM,EAAE,wBAAwB,MAAM,CAAC,KAAK,CAAC,EAAE;CAChD,CAAC,CACH,CACF,CAAA;AAoBH,MAAM,MAAM,GAAG,CAAC,MAAqB,EAAU,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAA;AAEjF,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,OAA6B,EAC7B,OAAe,EACf,MAAuB,EACN,EAAE;IACnB,MAAM,GAAG,GAAG,CACV,IAA2B,EAC3B,YAAY,GAAG,KAAK,EACqB,EAAE,CAC3C,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC,IAAI,CAC5C,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CACxB,YAAY,CAAC,IAAI,CAAC;QAChB,OAAO,EAAE,MAAM,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;QAC/B,MAAM,EAAE,KAAK,CAAC,OAAO;KACtB,CAAC,CACH,EACD,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CACxB,MAAM,CAAC,QAAQ,KAAK,CAAC,IAAI,YAAY;QACnC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC;QACxB,CAAC,CAAC,MAAM,CAAC,IAAI,CACT,YAAY,CAAC,IAAI,CAAC;YAChB,OAAO,EAAE,MAAM,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;YAC/B,MAAM,EACJ,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE;gBACtD,aAAa,MAAM,CAAC,QAAQ,EAAE;SACjC,CAAC,CACH,CACN,CACF,CAAA;IAEH,MAAM,IAAI,GAAG,CACX,SAAiB,EACjB,MAAmC,EACN,EAAE,CAAC,OAAO,CAAC,YAAY,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;IACzF,MAAM,KAAK,GAAG,CACZ,SAAiB,EACjB,MAAmC,EACN,EAAE,CAAC,OAAO,CAAC,YAAY,CAAC,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;IAE1F,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,IAAI,CAC3C,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACpB,MAAM,CAAC,QAAQ,KAAK,CAAC;QACnB,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;aACX,KAAK,CAAC,OAAO,CAAC;aACd,GAAG,CAAC,mBAAmB,CAAC;aACxB,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC;QACvC,CAAC,CAAC,SAAS,CACd,CACF,CAAA;IAED,OAAO;QACL,QAAQ,EAAE,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,GAAG,KAAK,EAAE,EAAE,CAC7C,KAAK,CACH,cAAc,EACd,MAAM,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC,QAAQ,EAAE,EAAE,CACtC,QAAQ,KAAK,SAAS;YACpB,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAC9C,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE;gBACxB,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC;qBACtB,KAAK,CAAC,OAAO,CAAC;qBACd,GAAG,CAAC,mBAAmB,CAAC;qBACxB,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,CAAA;gBACrC,OAAO,EAAE,KAAK,SAAS;oBACrB,CAAC,CAAC,MAAM,CAAC,IAAI,CACT,YAAY,CAAC,IAAI,CAAC;wBAChB,OAAO,EAAE,cAAc;wBACvB,MAAM,EAAE,kCAAkC,MAAM,CAAC,MAAM,CAAC,EAAE;qBAC3D,CAAC,CACH;oBACH,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;YACxB,CAAC,CAAC,CACH;YACH,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAC7B,CACF;QACH,SAAS,EAAE,CAAC,GAAG,EAAE,EAAE,CACjB,IAAI,CACF,eAAe,EACf,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CACrF;QACH,iBAAiB,EAAE,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAC/B,KAAK,CAAC,kBAAkB,EAAE,GAAG,CAAC,gBAAgB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACjF,cAAc,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,CAC3B,KAAK,CAAC,eAAe,EAAE,GAAG,CAAC,aAAa,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAC1E,QAAQ,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,CAC5B,KAAK,CAAC,YAAY,EAAE,GAAG,CAAC,WAAW,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAC5E,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE,CACf,IAAI,CACF,cAAc,EACd,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CACxB,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAClE,CACF;KACJ,CAAA;AACH,CAAC,CAAA"}

package/dist/GitTool.d.ts

@@ -0,0 +1,46 @@
+import * as Effect from "effect/Effect";
+import * as Schema from "effect/Schema";
+import type { ProcessExecutorShape } from "@llm4ts/core/ProcessExecutor";
+import { type FlowError } from "./FlowError.ts";
+import type { FlowEventsShape } from "./FlowEvents.ts";
+declare const BranchCreated_base: Schema.Class<BranchCreated, Schema.TaggedStruct<"Created", {}>, {}>;
+export declare class BranchCreated extends BranchCreated_base {
+}
+declare const BranchAlreadyExists_base: Schema.Class<BranchAlreadyExists, Schema.TaggedStruct<"AlreadyExists", {}>, {}>;
+export declare class BranchAlreadyExists extends BranchAlreadyExists_base {
+}
+export declare const CreateBranch: Schema.Union<readonly [typeof BranchCreated, typeof BranchAlreadyExists]>;
+export type CreateBranch = typeof CreateBranch.Type;
+declare const Committed_base: Schema.Class<Committed, Schema.TaggedStruct<"Committed", {}>, {}>;
+export declare class Committed extends Committed_base {
+}
+declare const NothingToCommit_base: Schema.Class<NothingToCommit, Schema.TaggedStruct<"NothingToCommit", {}>, {}>;
+export declare class NothingToCommit extends NothingToCommit_base {
+}
+export declare const CommitResult: Schema.Union<readonly [typeof Committed, typeof NothingToCommit]>;
+export type CommitResult = typeof CommitResult.Type;
+export interface GitToolShape {
+    readonly init: Effect.Effect<void, FlowError>;
+    readonly initBare: Effect.Effect<void, FlowError>;
+    readonly config: (key: string, value: string) => Effect.Effect<void, FlowError>;
+    readonly status: Effect.Effect<string, FlowError>;
+    readonly currentBranch: Effect.Effect<string, FlowError>;
+    readonly diff: Effect.Effect<string, FlowError>;
+    readonly diffAll: Effect.Effect<string, FlowError>;
+    readonly defaultBase: Effect.Effect<string, FlowError>;
+    readonly diffVsBase: (base: string, threeDot?: boolean) => Effect.Effect<string, FlowError>;
+    readonly changedFilesVsBase: (base: string, threeDot?: boolean) => Effect.Effect<ReadonlyArray<string>, FlowError>;
+    readonly addRemote: (name: string, url: string) => Effect.Effect<void, FlowError>;
+    readonly checkout: (name: string) => Effect.Effect<void, FlowError>;
+    readonly checkoutOrCreate: (name: string) => Effect.Effect<void, FlowError>;
+    readonly createBranch: (name: string) => Effect.Effect<CreateBranch, FlowError>;
+    readonly commitAll: (message: string) => Effect.Effect<CommitResult, FlowError>;
+    readonly push: (remote: string, branch: string) => Effect.Effect<void, FlowError>;
+    readonly checkpoint: Effect.Effect<string, FlowError>;
+    readonly rollback: (checkpoint: string) => Effect.Effect<void, FlowError>;
+    readonly addWorktree: (path: string, branch: string) => Effect.Effect<void, FlowError>;
+    readonly removeWorktree: (path: string) => Effect.Effect<void, FlowError>;
+}
+export declare const makeGitTool: (process: ProcessExecutorShape, workDir: string, events: FlowEventsShape) => GitToolShape;
+export {};
+//# sourceMappingURL=GitTool.d.ts.map

package/dist/GitTool.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"GitTool.d.ts","sourceRoot":"","sources":["../src/GitTool.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAEvC,OAAO,KAAK,EAAE,oBAAoB,EAAiB,MAAM,8BAA8B,CAAA;AACvF,OAAO,EAAgB,KAAK,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC7D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAA;;AAGtD,qBAAa,aAAc,SAAQ,kBAAkD;CAAG;;AACxF,qBAAa,mBAAoB,SAAQ,wBAGxC;CAAG;AACJ,eAAO,MAAM,YAAY,2EAAqD,CAAA;AAC9E,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAA;;AAEnD,qBAAa,SAAU,SAAQ,cAAgD;CAAG;;AAClF,qBAAa,eAAgB,SAAQ,oBAA4D;CAAG;AACpG,eAAO,MAAM,YAAY,mEAA6C,CAAA;AACtE,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAA;AAEnD,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,CAAA;IAC7C,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,CAAA;IACjD,QAAQ,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,CAAA;IAC/E,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;IACjD,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;IACxD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;IAC/C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;IAClD,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;IACtD,QAAQ,CAAC,UAAU,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,OAAO,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;IAC3F,QAAQ,CAAC,kBAAkB,EAAE,CAC3B,IAAI,EAAE,MAAM,EACZ,QAAQ,CAAC,EAAE,OAAO,KACf,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC,CAAA;IACpD,QAAQ,CAAC,SAAS,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,CAAA;IACjF,QAAQ,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,CAAA;IACnE,QAAQ,CAAC,gBAAgB,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,CAAA;IAC3E,QAAQ,CAAC,YAAY,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,SAAS,CAAC,CAAA;IAC/E,QAAQ,CAAC,SAAS,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,SAAS,CAAC,CAAA;IAC/E,QAAQ,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,CAAA;IACjF,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;IACrD,QAAQ,CAAC,QAAQ,EAAE,CAAC,UAAU,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,CAAA;IACzE,QAAQ,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,CAAA;IACtF,QAAQ,CAAC,cAAc,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,CAAA;CAC1E;AAcD,eAAO,MAAM,WAAW,GACtB,SAAS,oBAAoB,EAC7B,SAAS,MAAM,EACf,QAAQ,eAAe,KACtB,YAsJF,CAAA"}

package/dist/GitTool.js

@@ -0,0 +1,97 @@
+import * as Effect from "effect/Effect";
+import * as Schema from "effect/Schema";
+import { Capabilities } from "@llm4ts/core/Capability";
+import { ProcessError } from "./FlowError.js";
+import { guarded } from "./CapabilityGuard.js";
+export class BranchCreated extends Schema.TaggedClass()("Created", {}) {
+}
+export class BranchAlreadyExists extends Schema.TaggedClass()("AlreadyExists", {}) {
+}
+export const CreateBranch = Schema.Union([BranchCreated, BranchAlreadyExists]);
+export class Committed extends Schema.TaggedClass()("Committed", {}) {
+}
+export class NothingToCommit extends Schema.TaggedClass()("NothingToCommit", {}) {
+}
+export const CommitResult = Schema.Union([Committed, NothingToCommit]);
+const nonInteractiveEnvironment = Object.freeze({
+    GIT_TERMINAL_PROMPT: "0",
+    GIT_SSH_COMMAND: "ssh -o BatchMode=yes"
+});
+const text = (lines) => lines.join("\n").trim();
+const problem = (result) => {
+    const detail = text([...result.stdout, ...result.stderr]);
+    return detail.length === 0 ? `process exited with code ${result.exitCode}` : detail;
+};
+export const makeGitTool = (process, workDir, events) => {
+    const run = (args) => process.run(["git", ...args], workDir, nonInteractiveEnvironment).pipe(Effect.mapError((error) => ProcessError.make({
+        message: `git ${args.join(" ")}`,
+        detail: error.message
+    })));
+    const runOrFail = (args) => Effect.flatMap(run(args), (result) => result.exitCode === 0
+        ? Effect.succeed(text(result.stdout))
+        : Effect.fail(ProcessError.make({
+            message: `git ${args.join(" ")}`,
+            detail: problem(result)
+        })));
+    const gate = (capability, operation, effect) => guarded(capability, operation, events, effect);
+    const write = (operation, effect) => gate(Capabilities.GitWrite, operation, effect);
+    const read = (operation, effect) => gate(Capabilities.GitRead, operation, effect);
+    const createBranch = (name) => write("git checkout -b", Effect.flatMap(run(["checkout", "-b", name]), (result) => result.exitCode === 0
+        ? Effect.succeed(new BranchCreated())
+        : text(result.stderr).includes("already exists")
+            ? Effect.succeed(new BranchAlreadyExists())
+            : Effect.fail(ProcessError.make({
+                message: `git checkout -b ${name}`,
+                detail: problem(result)
+            }))));
+    const checkout = (name) => write("git checkout", runOrFail(["checkout", name]).pipe(Effect.asVoid));
+    const addAll = runOrFail(["add", "-A"]).pipe(Effect.asVoid);
+    const commitAllEffect = (message) => Effect.gen(function* () {
+        yield* addAll;
+        const result = yield* run(["commit", "-m", message]);
+        if (result.exitCode === 0) {
+            return new Committed();
+        }
+        if (problem(result).includes("nothing to commit")) {
+            return new NothingToCommit();
+        }
+        return yield* ProcessError.make({
+            message: "git commit",
+            detail: problem(result)
+        });
+    });
+    return {
+        init: write("git init", runOrFail(["-c", "init.defaultBranch=main", "init"]).pipe(Effect.asVoid)),
+        initBare: write("git init --bare", runOrFail(["-c", "init.defaultBranch=main", "init", "--bare"]).pipe(Effect.asVoid)),
+        config: (key, value) => write("git config", runOrFail(["config", key, value]).pipe(Effect.asVoid)),
+        status: read("git status", runOrFail(["status", "--short"])),
+        currentBranch: read("git currentBranch", runOrFail(["rev-parse", "--abbrev-ref", "HEAD"])),
+        diff: read("git diff", runOrFail(["diff"])),
+        diffAll: read("git diffAll", runOrFail(["add", "--intent-to-add", "-A"]).pipe(Effect.andThen(runOrFail(["diff"])))),
+        defaultBase: read("git defaultBase", Effect.flatMap(run(["symbolic-ref", "refs/remotes/origin/HEAD"]), (symbolic) => {
+            const value = text(symbolic.stdout);
+            if (symbolic.exitCode === 0 && value.length > 0) {
+                return Effect.succeed(value.replace(/^refs\/remotes\//, ""));
+            }
+            return Effect.flatMap(run(["rev-parse", "--verify", "--quiet", "origin/main"]), (main) => main.exitCode === 0
+                ? Effect.succeed("origin/main")
+                : run(["rev-parse", "--verify", "--quiet", "origin/master"]).pipe(Effect.map((master) => (master.exitCode === 0 ? "origin/master" : "main"))));
+        })),
+        diffVsBase: (base, threeDot = true) => read("git diffVsBase", runOrFail(["diff", `${base}${threeDot ? "..." : ".."}HEAD`])),
+        changedFilesVsBase: (base, threeDot = true) => read("git changedFilesVsBase", runOrFail(["diff", "--name-only", `${base}${threeDot ? "..." : ".."}HEAD`]).pipe(Effect.map((output) => output
+            .split(/\r?\n/)
+            .map((line) => line.trim())
+            .filter((line) => line.length > 0)))),
+        addRemote: (name, url) => write("git addRemote", runOrFail(["remote", "add", name, url]).pipe(Effect.asVoid)),
+        checkout,
+        createBranch,
+        checkoutOrCreate: (name) => Effect.flatMap(createBranch(name), (created) => created._tag === "Created" ? Effect.void : checkout(name)),
+        commitAll: (message) => write("git commitAll", commitAllEffect(message)),
+        push: (remote, branch) => gate(Capabilities.GitPush, "git push", runOrFail(["push", "-u", remote, branch]).pipe(Effect.asVoid)),
+        checkpoint: read("git checkpoint", runOrFail(["rev-parse", "HEAD"])),
+        rollback: (checkpoint) => write("git rollback", runOrFail(["reset", "--hard", checkpoint]).pipe(Effect.asVoid)),
+        addWorktree: (path, branch) => write("git worktree add", runOrFail(["worktree", "add", path, branch]).pipe(Effect.asVoid)),
+        removeWorktree: (path) => write("git worktree remove", runOrFail(["worktree", "remove", path]).pipe(Effect.asVoid))
+    };
+};
+//# sourceMappingURL=GitTool.js.map

package/dist/GitTool.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"GitTool.js","sourceRoot":"","sources":["../src/GitTool.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,EAAE,YAAY,EAAmB,MAAM,yBAAyB,CAAA;AAEvE,OAAO,EAAE,YAAY,EAAkB,MAAM,gBAAgB,CAAA;AAE7D,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AAE9C,MAAM,OAAO,aAAc,SAAQ,MAAM,CAAC,WAAW,EAAiB,CAAC,SAAS,EAAE,EAAE,CAAC;CAAG;AACxF,MAAM,OAAO,mBAAoB,SAAQ,MAAM,CAAC,WAAW,EAAuB,CAChF,eAAe,EACf,EAAE,CACH;CAAG;AACJ,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,aAAa,EAAE,mBAAmB,CAAC,CAAC,CAAA;AAG9E,MAAM,OAAO,SAAU,SAAQ,MAAM,CAAC,WAAW,EAAa,CAAC,WAAW,EAAE,EAAE,CAAC;CAAG;AAClF,MAAM,OAAO,eAAgB,SAAQ,MAAM,CAAC,WAAW,EAAmB,CAAC,iBAAiB,EAAE,EAAE,CAAC;CAAG;AACpG,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,EAAE,eAAe,CAAC,CAAC,CAAA;AA6BtE,MAAM,yBAAyB,GAAG,MAAM,CAAC,MAAM,CAAC;IAC9C,mBAAmB,EAAE,GAAG;IACxB,eAAe,EAAE,sBAAsB;CACxC,CAAC,CAAA;AAEF,MAAM,IAAI,GAAG,CAAC,KAA4B,EAAU,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAA;AAE9E,MAAM,OAAO,GAAG,CAAC,MAAqB,EAAU,EAAE;IAChD,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAA;IACzD,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,4BAA4B,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,MAAM,CAAA;AACrF,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,OAA6B,EAC7B,OAAe,EACf,MAAuB,EACT,EAAE;IAChB,MAAM,GAAG,GAAG,CAAC,IAA2B,EAA2C,EAAE,CACnF,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,EAAE,OAAO,EAAE,yBAAyB,CAAC,CAAC,IAAI,CACpE,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CACxB,YAAY,CAAC,IAAI,CAAC;QAChB,OAAO,EAAE,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;QAChC,MAAM,EAAE,KAAK,CAAC,OAAO;KACtB,CAAC,CACH,CACF,CAAA;IAEH,MAAM,SAAS,GAAG,CAAC,IAA2B,EAAoC,EAAE,CAClF,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,CACnC,MAAM,CAAC,QAAQ,KAAK,CAAC;QACnB,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACrC,CAAC,CAAC,MAAM,CAAC,IAAI,CACT,YAAY,CAAC,IAAI,CAAC;YAChB,OAAO,EAAE,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;YAChC,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC;SACxB,CAAC,CACH,CACN,CAAA;IAEH,MAAM,IAAI,GAAG,CACX,UAAsB,EACtB,SAAiB,EACjB,MAAmC,EACN,EAAE,CAAC,OAAO,CAAC,UAAU,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,CAAC,CAAA;IAEhF,MAAM,KAAK,GAAG,CACZ,SAAiB,EACjB,MAAmC,EACN,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,EAAE,SAAS,EAAE,MAAM,CAAC,CAAA;IAEhF,MAAM,IAAI,GAAG,CACX,SAAiB,EACjB,MAAmC,EACN,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,OAAO,EAAE,SAAS,EAAE,MAAM,CAAC,CAAA;IAE/E,MAAM,YAAY,GAAG,CAAC,IAAY,EAA0C,EAAE,CAC5E,KAAK,CACH,iBAAiB,EACjB,MAAM,CAAC,OAAO,CACZ,GAAG,CAAC,CAAC,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,EAC7B,CAAC,MAAM,EAA0C,EAAE,CACjD,MAAM,CAAC,QAAQ,KAAK,CAAC;QACnB,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,aAAa,EAAE,CAAC;QACrC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,gBAAgB,CAAC;YAC9C,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,mBAAmB,EAAE,CAAC;YAC3C,CAAC,CAAC,MAAM,CAAC,IAAI,CACT,YAAY,CAAC,IAAI,CAAC;gBAChB,OAAO,EAAE,mBAAmB,IAAI,EAAE;gBAClC,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC;aACxB,CAAC,CACH,CACV,CACF,CAAA;IAEH,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAkC,EAAE,CAChE,KAAK,CAAC,cAAc,EAAE,SAAS,CAAC,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAA;IAE1E,MAAM,MAAM,GAAG,SAAS,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IAE3D,MAAM,eAAe,GAAG,CAAC,OAAe,EAA0C,EAAE,CAClF,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,KAAK,CAAC,CAAC,MAAM,CAAA;QACb,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAA;QACpD,IAAI,MAAM,CAAC,QAAQ,KAAK,CAAC,EAAE,CAAC;YAC1B,OAAO,IAAI,SAAS,EAAE,CAAA;QACxB,CAAC;QACD,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,CAAC;YAClD,OAAO,IAAI,eAAe,EAAE,CAAA;QAC9B,CAAC;QACD,OAAO,KAAK,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC;YAC9B,OAAO,EAAE,YAAY;YACrB,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC;SACxB,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;IAEJ,OAAO;QACL,IAAI,EAAE,KAAK,CACT,UAAU,EACV,SAAS,CAAC,CAAC,IAAI,EAAE,yBAAyB,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CACzE;QACD,QAAQ,EAAE,KAAK,CACb,iBAAiB,EACjB,SAAS,CAAC,CAAC,IAAI,EAAE,yBAAyB,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CACnF;QACD,MAAM,EAAE,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CACrB,KAAK,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC,QAAQ,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAC5E,MAAM,EAAE,IAAI,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC;QAC5D,aAAa,EAAE,IAAI,CAAC,mBAAmB,EAAE,SAAS,CAAC,CAAC,WAAW,EAAE,cAAc,EAAE,MAAM,CAAC,CAAC,CAAC;QAC1F,IAAI,EAAE,IAAI,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QAC3C,OAAO,EAAE,IAAI,CACX,aAAa,EACb,SAAS,CAAC,CAAC,KAAK,EAAE,iBAAiB,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CACtF;QACD,WAAW,EAAE,IAAI,CACf,iBAAiB,EACjB,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,cAAc,EAAE,0BAA0B,CAAC,CAAC,EAAE,CAAC,QAAQ,EAAE,EAAE;YAC7E,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAA;YACnC,IAAI,QAAQ,CAAC,QAAQ,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAChD,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,kBAAkB,EAAE,EAAE,CAAC,CAAC,CAAA;YAC9D,CAAC;YACD,OAAO,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,UAAU,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CACvF,IAAI,CAAC,QAAQ,KAAK,CAAC;gBACjB,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC;gBAC/B,CAAC,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,UAAU,EAAE,SAAS,EAAE,eAAe,CAAC,CAAC,CAAC,IAAI,CAC7D,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAC3E,CACN,CAAA;QACH,CAAC,CAAC,CACH;QACD,UAAU,EAAE,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,EAAE,EAAE,CACpC,IAAI,CAAC,gBAAgB,EAAE,SAAS,CAAC,CAAC,MAAM,EAAE,GAAG,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC;QACtF,kBAAkB,EAAE,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,EAAE,EAAE,CAC5C,IAAI,CACF,wBAAwB,EACxB,SAAS,CAAC,CAAC,MAAM,EAAE,aAAa,EAAE,GAAG,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,IAAI,CAC9E,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACpB,MAAM;aACH,KAAK,CAAC,OAAO,CAAC;aACd,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;aAC1B,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CACrC,CACF,CACF;QACH,SAAS,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE,CACvB,KAAK,CAAC,eAAe,EAAE,SAAS,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACrF,QAAQ;QACR,YAAY;QACZ,gBAAgB,EAAE,CAAC,IAAI,EAAE,EAAE,CACzB,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,CAC7C,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAC1D;QACH,SAAS,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,KAAK,CAAC,eAAe,EAAE,eAAe,CAAC,OAAO,CAAC,CAAC;QACxE,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,CACvB,IAAI,CACF,YAAY,CAAC,OAAO,EACpB,UAAU,EACV,SAAS,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAC9D;QACH,UAAU,EAAE,IAAI,CAAC,gBAAgB,EAAE,SAAS,CAAC,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC;QACpE,QAAQ,EAAE,CAAC,UAAU,EAAE,EAAE,CACvB,KAAK,CAAC,cAAc,EAAE,SAAS,CAAC,CAAC,OAAO,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACvF,WAAW,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,CAC5B,KAAK,CAAC,kBAAkB,EAAE,SAAS,CAAC,CAAC,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAC7F,cAAc,EAAE,CAAC,IAAI,EAAE,EAAE,CACvB,KAAK,CAAC,qBAAqB,EAAE,SAAS,CAAC,CAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;KAC5F,CAAA;AACH,CAAC,CAAA"}

package/dist/Interaction.d.ts

@@ -0,0 +1,21 @@
+import type * as Effect from "effect/Effect";
+import * as Schema from "effect/Schema";
+import type { FlowError } from "./FlowError.ts";
+export interface InteractionShape {
+    readonly ask: (question: string) => Effect.Effect<string, FlowError>;
+}
+declare const ApprovalAllowed_base: Schema.Class<ApprovalAllowed, Schema.TaggedStruct<"Allow", {}>, {}>;
+export declare class ApprovalAllowed extends ApprovalAllowed_base {
+}
+declare const ApprovalDenied_base: Schema.Class<ApprovalDenied, Schema.TaggedStruct<"Deny", {
+    readonly reason: Schema.String;
+}>, {}>;
+export declare class ApprovalDenied extends ApprovalDenied_base {
+}
+export declare const ApprovalDecision: Schema.Union<readonly [typeof ApprovalAllowed, typeof ApprovalDenied]>;
+export type ApprovalDecision = typeof ApprovalDecision.Type;
+export interface ApprovalPolicy {
+    readonly decide: (toolName: string, input: Schema.Json) => Effect.Effect<ApprovalDecision, FlowError>;
+}
+export {};
+//# sourceMappingURL=Interaction.d.ts.map

package/dist/Interaction.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Interaction.d.ts","sourceRoot":"","sources":["../src/Interaction.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAA;AAC5C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAE/C,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;CACrE;;AAED,qBAAa,eAAgB,SAAQ,oBAAkD;CAAG;;;;AAE1F,qBAAa,cAAe,SAAQ,mBAElC;CAAG;AAEL,eAAO,MAAM,gBAAgB,wEAAkD,CAAA;AAC/E,MAAM,MAAM,gBAAgB,GAAG,OAAO,gBAAgB,CAAC,IAAI,CAAA;AAE3D,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,MAAM,EAAE,CACf,QAAQ,EAAE,MAAM,EAChB,KAAK,EAAE,MAAM,CAAC,IAAI,KACf,MAAM,CAAC,MAAM,CAAC,gBAAgB,EAAE,SAAS,CAAC,CAAA;CAChD"}

package/dist/Interaction.js

@@ -0,0 +1,9 @@
+import * as Schema from "effect/Schema";
+export class ApprovalAllowed extends Schema.TaggedClass()("Allow", {}) {
+}
+export class ApprovalDenied extends Schema.TaggedClass()("Deny", {
+    reason: Schema.String
+}) {
+}
+export const ApprovalDecision = Schema.Union([ApprovalAllowed, ApprovalDenied]);
+//# sourceMappingURL=Interaction.js.map

package/dist/Interaction.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Interaction.js","sourceRoot":"","sources":["../src/Interaction.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAOvC,MAAM,OAAO,eAAgB,SAAQ,MAAM,CAAC,WAAW,EAAmB,CAAC,OAAO,EAAE,EAAE,CAAC;CAAG;AAE1F,MAAM,OAAO,cAAe,SAAQ,MAAM,CAAC,WAAW,EAAkB,CAAC,MAAM,EAAE;IAC/E,MAAM,EAAE,MAAM,CAAC,MAAM;CACtB,CAAC;CAAG;AAEL,MAAM,CAAC,MAAM,gBAAgB,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,eAAe,EAAE,cAAc,CAAC,CAAC,CAAA"}

package/dist/McpServer.d.ts

@@ -0,0 +1,18 @@
+import * as Effect from "effect/Effect";
+import * as Schema from "effect/Schema";
+import type { FlowError } from "./FlowError.ts";
+import { type ApprovalPolicy, type InteractionShape } from "./Interaction.ts";
+export interface McpTool {
+    readonly name: string;
+    readonly description: string;
+    readonly inputSchema: Schema.Json;
+    readonly call: (arguments_: Schema.Json) => Effect.Effect<string, FlowError>;
+}
+export declare const McpProtocolVersion = "2025-06-18";
+export declare const McpServerName = "llm4ts";
+export declare const McpServerVersion = "1.0";
+export declare const askUserTool: (interaction: InteractionShape) => McpTool;
+export declare const approvalTool: (policy: ApprovalPolicy) => McpTool;
+export declare const handleMcpRequest: (request: Schema.Json, tools: readonly McpTool[]) => Effect.Effect<Schema.Json | undefined, never, never>;
+export declare const handleMcpLine: (line: string, tools: ReadonlyArray<McpTool>) => Effect.Effect<string | undefined>;
+//# sourceMappingURL=McpServer.d.ts.map

package/dist/McpServer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"McpServer.d.ts","sourceRoot":"","sources":["../src/McpServer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC/C,OAAO,EAAmB,KAAK,cAAc,EAAE,KAAK,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AAE9F,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,IAAI,CAAA;IACjC,QAAQ,CAAC,IAAI,EAAE,CAAC,UAAU,EAAE,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;CAC7E;AAED,eAAO,MAAM,kBAAkB,eAAe,CAAA;AAC9C,eAAO,MAAM,aAAa,WAAW,CAAA;AACrC,eAAO,MAAM,gBAAgB,QAAQ,CAAA;AAkCrC,eAAO,MAAM,WAAW,GAAI,aAAa,gBAAgB,KAAG,OAe1D,CAAA;AAEF,eAAO,MAAM,YAAY,GAAI,QAAQ,cAAc,KAAG,OA0BpD,CAAA;AAuCF,eAAO,MAAM,gBAAgB,2GAkB3B,CAAA;AAQF,eAAO,MAAM,aAAa,GACxB,MAAM,MAAM,EACZ,OAAO,aAAa,CAAC,OAAO,CAAC,KAC5B,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,SAAS,CAQlC,CAAA"}

package/dist/McpServer.js

@@ -0,0 +1,122 @@
+import * as Effect from "effect/Effect";
+import * as Schema from "effect/Schema";
+import { ApprovalAllowed } from "./Interaction.js";
+export const McpProtocolVersion = "2025-06-18";
+export const McpServerName = "llm4ts";
+export const McpServerVersion = "1.0";
+const objectField = (value, name) => {
+    if (typeof value !== "object" || value === null || Array.isArray(value)) {
+        return undefined;
+    }
+    const field = Reflect.get(value, name);
+    return Schema.is(Schema.Json)(field) ? field : undefined;
+};
+const stringField = (value, name) => {
+    const field = objectField(value, name);
+    return typeof field === "string" ? field : undefined;
+};
+const params = (request) => objectField(request, "params") ?? {};
+const result = (id, value) => ({
+    jsonrpc: "2.0",
+    id,
+    result: value
+});
+const error = (id, code, message) => ({
+    jsonrpc: "2.0",
+    id,
+    error: { code, message }
+});
+const toolContent = (text, isError) => ({
+    content: [{ type: "text", text }],
+    isError
+});
+export const askUserTool = (interaction) => ({
+    name: "ask_user",
+    description: "Ask the human operator a question and wait for their answer. Use when a decision or clarification is required.",
+    inputSchema: {
+        type: "object",
+        properties: {
+            question: {
+                type: "string",
+                description: "The question to put to the human operator."
+            }
+        },
+        required: ["question"]
+    },
+    call: (arguments_) => interaction.ask(stringField(arguments_, "question") ?? "")
+});
+export const approvalTool = (policy) => ({
+    name: "approve",
+    description: "Decide whether the agent may run a pending tool call and return its permission verdict.",
+    inputSchema: {
+        type: "object",
+        properties: {
+            tool_name: { type: "string" },
+            input: { type: "object" }
+        },
+        required: ["tool_name"]
+    },
+    call: (arguments_) => {
+        const input = objectField(arguments_, "input") ?? {};
+        return policy
+            .decide(stringField(arguments_, "tool_name") ?? "", input)
+            .pipe(Effect.map((decision) => JSON.stringify(decision instanceof ApprovalAllowed
+            ? { behavior: "allow", updatedInput: input }
+            : { behavior: "deny", message: decision.reason })));
+    }
+});
+const initializeResult = (request) => ({
+    protocolVersion: stringField(params(request), "protocolVersion") ?? McpProtocolVersion,
+    capabilities: { tools: {} },
+    serverInfo: {
+        name: McpServerName,
+        version: McpServerVersion
+    }
+});
+const toolsListResult = (tools) => ({
+    tools: tools.map((tool) => ({
+        name: tool.name,
+        description: tool.description,
+        inputSchema: tool.inputSchema
+    }))
+});
+const toolsCall = (id, request, tools) => {
+    const requestParams = params(request);
+    const name = stringField(requestParams, "name") ?? "";
+    const tool = tools.find((candidate) => candidate.name === name);
+    if (tool === undefined) {
+        return Effect.succeed(error(id, -32602, `unknown tool: ${name}`));
+    }
+    return Effect.result(tool.call(objectField(requestParams, "arguments") ?? {})).pipe(Effect.map((outcome) => outcome._tag === "Success"
+        ? result(id, toolContent(outcome.success, false))
+        : result(id, toolContent(`tool '${name}' failed: ${outcome.failure.message}`, true))));
+};
+export const handleMcpRequest = Effect.fn("@llm4ts/flow/McpServer.handle")(function* (request, tools) {
+    const id = objectField(request, "id");
+    if (id === undefined) {
+        return undefined;
+    }
+    switch (stringField(request, "method") ?? "") {
+        case "initialize":
+            return result(id, initializeResult(request));
+        case "tools/list":
+            return result(id, toolsListResult(tools));
+        case "tools/call":
+            return yield* toolsCall(id, request, tools);
+        default:
+            return error(id, -32601, `method not found: ${stringField(request, "method") ?? ""}`);
+    }
+});
+const parseError = () => ({
+    jsonrpc: "2.0",
+    id: null,
+    error: { code: -32700, message: "Parse error" }
+});
+export const handleMcpLine = (line, tools) => {
+    const parsed = Schema.decodeUnknownOption(Schema.fromJsonString(Schema.Json))(line);
+    if (parsed._tag === "None") {
+        return Effect.succeed(JSON.stringify(parseError()));
+    }
+    return handleMcpRequest(parsed.value, tools).pipe(Effect.map((response) => (response === undefined ? undefined : JSON.stringify(response))));
+};
+//# sourceMappingURL=McpServer.js.map

package/dist/McpServer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"McpServer.js","sourceRoot":"","sources":["../src/McpServer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAEvC,OAAO,EAAE,eAAe,EAA8C,MAAM,kBAAkB,CAAA;AAS9F,MAAM,CAAC,MAAM,kBAAkB,GAAG,YAAY,CAAA;AAC9C,MAAM,CAAC,MAAM,aAAa,GAAG,QAAQ,CAAA;AACrC,MAAM,CAAC,MAAM,gBAAgB,GAAG,KAAK,CAAA;AAErC,MAAM,WAAW,GAAG,CAAC,KAAkB,EAAE,IAAY,EAA2B,EAAE;IAChF,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACxE,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;IACtC,OAAO,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAA;AAC1D,CAAC,CAAA;AAED,MAAM,WAAW,GAAG,CAAC,KAAkB,EAAE,IAAY,EAAsB,EAAE;IAC3E,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;IACtC,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAA;AACtD,CAAC,CAAA;AAED,MAAM,MAAM,GAAG,CAAC,OAAoB,EAAe,EAAE,CAAC,WAAW,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAA;AAE1F,MAAM,MAAM,GAAG,CAAC,EAAe,EAAE,KAAkB,EAAe,EAAE,CAAC,CAAC;IACpE,OAAO,EAAE,KAAK;IACd,EAAE;IACF,MAAM,EAAE,KAAK;CACd,CAAC,CAAA;AAEF,MAAM,KAAK,GAAG,CAAC,EAAe,EAAE,IAAY,EAAE,OAAe,EAAe,EAAE,CAAC,CAAC;IAC9E,OAAO,EAAE,KAAK;IACd,EAAE;IACF,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE;CACzB,CAAC,CAAA;AAEF,MAAM,WAAW,GAAG,CAAC,IAAY,EAAE,OAAgB,EAAe,EAAE,CAAC,CAAC;IACpE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IACjC,OAAO;CACR,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,WAA6B,EAAW,EAAE,CAAC,CAAC;IACtE,IAAI,EAAE,UAAU;IAChB,WAAW,EACT,gHAAgH;IAClH,WAAW,EAAE;QACX,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE;YACV,QAAQ,EAAE;gBACR,IAAI,EAAE,QAAQ;gBACd,WAAW,EAAE,4CAA4C;aAC1D;SACF;QACD,QAAQ,EAAE,CAAC,UAAU,CAAC;KACvB;IACD,IAAI,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC,UAAU,EAAE,UAAU,CAAC,IAAI,EAAE,CAAC;CACjF,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,MAAsB,EAAW,EAAE,CAAC,CAAC;IAChE,IAAI,EAAE,SAAS;IACf,WAAW,EACT,yFAAyF;IAC3F,WAAW,EAAE;QACX,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE;YACV,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAC7B,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;SAC1B;QACD,QAAQ,EAAE,CAAC,WAAW,CAAC;KACxB;IACD,IAAI,EAAE,CAAC,UAAU,EAAE,EAAE;QACnB,MAAM,KAAK,GAAG,WAAW,CAAC,UAAU,EAAE,OAAO,CAAC,IAAI,EAAE,CAAA;QACpD,OAAO,MAAM;aACV,MAAM,CAAC,WAAW,CAAC,UAAU,EAAE,WAAW,CAAC,IAAI,EAAE,EAAE,KAAK,CAAC;aACzD,IAAI,CACH,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CACtB,IAAI,CAAC,SAAS,CACZ,QAAQ,YAAY,eAAe;YACjC,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,YAAY,EAAE,KAAK,EAAE;YAC5C,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,CAAC,MAAM,EAAE,CACnD,CACF,CACF,CAAA;IACL,CAAC;CACF,CAAC,CAAA;AAEF,MAAM,gBAAgB,GAAG,CAAC,OAAoB,EAAe,EAAE,CAAC,CAAC;IAC/D,eAAe,EAAE,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,iBAAiB,CAAC,IAAI,kBAAkB;IACtF,YAAY,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE;IAC3B,UAAU,EAAE;QACV,IAAI,EAAE,aAAa;QACnB,OAAO,EAAE,gBAAgB;KAC1B;CACF,CAAC,CAAA;AAEF,MAAM,eAAe,GAAG,CAAC,KAA6B,EAAe,EAAE,CAAC,CAAC;IACvE,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC1B,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,WAAW,EAAE,IAAI,CAAC,WAAW;KAC9B,CAAC,CAAC;CACJ,CAAC,CAAA;AAEF,MAAM,SAAS,GAAG,CAChB,EAAe,EACf,OAAoB,EACpB,KAA6B,EACD,EAAE;IAC9B,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,CAAC,CAAA;IACrC,MAAM,IAAI,GAAG,WAAW,CAAC,aAAa,EAAE,MAAM,CAAC,IAAI,EAAE,CAAA;IACrD,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,IAAI,CAAC,CAAA;IAC/D,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,iBAAiB,IAAI,EAAE,CAAC,CAAC,CAAA;IACnE,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,aAAa,EAAE,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CACjF,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CACrB,OAAO,CAAC,IAAI,KAAK,SAAS;QACxB,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,WAAW,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QACjD,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,WAAW,CAAC,SAAS,IAAI,aAAa,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,IAAI,CAAC,CAAC,CACvF,CACF,CAAA;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,gBAAgB,GAAG,MAAM,CAAC,EAAE,CAAC,+BAA+B,CAAC,CAAC,QAAQ,CAAC,EAClF,OAAoB,EACpB,KAA6B;IAE7B,MAAM,EAAE,GAAG,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,CAAA;IACrC,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;QACrB,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,QAAQ,WAAW,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC;QAC7C,KAAK,YAAY;YACf,OAAO,MAAM,CAAC,EAAE,EAAE,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAA;QAC9C,KAAK,YAAY;YACf,OAAO,MAAM,CAAC,EAAE,EAAE,eAAe,CAAC,KAAK,CAAC,CAAC,CAAA;QAC3C,KAAK,YAAY;YACf,OAAO,KAAK,CAAC,CAAC,SAAS,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,CAAA;QAC7C;YACE,OAAO,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,qBAAqB,WAAW,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,CAAA;IACzF,CAAC;AACH,CAAC,CAAC,CAAA;AAEF,MAAM,UAAU,GAAG,GAAgB,EAAE,CAAC,CAAC;IACrC,OAAO,EAAE,KAAK;IACd,EAAE,EAAE,IAAI;IACR,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,OAAO,EAAE,aAAa,EAAE;CAChD,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,IAAY,EACZ,KAA6B,EACM,EAAE;IACrC,MAAM,MAAM,GAAG,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;IACnF,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC3B,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,EAAE,CAAC,CAAC,CAAA;IACrD,CAAC;IACD,OAAO,gBAAgB,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,IAAI,CAC/C,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,CAC1F,CAAA;AACH,CAAC,CAAA"}

package/dist/Mermaid.d.ts

@@ -0,0 +1,7 @@
+import { type FlowEvent } from "./FlowEvents.ts";
+import type { TraceLine } from "./FlowRecorder.ts";
+export declare const renderMermaid: (events: ReadonlyArray<FlowEvent>) => string;
+export declare const renderMermaidTrace: (lines: ReadonlyArray<TraceLine>) => string;
+export declare const mermaidLiveUrl: (diagram: string) => string;
+export declare const mermaidDocument: (diagram: string) => string;
+//# sourceMappingURL=Mermaid.d.ts.map

package/dist/Mermaid.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Mermaid.d.ts","sourceRoot":"","sources":["../src/Mermaid.ts"],"names":[],"mappings":"AAAA,OAAO,EAA6C,KAAK,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAC3F,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAA;AAIlD,eAAO,MAAM,aAAa,GAAI,QAAQ,aAAa,CAAC,SAAS,CAAC,KAAG,MA6BhE,CAAA;AA2CD,eAAO,MAAM,kBAAkB,GAAI,OAAO,aAAa,CAAC,SAAS,CAAC,KAAG,MAMlE,CAAA;AAwBH,eAAO,MAAM,cAAc,GAAI,SAAS,MAAM,KAAG,MACA,CAAA;AAEjD,eAAO,MAAM,eAAe,GAAI,SAAS,MAAM,KAAG,MAC0C,CAAA"}