proofread-mcp 0.1.0

package/dist/tools/check_citations.js

@@ -0,0 +1,47 @@
+import { z } from "zod";
+import { formatReport } from "../format.js";
+import { rememberReport } from "../reports.js";
+import { DEEP_NOTE, LIMITS_NOTE, defineTool, fail, ok, progressReporter } from "./tool.js";
+export const checkCitations = defineTool({
+    name: "check_citations",
+    title: "Check legal citations in text",
+    description: "Check every case citation in a text against proofread.law's register of about 10 million US court opinions (CourtListener bulk data). " +
+        "Use it on a draft brief, memo, letter or any prose that cites cases, before the citations are relied on. " +
+        "Returns the coverage statement, counts per tier, one line per row that needs a human " +
+        "(red = check this: the register holds something concrete that disagrees, such as a different case at that citation or quoted words not in the opinion; " +
+        "orange = cannot verify: nothing to check against, such as a Westlaw/Lexis identifier or a volume newer than the register), " +
+        "the number of citations found, and a report id for render_report. " +
+        LIMITS_NOTE + " " + DEEP_NOTE + " Free tier: 20 checks a month per IP; a Firm API key in PROOFREAD_API_KEY lifts that.",
+    inputSchema: {
+        text: z.string().min(1).max(2_000_000).describe("The text to check, as written (paragraphs, footnotes, a whole brief). Pasted text is fine."),
+        deep: z.boolean().optional().describe("Also check whether each cited opinion supports the sentence it is cited for. Slower, opt-in, 3 per month on the free tier."),
+    },
+    annotations: { readOnlyHint: true, destructiveHint: false, idempotentHint: true, openWorldHint: true },
+    async run({ text, deep }, { client }, extra) {
+        try {
+            const report = await client.verifyText(text, verifyOptions(deep, extra));
+            return ok(formatReport(report, rememberReport(report)), { summary: report.summary, coverage: report.coverage });
+        }
+        catch (err) {
+            return fail(err);
+        }
+    },
+});
+/** Deep checks stream rows; each finished row becomes a progress notification when the client asked for progress. */
+export function verifyOptions(deep, extra) {
+    if (!deep)
+        return { signal: extra.signal };
+    const progress = progressReporter(extra);
+    if (extra._meta?.progressToken === undefined)
+        return { deep: true, signal: extra.signal };
+    let done = 0;
+    return {
+        deep: true,
+        signal: extra.signal,
+        onRow: (row, report) => {
+            done += 1;
+            progress(done, report.summary.deep_pending, `${row.citation}: ${row.support?.headline ?? row.headline}`);
+        },
+    };
+}
+//# sourceMappingURL=check_citations.js.map

