@mandujs/mcp 0.36.2 → 0.37.0

package/src/tools/ate-mutation-report.ts

@@ -1,64 +1,64 @@
-/**
- * `mandu_ate_mutation_report` — Phase C.2.
- *
- * Read the persisted last mutation run and compute an aggregate report:
- * killed / survived / timeout counts, mutationScore, survivors ranked by
- * severity + reason.
- *
- * Read-only. Never spawns a child process.
- */
-
-import type { Tool } from "@modelcontextprotocol/sdk/types.js";
-import { computeMutationReport, loadLastMutationRun } from "@mandujs/ate";
-
-export const ateMutationReportToolDefinitions: Tool[] = [
-  {
-    name: "mandu_ate_mutation_report",
-    annotations: {
-      readOnlyHint: true,
-    },
-    description:
-      "Phase C.2 — aggregate the last `mandu_ate_mutate` run into a summary report. " +
-      "Returns { totalMutations, killed, survived, timeout, mutationScore, " +
-      "survivorsBySeverity, byOperator }. Severity: skip_middleware + " +
-      "bypass_validation = high; narrow_type / swap_sibling_type / rename_field = " +
-      "medium; everything else = low.",
-    inputSchema: {
-      type: "object",
-      properties: {
-        repoRoot: {
-          type: "string",
-          description: "Absolute path to the Mandu project root.",
-        },
-      },
-      required: ["repoRoot"],
-    },
-  },
-];
-
-export function ateMutationReportTools(_projectRoot: string) {
-  return {
-    mandu_ate_mutation_report: async (args: Record<string, unknown>) => {
-      const repoRoot = args.repoRoot as string | undefined;
-      if (!repoRoot || typeof repoRoot !== "string") {
-        return { ok: false, error: "repoRoot is required" };
-      }
-      const loaded = loadLastMutationRun(repoRoot);
-      if (!loaded) {
-        return {
-          ok: false,
-          error:
-            "No mutation run found. Run mandu_ate_mutate first — the persisted report lives at .mandu/ate-mutations/last-run.json.",
-        };
-      }
-      const report = computeMutationReport(loaded.results);
-      return {
-        ok: true,
-        targetFile: loaded.targetFile,
-        generatedAt: loaded.generatedAt,
-        totalGenerated: loaded.totalGenerated,
-        report,
-      };
-    },
-  };
-}
+/**
+ * `mandu_ate_mutation_report` — Phase C.2.
+ *
+ * Read the persisted last mutation run and compute an aggregate report:
+ * killed / survived / timeout counts, mutationScore, survivors ranked by
+ * severity + reason.
+ *
+ * Read-only. Never spawns a child process.
+ */
+
+import type { Tool } from "@modelcontextprotocol/sdk/types.js";
+import { computeMutationReport, loadLastMutationRun } from "@mandujs/ate";
+
+export const ateMutationReportToolDefinitions: Tool[] = [
+  {
+    name: "mandu_ate_mutation_report",
+    annotations: {
+      readOnlyHint: true,
+    },
+    description:
+      "Phase C.2 — aggregate the last `mandu_ate_mutate` run into a summary report. " +
+      "Returns { totalMutations, killed, survived, timeout, mutationScore, " +
+      "survivorsBySeverity, byOperator }. Severity: skip_middleware + " +
+      "bypass_validation = high; narrow_type / swap_sibling_type / rename_field = " +
+      "medium; everything else = low.",
+    inputSchema: {
+      type: "object",
+      properties: {
+        repoRoot: {
+          type: "string",
+          description: "Absolute path to the Mandu project root.",
+        },
+      },
+      required: ["repoRoot"],
+    },
+  },
+];
+
+export function ateMutationReportTools(_projectRoot: string) {
+  return {
+    mandu_ate_mutation_report: async (args: Record<string, unknown>) => {
+      const repoRoot = args.repoRoot as string | undefined;
+      if (!repoRoot || typeof repoRoot !== "string") {
+        return { ok: false, error: "repoRoot is required" };
+      }
+      const loaded = loadLastMutationRun(repoRoot);
+      if (!loaded) {
+        return {
+          ok: false,
+          error:
+            "No mutation run found. Run mandu_ate_mutate first — the persisted report lives at .mandu/ate-mutations/last-run.json.",
+        };
+      }
+      const report = computeMutationReport(loaded.results);
+      return {
+        ok: true,
+        targetFile: loaded.targetFile,
+        generatedAt: loaded.generatedAt,
+        totalGenerated: loaded.totalGenerated,
+        report,
+      };
+    },
+  };
+}

package/src/tools/ate-oracle-pending.ts

@@ -1,49 +1,49 @@
-/**
- * `mandu_ate_oracle_pending` — Phase C.4.
- *
- * List pending semantic oracle entries for agent judgment.
- * Read-only.
- */
-import type { Tool } from "@modelcontextprotocol/sdk/types.js";
-import { findOraclePending } from "@mandujs/ate";
-
-export const ateOraclePendingToolDefinitions: Tool[] = [
-  {
-    name: "mandu_ate_oracle_pending",
-    annotations: {
-      readOnlyHint: true,
-    },
-    description:
-      "Phase C.4 — list pending semantic oracle entries. Returns the most recent " +
-      "`status=pending` entries from `.mandu/ate-oracle-queue.jsonl`. Each entry " +
-      "carries an assertionId, the spec path, the claim text, and an artifactPath " +
-      "pointing to screenshot / DOM captures. The agent reviews these and issues a " +
-      "verdict via `mandu_ate_oracle_verdict`. CI never blocks on these — " +
-      "expectSemantic is deterministic-non-blocking by default.",
-    inputSchema: {
-      type: "object",
-      properties: {
-        repoRoot: { type: "string", description: "Absolute path to the Mandu project root." },
-        limit: { type: "number", description: "Maximum entries to return. Default 20." },
-        specPath: { type: "string", description: "Filter to a specific spec file." },
-      },
-      required: ["repoRoot"],
-    },
-  },
-];
-
-export function ateOraclePendingTools(_projectRoot: string) {
-  return {
-    mandu_ate_oracle_pending: async (args: Record<string, unknown>) => {
-      const repoRoot = args.repoRoot as string | undefined;
-      if (!repoRoot || typeof repoRoot !== "string") {
-        return { ok: false, error: "repoRoot is required" };
-      }
-      const entries = findOraclePending(repoRoot, {
-        ...(typeof args.limit === "number" ? { limit: args.limit } : {}),
-        ...(typeof args.specPath === "string" ? { specPath: args.specPath } : {}),
-      });
-      return { ok: true, count: entries.length, entries };
-    },
-  };
-}
+/**
+ * `mandu_ate_oracle_pending` — Phase C.4.
+ *
+ * List pending semantic oracle entries for agent judgment.
+ * Read-only.
+ */
+import type { Tool } from "@modelcontextprotocol/sdk/types.js";
+import { findOraclePending } from "@mandujs/ate";
+
+export const ateOraclePendingToolDefinitions: Tool[] = [
+  {
+    name: "mandu_ate_oracle_pending",
+    annotations: {
+      readOnlyHint: true,
+    },
+    description:
+      "Phase C.4 — list pending semantic oracle entries. Returns the most recent " +
+      "`status=pending` entries from `.mandu/ate-oracle-queue.jsonl`. Each entry " +
+      "carries an assertionId, the spec path, the claim text, and an artifactPath " +
+      "pointing to screenshot / DOM captures. The agent reviews these and issues a " +
+      "verdict via `mandu_ate_oracle_verdict`. CI never blocks on these — " +
+      "expectSemantic is deterministic-non-blocking by default.",
+    inputSchema: {
+      type: "object",
+      properties: {
+        repoRoot: { type: "string", description: "Absolute path to the Mandu project root." },
+        limit: { type: "number", description: "Maximum entries to return. Default 20." },
+        specPath: { type: "string", description: "Filter to a specific spec file." },
+      },
+      required: ["repoRoot"],
+    },
+  },
+];
+
+export function ateOraclePendingTools(_projectRoot: string) {
+  return {
+    mandu_ate_oracle_pending: async (args: Record<string, unknown>) => {
+      const repoRoot = args.repoRoot as string | undefined;
+      if (!repoRoot || typeof repoRoot !== "string") {
+        return { ok: false, error: "repoRoot is required" };
+      }
+      const entries = findOraclePending(repoRoot, {
+        ...(typeof args.limit === "number" ? { limit: args.limit } : {}),
+        ...(typeof args.specPath === "string" ? { specPath: args.specPath } : {}),
+      });
+      return { ok: true, count: entries.length, entries };
+    },
+  };
+}

package/src/tools/ate-oracle-replay.ts