package/dist/tools/check_citations.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"check_citations.js","sourceRoot":"","sources":["../../src/tools/check_citations.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAE/C,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE,gBAAgB,EAAkB,MAAM,WAAW,CAAC;AAE3G,MAAM,CAAC,MAAM,cAAc,GAAG,UAAU,CAAC;IACvC,IAAI,EAAE,iBAAiB;IACvB,KAAK,EAAE,+BAA+B;IACtC,WAAW,EACT,wIAAwI;QACxI,2GAA2G;QAC3G,uFAAuF;QACvF,yJAAyJ;QACzJ,6HAA6H;QAC7H,oEAAoE;QACpE,WAAW,GAAG,GAAG,GAAG,SAAS,GAAG,uFAAuF;IACzH,WAAW,EAAE;QACX,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,QAAQ,CAAC,4FAA4F,CAAC;QAC7I,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,4HAA4H,CAAC;KACpK;IACD,WAAW,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,cAAc,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE;IACtG,KAAK,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,KAAK;QACzC,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,aAAa,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;YACzE,OAAO,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,cAAc,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC;QAClH,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC;QACnB,CAAC;IACH,CAAC;CACF,CAAC,CAAC;AAEH,qHAAqH;AACrH,MAAM,UAAU,aAAa,CAAC,IAAyB,EAAE,KAAgB;IACvE,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;IAC3C,MAAM,QAAQ,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;IACzC,IAAI,KAAK,CAAC,KAAK,EAAE,aAAa,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;IAC1F,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,OAAO;QACL,IAAI,EAAE,IAAI;QACV,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,KAAK,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE;YACrB,IAAI,IAAI,CAAC,CAAC;YACV,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,YAAY,EAAE,GAAG,GAAG,CAAC,QAAQ,KAAK,GAAG,CAAC,OAAO,EAAE,QAAQ,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC3G,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/tools/check_document.d.ts

@@ -0,0 +1,5 @@
+import { z } from "zod";
+export declare const checkDocument: import("./tool.js").ToolDef<{
+    path: z.ZodString;
+    deep: z.ZodOptional<z.ZodBoolean>;
+}>;

package/dist/tools/check_document.js

@@ -0,0 +1,50 @@
+import { readFile, stat } from "node:fs/promises";
+import { basename, extname } from "node:path";
+import { z } from "zod";
+import { MAX_UPLOAD_BYTES } from "../client.js";
+import { formatReport } from "../format.js";
+import { rememberReport } from "../reports.js";
+import { verifyOptions } from "./check_citations.js";
+import { DEEP_NOTE, LIMITS_NOTE, defineTool, fail, ok } from "./tool.js";
+const ALLOWED = new Set([".pdf", ".docx", ".txt", ".md"]);
+export const checkDocument = defineTool({
+    name: "check_document",
+    title: "Check legal citations in a file",
+    description: "Check every case citation in a document on disk (PDF, DOCX or TXT, up to 10 MB) against proofread.law's register of about 10 million US court opinions. " +
+        "The file is read here and uploaded to proofread.law, which extracts the text in memory, checks it and discards it. " +
+        "Returns the same compact result as check_citations: coverage statement, counts per tier, one line per red (check this) or orange (cannot verify) row, " +
+        "the number of citations found, and a report id for render_report. " +
+        "Scanned PDFs without a text layer, encrypted PDFs and legacy .doc files cannot be read; .docx needs a paid plan. " +
+        LIMITS_NOTE + " " + DEEP_NOTE,
+    inputSchema: {
+        path: z.string().min(1).describe("Absolute path to a .pdf, .docx or .txt file on this machine."),
+        deep: z.boolean().optional().describe("Also check whether each cited opinion supports the sentence it is cited for. Slower, opt-in, 3 per month on the free tier."),
+    },
+    annotations: { readOnlyHint: true, destructiveHint: false, idempotentHint: true, openWorldHint: true },
+    async run({ path, deep }, { client }, extra) {
+        const ext = extname(path).toLowerCase();
+        if (!ALLOWED.has(ext)) {
+            return fail(new Error(`${path}: only .pdf, .docx, .txt and .md files can be checked`));
+        }
+        let bytes;
+        try {
+            const info = await stat(path);
+            if (!info.isFile())
+                return fail(new Error(`${path} is not a file`));
+            if (info.size > MAX_UPLOAD_BYTES)
+                return fail(new Error(`${path} is ${info.size} bytes; the cap is 10 MB`));
+            bytes = await readFile(path);
+        }
+        catch (err) {
+            return fail(new Error(`could not read ${path}: ${err instanceof Error ? err.message : String(err)}`));
+        }
+        try {
+            const report = await client.verifyFile(bytes, basename(path), verifyOptions(deep, extra));
+            return ok(formatReport(report, rememberReport(report)), { summary: report.summary, coverage: report.coverage, input: report.input ?? null });
+        }
+        catch (err) {
+            return fail(err);
+        }
+    },
+});
+//# sourceMappingURL=check_document.js.map

package/dist/tools/check_document.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"check_document.js","sourceRoot":"","sources":["../../src/tools/check_document.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC9C,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AAEzE,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;AAE1D,MAAM,CAAC,MAAM,aAAa,GAAG,UAAU,CAAC;IACtC,IAAI,EAAE,gBAAgB;IACtB,KAAK,EAAE,iCAAiC;IACxC,WAAW,EACT,0JAA0J;QAC1J,qHAAqH;QACrH,wJAAwJ;QACxJ,oEAAoE;QACpE,mHAAmH;QACnH,WAAW,GAAG,GAAG,GAAG,SAAS;IAC/B,WAAW,EAAE;QACX,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,8DAA8D,CAAC;QAChG,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,4HAA4H,CAAC;KACpK;IACD,WAAW,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,cAAc,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE;IACtG,KAAK,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,KAAK;QACzC,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;QACxC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACtB,OAAO,IAAI,CAAC,IAAI,KAAK,CAAC,GAAG,IAAI,uDAAuD,CAAC,CAAC,CAAC;QACzF,CAAC;QACD,IAAI,KAAiB,CAAC;QACtB,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC;YAC9B,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE;gBAAE,OAAO,IAAI,CAAC,IAAI,KAAK,CAAC,GAAG,IAAI,gBAAgB,CAAC,CAAC,CAAC;YACpE,IAAI,IAAI,CAAC,IAAI,GAAG,gBAAgB;gBAAE,OAAO,IAAI,CAAC,IAAI,KAAK,CAAC,GAAG,IAAI,OAAO,IAAI,CAAC,IAAI,0BAA0B,CAAC,CAAC,CAAC;YAC5G,KAAK,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC/B,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO,IAAI,CAAC,IAAI,KAAK,CAAC,kBAAkB,IAAI,KAAK,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QACxG,CAAC;QACD,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,UAAU,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;YAC1F,OAAO,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,cAAc,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,IAAI,IAAI,EAAE,CAAC,CAAC;QAC/I,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC;QACnB,CAAC;IACH,CAAC;CACF,CAAC,CAAC"}

package/dist/tools/coverage.d.ts

@@ -0,0 +1 @@
+export declare const coverage: import("./tool.js").ToolDef<{}>;

package/dist/tools/coverage.js

@@ -0,0 +1,19 @@
+import { defineTool, fail, ok } from "./tool.js";
+export const coverage = defineTool({
+    name: "coverage",
+    title: "What proofread.law checks against",
+    description: "The coverage statement (which opinions the register holds, its date, its known gaps, what is not checked: Westlaw/Lexis identifiers, statutes, regulations, secondary sources) " +
+        "and the storage notice (nothing submitted is stored). Call it when a user asks what the check covers, how current it is, or what happens to their text. Free, not counted as a check.",
+    inputSchema: {},
+    annotations: { readOnlyHint: true, destructiveHint: false, idempotentHint: true, openWorldHint: true },
+    async run(_args, { client }, extra) {
+        try {
+            const c = await client.coverage(extra.signal);
+            return ok(`Coverage: ${c.coverage}\nStorage: ${c.storage}`, { coverage: c.coverage, storage: c.storage });
+        }
+        catch (err) {
+            return fail(err);
+        }
+    },
+});
+//# sourceMappingURL=coverage.js.map

package/dist/tools/coverage.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"coverage.js","sourceRoot":"","sources":["../../src/tools/coverage.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AAEjD,MAAM,CAAC,MAAM,QAAQ,GAAG,UAAU,CAAC;IACjC,IAAI,EAAE,UAAU;IAChB,KAAK,EAAE,mCAAmC;IAC1C,WAAW,EACT,iLAAiL;QACjL,uLAAuL;IACzL,WAAW,EAAE,EAAE;IACf,WAAW,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,cAAc,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE;IACtG,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,EAAE,KAAK;QAChC,IAAI,CAAC;YACH,MAAM,CAAC,GAAG,MAAM,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YAC9C,OAAO,EAAE,CAAC,aAAa,CAAC,CAAC,QAAQ,cAAc,CAAC,CAAC,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QAC5G,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC;QACnB,CAAC;IACH,CAAC;CACF,CAAC,CAAC"}

package/dist/tools/index.d.ts

@@ -0,0 +1,2 @@
+import type { ToolDef } from "./tool.js";
+export declare const tools: ToolDef[];

package/dist/tools/index.js

@@ -0,0 +1,10 @@
+import { checkCitations } from "./check_citations.js";
+import { checkDocument } from "./check_document.js";
+import { coverage } from "./coverage.js";
+import { renderReport } from "./render_report.js";
+import { resolveCitation } from "./resolve_citation.js";
+import { resolveCitations } from "./resolve_citations.js";
+// One file per tool. The remaining register routes (/v1/extract, /v1/case/{id}, /v1/coverage per reporter) slot in the same way:
+// a method on the client, a file here.
+export const tools = [checkCitations, checkDocument, resolveCitation, resolveCitations, coverage, renderReport];
+//# sourceMappingURL=index.js.map

package/dist/tools/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/tools/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAG1D,iIAAiI;AACjI,uCAAuC;AACvC,MAAM,CAAC,MAAM,KAAK,GAAc,CAAC,cAAc,EAAE,aAAa,EAAE,eAAe,EAAE,gBAAgB,EAAE,QAAQ,EAAE,YAAY,CAAC,CAAC"}

package/dist/tools/render_report.d.ts

@@ -0,0 +1,5 @@
+import { z } from "zod";
+export declare const renderReport: import("./tool.js").ToolDef<{
+    report_id: z.ZodOptional<z.ZodString>;
+    report: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+}>;

package/dist/tools/render_report.js

@@ -0,0 +1,39 @@
+import { z } from "zod";
+import { recallReport } from "../reports.js";
+import { defineTool, fail, ok } from "./tool.js";
+export const renderReport = defineTool({
+    name: "render_report",
+    title: "Render a check as a markdown report",
+    description: "Turn a finished check into a markdown diligence report: header, coverage and storage notices, a summary table sorted check-this, cannot-verify, support, found, " +
+        "and a detail block per flagged row with the register evidence. Use it when the user wants a report to keep or attach to the file. " +
+        "Pass the report_id returned by check_citations or check_document (ids live in this server's memory until it exits), or the full report JSON from proofread.law's /verify endpoint.",
+    inputSchema: {
+        report_id: z.string().regex(/^r_[0-9a-f]{8}$/).optional().describe("The 'Report id' from a previous check_citations or check_document result."),
+        report: z.record(z.string(), z.unknown()).optional().describe("A full report JSON as returned by POST /verify, if you have one instead of an id."),
+    },
+    annotations: { readOnlyHint: true, destructiveHint: false, idempotentHint: true, openWorldHint: true },
+    async run({ report_id, report }, { client }, extra) {
+        let source;
+        if (report_id) {
+            source = recallReport(report_id);
+            if (!source)
+                return fail(new Error(`no report ${report_id} in memory (this server keeps the last 50 checks until it exits). Run the check again and use the new id.`));
+        }
+        else if (report && isReport(report)) {
+            source = report;
+        }
+        else {
+            return fail(new Error("give either report_id (from a previous check) or report (the full JSON from /verify with summary, rows, coverage and storage)."));
+        }
+        try {
+            return ok(await client.renderMarkdown(source, extra.signal));
+        }
+        catch (err) {
+            return fail(err);
+        }
+    },
+});
+function isReport(value) {
+    return Array.isArray(value.rows) && typeof value.summary === "object" && value.summary !== null && typeof value.coverage === "string";
+}
+//# sourceMappingURL=render_report.js.map

package/dist/tools/render_report.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"render_report.js","sourceRoot":"","sources":["../../src/tools/render_report.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAE7C,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AAEjD,MAAM,CAAC,MAAM,YAAY,GAAG,UAAU,CAAC;IACrC,IAAI,EAAE,eAAe;IACrB,KAAK,EAAE,qCAAqC;IAC5C,WAAW,EACT,kKAAkK;QAClK,oIAAoI;QACpI,oLAAoL;IACtL,WAAW,EAAE;QACX,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,2EAA2E,CAAC;QAC/I,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,mFAAmF,CAAC;KACnJ;IACD,WAAW,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,cAAc,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE;IACtG,KAAK,CAAC,GAAG,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,KAAK;QAChD,IAAI,MAA0B,CAAC;QAC/B,IAAI,SAAS,EAAE,CAAC;YACd,MAAM,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC;YACjC,IAAI,CAAC,MAAM;gBAAE,OAAO,IAAI,CAAC,IAAI,KAAK,CAAC,aAAa,SAAS,2GAA2G,CAAC,CAAC,CAAC;QACzK,CAAC;aAAM,IAAI,MAAM,IAAI,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YACtC,MAAM,GAAG,MAAM,CAAC;QAClB,CAAC;aAAM,CAAC;YACN,OAAO,IAAI,CAAC,IAAI,KAAK,CAAC,gIAAgI,CAAC,CAAC,CAAC;QAC3J,CAAC;QACD,IAAI,CAAC;YACH,OAAO,EAAE,CAAC,MAAM,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;QAC/D,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC;QACnB,CAAC;IACH,CAAC;CACF,CAAC,CAAC;AAEH,SAAS,QAAQ,CAAC,KAA8B;IAC9C,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,KAAK,IAAI,IAAI,OAAO,KAAK,CAAC,QAAQ,KAAK,QAAQ,CAAC;AACxI,CAAC"}

package/dist/tools/resolve_citation.d.ts

@@ -0,0 +1,4 @@
+import { z } from "zod";
+export declare const resolveCitation: import("./tool.js").ToolDef<{
+    citation: z.ZodString;
+}>;

package/dist/tools/resolve_citation.js

@@ -0,0 +1,33 @@
+import { z } from "zod";
+import { formatResolve } from "../resolve_format.js";
+import { LIMITS_NOTE, defineTool, fail, ok } from "./tool.js";
+export const resolveCitation = defineTool({
+    name: "resolve_citation",
+    title: "Look up one citation in the register",
+    description: "Look up a single case citation (for example '590 U.S. 644', or 'Bostock v. Clayton County, 590 U.S. 644 (2020)') in proofread.law's register and answer: " +
+        "is there a case at this citation, which one (name, court, date, parallel citations, link), and how complete the register is for that volume. " +
+        "This is a register lookup of the citation, not a comparison with the case name you have: if the case it returns is not the one you expected, the citation points elsewhere. " +
+        "Statuses: found; ambiguous (several entries, candidates listed); not in the register (a register fact with a coverage qualifier, never proof that the case does not exist); " +
+        "cannot verify (a Westlaw/Lexis identifier, or a volume the register cannot see yet); known citation (other opinions cite it, the opinion itself is not held); no citation recognised. " +
+        "Use it when one citation is in doubt; use check_citations for prose, and resolve_citations for a list. " +
+        LIMITS_NOTE + " Counts against the resolve quota (1,000 a month free), not the check quota.",
+    inputSchema: {
+        citation: z.string().min(3).max(500).describe("One citation string. A case name and year around it are fine; only the reporter citation is resolved."),
+    },
+    annotations: { readOnlyHint: true, destructiveHint: false, idempotentHint: true, openWorldHint: true },
+    async run({ citation }, { client }, extra) {
+        try {
+            const result = await client.resolveV1(citation, extra.signal);
+            return ok(formatResolve(result), {
+                status: result.status,
+                cite: result.normalized ?? result.cite,
+                case: result.case ? { id: result.case.id, name: result.case.name, court: result.case.court ?? null, date: result.case.date ?? null, url: result.case.url ?? null } : null,
+                coverage_statement: result.coverage_statement ?? null,
+            });
+        }
+        catch (err) {
+            return fail(err);
+        }
+    },
+});
+//# sourceMappingURL=resolve_citation.js.map

package/dist/tools/resolve_citation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve_citation.js","sourceRoot":"","sources":["../../src/tools/resolve_citation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AAE9D,MAAM,CAAC,MAAM,eAAe,GAAG,UAAU,CAAC;IACxC,IAAI,EAAE,kBAAkB;IACxB,KAAK,EAAE,sCAAsC;IAC7C,WAAW,EACT,2JAA2J;QAC3J,+IAA+I;QAC/I,8KAA8K;QAC9K,8KAA8K;QAC9K,wLAAwL;QACxL,yGAAyG;QACzG,WAAW,GAAG,8EAA8E;IAC9F,WAAW,EAAE;QACX,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,uGAAuG,CAAC;KACvJ;IACD,WAAW,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,cAAc,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE;IACtG,KAAK,CAAC,GAAG,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,KAAK;QACvC,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,SAAS,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;YAC9D,OAAO,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE;gBAC/B,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,IAAI,EAAE,MAAM,CAAC,UAAU,IAAI,MAAM,CAAC,IAAI;gBACtC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,IAAI,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,EAAE,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI;gBACzK,kBAAkB,EAAE,MAAM,CAAC,kBAAkB,IAAI,IAAI;aACtD,CAAC,CAAC;QACL,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC;QACnB,CAAC;IACH,CAAC;CACF,CAAC,CAAC"}

package/dist/tools/resolve_citations.d.ts

@@ -0,0 +1,4 @@
+import { z } from "zod";
+export declare const resolveCitations: import("./tool.js").ToolDef<{
+    cites: z.ZodArray<z.ZodString>;
+}>;

package/dist/tools/resolve_citations.js

@@ -0,0 +1,30 @@
+import { z } from "zod";
+import { MAX_BATCH_CITES } from "../client.js";
+import { formatResolveBatch } from "../resolve_format.js";
+import { LIMITS_NOTE, defineTool, fail, ok } from "./tool.js";
+export const resolveCitations = defineTool({
+    name: "resolve_citations",
+    title: "Look up a list of citations in the register",
+    description: "Look up up to 500 case citation strings in proofread.law's register in one call and get one line per citation, in input order: " +
+        "found (the case, court, date, link), ambiguous, not in the register (a register fact with a coverage qualifier, never proof that the case does not exist), " +
+        "cannot verify (Westlaw/Lexis identifier, or a volume the register cannot see yet), known citation, or no citation recognised. " +
+        "Use it for a table of authorities or any list of citations you already have; use check_citations for prose (it also checks names and quotations). " +
+        LIMITS_NOTE + " Each citation counts against the resolve quota (1,000 a month free), not the check quota.",
+    inputSchema: {
+        cites: z.array(z.string().min(1).max(500)).min(1).max(MAX_BATCH_CITES).describe("Citation strings, one per entry, up to 500."),
+    },
+    annotations: { readOnlyHint: true, destructiveHint: false, idempotentHint: true, openWorldHint: true },
+    async run({ cites }, { client }, extra) {
+        try {
+            const batch = await client.resolveBatch(cites, extra.signal);
+            return ok(formatResolveBatch(batch), {
+                results: batch.results.map((r) => ({ cite: r.normalized ?? r.cite, status: r.status, case: r.case ? { id: r.case.id, name: r.case.name, url: r.case.url ?? null } : null })),
+                coverage_statement: batch.coverage_statement,
+            });
+        }
+        catch (err) {
+            return fail(err);
+        }
+    },
+});
+//# sourceMappingURL=resolve_citations.js.map

package/dist/tools/resolve_citations.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve_citations.js","sourceRoot":"","sources":["../../src/tools/resolve_citations.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AAE9D,MAAM,CAAC,MAAM,gBAAgB,GAAG,UAAU,CAAC;IACzC,IAAI,EAAE,mBAAmB;IACzB,KAAK,EAAE,6CAA6C;IACpD,WAAW,EACT,iIAAiI;QACjI,6JAA6J;QAC7J,gIAAgI;QAChI,oJAAoJ;QACpJ,WAAW,GAAG,4FAA4F;IAC5G,WAAW,EAAE;QACX,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,QAAQ,CAAC,6CAA6C,CAAC;KAC/H;IACD,WAAW,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,cAAc,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE;IACtG,KAAK,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,KAAK;QACpC,IAAI,CAAC;YACH,MAAM,KAAK,GAAG,MAAM,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;YAC7D,OAAO,EAAE,CAAC,kBAAkB,CAAC,KAAK,CAAC,EAAE;gBACnC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;gBAC5K,kBAAkB,EAAE,KAAK,CAAC,kBAAkB;aAC7C,CAAC,CAAC;QACL,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC;QACnB,CAAC;IACH,CAAC;CACF,CAAC,CAAC"}

package/dist/tools/tool.d.ts

@@ -0,0 +1,25 @@
+import type { RequestHandlerExtra } from "@modelcontextprotocol/sdk/shared/protocol.js";
+import type { CallToolResult, ServerNotification, ServerRequest, ToolAnnotations } from "@modelcontextprotocol/sdk/types.js";
+import type { z } from "zod";
+import type { Client } from "../client.js";
+export type ToolExtra = RequestHandlerExtra<ServerRequest, ServerNotification>;
+export interface ToolContext {
+    client: Client;
+}
+/** One tool = one file. `run` gets parsed arguments, the shared client, and the request extras (signal, progress token). */
+export interface ToolDef<Shape extends z.ZodRawShape = z.ZodRawShape> {
+    name: string;
+    title: string;
+    description: string;
+    inputSchema: Shape;
+    annotations?: ToolAnnotations;
+    run(args: z.infer<z.ZodObject<Shape>>, ctx: ToolContext, extra: ToolExtra): Promise<CallToolResult>;
+}
+export declare function defineTool<Shape extends z.ZodRawShape>(def: ToolDef<Shape>): ToolDef<Shape>;
+export declare function ok(text: string, structuredContent?: Record<string, unknown>): CallToolResult;
+/** Errors go back as a tool result the model can read and act on, not as a protocol error. */
+export declare function fail(err: unknown): CallToolResult;
+/** Sends MCP progress notifications when the client asked for them (deep checks take a while). */
+export declare function progressReporter(extra: ToolExtra): (done: number, total: number | undefined, message: string) => void;
+export declare const LIMITS_NOTE: string;
+export declare const DEEP_NOTE: string;

package/dist/tools/tool.js

@@ -0,0 +1,28 @@
+import { explain } from "../errors.js";
+export function defineTool(def) {
+    return def;
+}
+export function ok(text, structuredContent) {
+    return structuredContent ? { content: [{ type: "text", text }], structuredContent } : { content: [{ type: "text", text }] };
+}
+/** Errors go back as a tool result the model can read and act on, not as a protocol error. */
+export function fail(err) {
+    return { content: [{ type: "text", text: explain(err) }], isError: true };
+}
+/** Sends MCP progress notifications when the client asked for them (deep checks take a while). */
+export function progressReporter(extra) {
+    const token = extra._meta?.progressToken;
+    if (token === undefined)
+        return () => { };
+    return (done, total, message) => {
+        void extra
+            .sendNotification({ method: "notifications/progress", params: { progressToken: token, progress: done, ...(total !== undefined ? { total } : {}), message } })
+            .catch(() => { });
+    };
+}
+export const LIMITS_NOTE = "Cannot: resolve Westlaw (WL) or Lexis identifiers, check statutes, regulations or secondary sources, or say whether a case is still good law. " +
+    "A red row means 'check this', never 'this case does not exist'; an orange row means the register has nothing to check against, which is not evidence either way.";
+export const DEEP_NOTE = "deep=true also asks, for each found citation, whether the opinion supports the sentence it is cited for (white rows). " +
+    "It is slower (1 to 2 s per citation), opt-in because the clause before each citation is sent to a model judge, limited to 3 per month on the free tier, " +
+    "and its answers are a review queue, not a verdict.";
+//# sourceMappingURL=tool.js.map

package/dist/tools/tool.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tool.js","sourceRoot":"","sources":["../../src/tools/tool.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAkBvC,MAAM,UAAU,UAAU,CAA8B,GAAmB;IACzE,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,EAAE,CAAC,IAAY,EAAE,iBAA2C;IAC1E,OAAO,iBAAiB,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,iBAAiB,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;AAC9H,CAAC;AAED,8FAA8F;AAC9F,MAAM,UAAU,IAAI,CAAC,GAAY;IAC/B,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AAC5E,CAAC;AAED,kGAAkG;AAClG,MAAM,UAAU,gBAAgB,CAAC,KAAgB;IAC/C,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,EAAE,aAAa,CAAC;IACzC,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,GAAG,EAAE,GAAE,CAAC,CAAC;IACzC,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE;QAC9B,KAAK,KAAK;aACP,gBAAgB,CAAC,EAAE,MAAM,EAAE,wBAAwB,EAAE,MAAM,EAAE,EAAE,aAAa,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,CAAC;aAC5J,KAAK,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;IACrB,CAAC,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,MAAM,WAAW,GACtB,gJAAgJ;IAChJ,kKAAkK,CAAC;AAErK,MAAM,CAAC,MAAM,SAAS,GACpB,wHAAwH;IACxH,0JAA0J;IAC1J,oDAAoD,CAAC"}

package/dist/types.d.ts

@@ -0,0 +1,140 @@
+export type Tier = "red" | "orange" | "green" | "white";
+export interface Support {
+    status: "confirmed" | "likely" | "not_confirmed" | "opposite" | "not_checked";
+    headline?: string;
+    confidence?: number;
+    band?: "high" | "medium" | "low";
+    passage?: string;
+    note?: string;
+}
+export interface Evidence {
+    register_name?: string;
+    register_date?: string;
+    court?: string;
+    cluster_id?: number;
+    citations?: string[];
+    url?: string;
+    cite_points_to?: string;
+    resolve_match?: string;
+}
+export interface Row {
+    n: number;
+    tier: Tier;
+    tier_label?: string;
+    citation: string;
+    cite?: string;
+    parallel?: string[];
+    parties?: string;
+    year?: number;
+    headline: string;
+    detail?: string;
+    notes?: string[];
+    reason?: string;
+    occurrences?: number;
+    evidence?: Evidence;
+    support?: Support | null;
+    [key: string]: unknown;
+}
+export interface Summary {
+    citations: number;
+    rows: number;
+    red: number;
+    orange: number;
+    green: number;
+    white: number;
+    review_queue?: number;
+    database_ids?: number;
+    review_queue_excluding_database_ids?: number;
+    deep_pending?: number;
+    support?: {
+        confirmed: number;
+        likely: number;
+        not_confirmed: number;
+        opposite: number;
+    };
+    [key: string]: unknown;
+}
+export interface Report {
+    version?: string;
+    mode: "default" | "deep";
+    generated_at?: string;
+    input?: {
+        kind: string;
+        pages?: number;
+        bytes?: number;
+        chars?: number;
+    };
+    elapsed_s?: number;
+    coverage: string;
+    storage: string;
+    summary: Summary;
+    rows: Row[];
+    [key: string]: unknown;
+}
+export interface Coverage {
+    coverage: string;
+    storage: string;
+}
+/** The error envelope every non-2xx answer carries: {"error": {"code", "message", ...}}. */
+export interface ApiErrorBody {
+    error: {
+        code: string;
+        message: string;
+        retry_after?: number;
+        plan?: string;
+        feature?: string;
+        upgrade?: string;
+        used?: number;
+        limit?: number;
+        [key: string]: unknown;
+    };
+}
+export type ResolveStatus = "found" | "ambiguous" | "not_found" | "unverifiable" | "beyond_register" | "known_cite" | "unresolvable" | "unparsed";
+export interface ResolveCase {
+    id: number;
+    name: string;
+    court?: string;
+    date?: string;
+    citations?: string[];
+    url?: string;
+}
+export interface ResolveCoverage {
+    register_coverage: string;
+    reporter?: string;
+    volume?: string;
+    max_volume?: number;
+    volume_n?: number;
+    beyond_max?: boolean;
+    [key: string]: unknown;
+}
+export interface ResolveResult {
+    cite: string;
+    normalized: string | null;
+    status: ResolveStatus;
+    case: ResolveCase | null;
+    candidates: ResolveCase[];
+    coverage: ResolveCoverage | null;
+    match?: "exact" | "pincite";
+    known_as?: {
+        name: string;
+        year?: number;
+        court_hint?: string;
+        n_citing?: number;
+    };
+    freshness?: {
+        dump: string;
+        refreshed: string;
+    };
+    coverage_statement?: string;
+    [key: string]: unknown;
+}
+export interface ResolveBatch {
+    results: ResolveResult[];
+    freshness?: {
+        dump: string;
+        refreshed: string;
+    };
+    coverage_statement: string;
+    plan?: string;
+    elapsed_s?: number;
+}

package/dist/types.js

@@ -0,0 +1,4 @@
+// Shapes returned by https://proofread.law (see the service contract in citation-bench/app/README.md).
+// Only the fields the server reads are typed; everything else passes through untouched.
+export {};
+//# sourceMappingURL=types.js.map

package/dist/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,uGAAuG;AACvG,wFAAwF"}

package/package.json

@@ -0,0 +1,57 @@
+{
+  "name": "proofread-mcp",
+  "version": "0.1.0",
+  "description": "MCP server for proofread.law: check legal citations from Claude, Cursor or the OpenAI Agents SDK",
+  "license": "MIT",
+  "author": "Data Alchemy Labs",
+  "type": "module",
+  "bin": {
+    "proofread-mcp": "dist/cli.js"
+  },
+  "main": "dist/index.js",
+  "types": "dist/index.d.ts",
+  "files": [
+    "dist",
+    "README.md",
+    "LICENSE"
+  ],
+  "engines": {
+    "node": ">=20"
+  },
+  "scripts": {
+    "build": "tsc -p tsconfig.json && node -e \"require('fs').chmodSync('dist/cli.js', 0o755)\"",
+    "test": "vitest run",
+    "test:live": "LIVE=1 vitest run test/live.test.ts",
+    "start": "node dist/cli.js",
+    "prepublishOnly": "npm run build && npm test"
+  },
+  "keywords": [
+    "case-law",
+    "citations",
+    "claude",
+    "cursor",
+    "legal",
+    "mcp",
+    "model-context-protocol",
+    "openai",
+    "proofread",
+    "proofread.law"
+  ],
+  "dependencies": {
+    "@modelcontextprotocol/sdk": "^1.30.0",
+    "zod": "^4.6.5"
+  },
+  "devDependencies": {
+    "@types/node": "^26.6.2",
+    "typescript": "^7.0.2",
+    "vitest": "^5.0.1"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/Data-Alchemy-Labs/proofread-mcp.git"
+  },
+  "homepage": "https://github.com/Data-Alchemy-Labs/proofread-mcp#readme",
+  "bugs": {
+    "url": "https://github.com/Data-Alchemy-Labs/proofread-mcp/issues"
+  }
+}