@@ -1,44 +1,44 @@
-/**
- * `mandu_ate_oracle_replay` — Phase C.4.
- *
- * Read-only. Return every oracle entry (pending + judged) for a spec
- * path — lets agents review the history of semantic claims for a file
- * before re-issuing similar assertions.
- */
-import type { Tool } from "@modelcontextprotocol/sdk/types.js";
-import { findOracleEntriesForSpec } from "@mandujs/ate";
-
-export const ateOracleReplayToolDefinitions: Tool[] = [
-  {
-    name: "mandu_ate_oracle_replay",
-    annotations: {
-      readOnlyHint: true,
-    },
-    description:
-      "Phase C.4 — replay every oracle verdict (pending + passed + failed) for a " +
-      "given spec. Returns the full audit trail sorted newest → oldest. Useful for " +
-      "agents reviewing past `failed` verdicts before re-issuing similar semantic " +
-      "claims, or for human auditors walking the queue history.",
-    inputSchema: {
-      type: "object",
-      properties: {
-        repoRoot: { type: "string", description: "Absolute path to the Mandu project root." },
-        specPath: { type: "string", description: "Spec file path to replay." },
-      },
-      required: ["repoRoot", "specPath"],
-    },
-  },
-];
-
-export function ateOracleReplayTools(_projectRoot: string) {
-  return {
-    mandu_ate_oracle_replay: async (args: Record<string, unknown>) => {
-      const repoRoot = args.repoRoot as string | undefined;
-      const specPath = args.specPath as string | undefined;
-      if (!repoRoot) return { ok: false, error: "repoRoot is required" };
-      if (!specPath) return { ok: false, error: "specPath is required" };
-      const entries = findOracleEntriesForSpec(repoRoot, specPath);
-      return { ok: true, count: entries.length, entries };
-    },
-  };
-}
+/**
+ * `mandu_ate_oracle_replay` — Phase C.4.
+ *
+ * Read-only. Return every oracle entry (pending + judged) for a spec
+ * path — lets agents review the history of semantic claims for a file
+ * before re-issuing similar assertions.
+ */
+import type { Tool } from "@modelcontextprotocol/sdk/types.js";
+import { findOracleEntriesForSpec } from "@mandujs/ate";
+
+export const ateOracleReplayToolDefinitions: Tool[] = [
+  {
+    name: "mandu_ate_oracle_replay",
+    annotations: {
+      readOnlyHint: true,
+    },
+    description:
+      "Phase C.4 — replay every oracle verdict (pending + passed + failed) for a " +
+      "given spec. Returns the full audit trail sorted newest → oldest. Useful for " +
+      "agents reviewing past `failed` verdicts before re-issuing similar semantic " +
+      "claims, or for human auditors walking the queue history.",
+    inputSchema: {
+      type: "object",
+      properties: {
+        repoRoot: { type: "string", description: "Absolute path to the Mandu project root." },
+        specPath: { type: "string", description: "Spec file path to replay." },
+      },
+      required: ["repoRoot", "specPath"],
+    },
+  },
+];
+
+export function ateOracleReplayTools(_projectRoot: string) {
+  return {
+    mandu_ate_oracle_replay: async (args: Record<string, unknown>) => {
+      const repoRoot = args.repoRoot as string | undefined;
+      const specPath = args.specPath as string | undefined;
+      if (!repoRoot) return { ok: false, error: "repoRoot is required" };
+      if (!specPath) return { ok: false, error: "specPath is required" };
+      const entries = findOracleEntriesForSpec(repoRoot, specPath);
+      return { ok: true, count: entries.length, entries };
+    },
+  };
+}

package/src/tools/ate-oracle-verdict.ts

@@ -1,70 +1,70 @@
-/**
- * `mandu_ate_oracle_verdict` — Phase C.4.
- *
- * Apply an agent / human verdict to a pending oracle entry. Rewrites
- * matching pending rows with `status = passed|failed` + verdict metadata.
- */
-import type { Tool } from "@modelcontextprotocol/sdk/types.js";
-import { setOracleVerdict } from "@mandujs/ate";
-
-export const ateOracleVerdictToolDefinitions: Tool[] = [
-  {
-    name: "mandu_ate_oracle_verdict",
-    annotations: {
-      readOnlyHint: false,
-    },
-    description:
-      "Phase C.4 — record an oracle verdict for a pending semantic assertion. " +
-      "`verdict: 'pass' | 'fail'`. `judgedBy`: 'agent' (default) or 'human'. " +
-      "`reason` is the short free-form justification the agent (or human) provides. " +
-      "Every pending queue entry with the matching assertionId transitions to the " +
-      "given verdict — subsequent `promoteVerdicts: true` expectSemantic calls will " +
-      "see past `failed` verdicts and throw deterministically.",
-    inputSchema: {
-      type: "object",
-      properties: {
-        repoRoot: { type: "string", description: "Absolute path to the Mandu project root." },
-        assertionId: { type: "string", description: "Stable assertion id returned by expectSemantic." },
-        verdict: {
-          type: "string",
-          enum: ["pass", "fail"],
-          description: "Whether the agent judges the claim satisfied.",
-        },
-        reason: { type: "string", description: "Free-form justification." },
-        judgedBy: {
-          type: "string",
-          enum: ["agent", "human"],
-          description: "Source of the verdict. Defaults to 'agent'.",
-        },
-      },
-      required: ["repoRoot", "assertionId", "verdict", "reason"],
-    },
-  },
-];
-
-export function ateOracleVerdictTools(_projectRoot: string) {
-  return {
-    mandu_ate_oracle_verdict: async (args: Record<string, unknown>) => {
-      const repoRoot = args.repoRoot as string | undefined;
-      const assertionId = args.assertionId as string | undefined;
-      const verdict = args.verdict as string | undefined;
-      const reason = args.reason as string | undefined;
-      const judgedBy = args.judgedBy as string | undefined;
-      if (!repoRoot) return { ok: false, error: "repoRoot is required" };
-      if (!assertionId) return { ok: false, error: "assertionId is required" };
-      if (verdict !== "pass" && verdict !== "fail") {
-        return { ok: false, error: "verdict must be 'pass' or 'fail'" };
-      }
-      if (!reason || typeof reason !== "string") {
-        return { ok: false, error: "reason is required" };
-      }
-      const res = setOracleVerdict(repoRoot, {
-        assertionId,
-        verdict,
-        reason,
-        ...(judgedBy === "agent" || judgedBy === "human" ? { judgedBy } : {}),
-      });
-      return { ok: true, updated: res.updated, entries: res.entries };
-    },
-  };
-}
+/**
+ * `mandu_ate_oracle_verdict` — Phase C.4.
+ *
+ * Apply an agent / human verdict to a pending oracle entry. Rewrites
+ * matching pending rows with `status = passed|failed` + verdict metadata.
+ */
+import type { Tool } from "@modelcontextprotocol/sdk/types.js";
+import { setOracleVerdict } from "@mandujs/ate";
+
+export const ateOracleVerdictToolDefinitions: Tool[] = [
+  {
+    name: "mandu_ate_oracle_verdict",
+    annotations: {
+      readOnlyHint: false,
+    },
+    description:
+      "Phase C.4 — record an oracle verdict for a pending semantic assertion. " +
+      "`verdict: 'pass' | 'fail'`. `judgedBy`: 'agent' (default) or 'human'. " +
+      "`reason` is the short free-form justification the agent (or human) provides. " +
+      "Every pending queue entry with the matching assertionId transitions to the " +
+      "given verdict — subsequent `promoteVerdicts: true` expectSemantic calls will " +
+      "see past `failed` verdicts and throw deterministically.",
+    inputSchema: {
+      type: "object",
+      properties: {
+        repoRoot: { type: "string", description: "Absolute path to the Mandu project root." },
+        assertionId: { type: "string", description: "Stable assertion id returned by expectSemantic." },
+        verdict: {
+          type: "string",
+          enum: ["pass", "fail"],
+          description: "Whether the agent judges the claim satisfied.",
+        },
+        reason: { type: "string", description: "Free-form justification." },
+        judgedBy: {
+          type: "string",
+          enum: ["agent", "human"],
+          description: "Source of the verdict. Defaults to 'agent'.",
+        },
+      },
+      required: ["repoRoot", "assertionId", "verdict", "reason"],
+    },
+  },
+];
+
+export function ateOracleVerdictTools(_projectRoot: string) {
+  return {
+    mandu_ate_oracle_verdict: async (args: Record<string, unknown>) => {
+      const repoRoot = args.repoRoot as string | undefined;
+      const assertionId = args.assertionId as string | undefined;
+      const verdict = args.verdict as string | undefined;
+      const reason = args.reason as string | undefined;
+      const judgedBy = args.judgedBy as string | undefined;
+      if (!repoRoot) return { ok: false, error: "repoRoot is required" };
+      if (!assertionId) return { ok: false, error: "assertionId is required" };
+      if (verdict !== "pass" && verdict !== "fail") {
+        return { ok: false, error: "verdict must be 'pass' or 'fail'" };
+      }
+      if (!reason || typeof reason !== "string") {
+        return { ok: false, error: "reason is required" };
+      }
+      const res = setOracleVerdict(repoRoot, {
+        assertionId,
+        verdict,
+        reason,
+        ...(judgedBy === "agent" || judgedBy === "human" ? { judgedBy } : {}),
+      });
+      return { ok: true, updated: res.updated, entries: res.entries };
+    },
+  };
+}