@martinloop/mcp 0.5.6 → 0.5.8

package/dist/vendor/core/compiler.d.ts

@@ -20,7 +20,7 @@ export interface CompilerAdapterRequest {
         focus: string;
         remainingBudgetUsd: number;
         remainingIterations: number;
-        remainingTokens: number;
+        remainingTokens?: number;
     };
     previousAttempts: LoopAttempt[];
 }
@@ -41,7 +41,7 @@ export interface PromptPacket {
     budgetEnvelope: {
         remainingBudgetUsd: number;
         remainingIterations: number;
-        remainingTokens: number;
+        remainingTokens?: number;
     };
 }
 /**

package/dist/vendor/core/compiler.js

@@ -41,7 +41,9 @@ export function compilePromptPacket(request) {
         budgetEnvelope: {
             remainingBudgetUsd: request.context.remainingBudgetUsd,
             remainingIterations: request.context.remainingIterations,
-            remainingTokens: request.context.remainingTokens
+            ...(request.context.remainingTokens !== undefined
+                ? { remainingTokens: request.context.remainingTokens }
+                : {})
         }
     };
 }

package/dist/vendor/core/exits.js

@@ -26,7 +26,10 @@ export function createDefaultExitPolicy(budget, overrides = {}) {
         schemaVersion: "exit-policy/1",
         goal: { verifierRequired: true, minimumScore: 1 },
         turns: { max: budget.maxIterations },
-        budget: { maxUsd: budget.maxUsd, maxTokens: budget.maxTokens },
+        budget: {
+            maxUsd: budget.maxUsd,
+            ...(budget.maxTokens !== undefined ? { maxTokens: budget.maxTokens } : {})
+        },
         wallClock: { maxElapsedMs: 30 * 60 * 1000 },
         progress: { windowSize: 3, unchangedStateLimit: 3 },
         errors: { maxConsecutive: 3 },
@@ -49,7 +52,9 @@ export function createDefaultExitPolicy(budget, overrides = {}) {
 export function validateExitPolicy(policy) {
     assertFinitePositive("turns.max", policy.turns.max);
     assertFinitePositive("budget.maxUsd", policy.budget.maxUsd);
-    assertFinitePositive("budget.maxTokens", policy.budget.maxTokens);
+    if (policy.budget.maxTokens !== undefined) {
+        assertFinitePositive("budget.maxTokens", policy.budget.maxTokens);
+    }
     assertFinitePositive("wallClock.maxElapsedMs", policy.wallClock.maxElapsedMs);
     assertFinitePositive("progress.windowSize", policy.progress.windowSize);
     assertFinitePositive("progress.unchangedStateLimit", policy.progress.unchangedStateLimit);
@@ -117,13 +122,13 @@ export function evaluateExitPolicy(policy, snapshot) {
     }
     // 5. Budget cap
     const usdExceeded = snapshot.actualUsd >= policy.budget.maxUsd;
-    const tokensExceeded = snapshot.tokensUsed >= policy.budget.maxTokens;
+    const tokensExceeded = policy.budget.maxTokens !== undefined && snapshot.tokensUsed >= policy.budget.maxTokens;
     if (usdExceeded || tokensExceeded) {
         push("budget_cap", "Run token or dollar budget reached.", {
             actualUsd: snapshot.actualUsd,
             maxUsd: policy.budget.maxUsd,
             tokensUsed: snapshot.tokensUsed,
-            maxTokens: policy.budget.maxTokens,
+            ...(policy.budget.maxTokens !== undefined ? { maxTokens: policy.budget.maxTokens } : {}),
             usdExceeded,
             tokensExceeded
         });

package/dist/vendor/core/grounding.d.ts

@@ -9,6 +9,7 @@ export interface RepoGroundingIndex {
     createdAt: string;
     fileCount: number;
     files: RepoGroundingFile[];
+    trackedPaths?: string[];
     repositoryFingerprint?: string;
 }
 export interface RepoGroundingHit {

package/dist/vendor/core/grounding.js

@@ -1,7 +1,10 @@
 import { createHash } from "node:crypto";
+import { execFile } from "node:child_process";
 import { mkdir, readdir, readFile, stat, writeFile } from "node:fs/promises";
 import { homedir } from "node:os";
 import { extname, join, relative } from "node:path";
+import { promisify } from "node:util";
+const execFileAsync = promisify(execFile);
 const TEXT_EXTENSIONS = new Set([
     ".ts", ".tsx", ".js", ".jsx", ".mjs", ".cjs",
     ".json", ".md", ".yaml", ".yml", ".py", ".go",
@@ -42,21 +45,42 @@ export async function loadOrBuildRepoGroundingIndex(repoRoot) {
 export async function buildRepoGroundingIndex(repoRoot, repositoryFingerprint) {
     const files = [];
     const discovered = await walk(repoRoot, repoRoot, files, { count: 0 });
+    const trackedPaths = await loadTrackedPaths(repoRoot);
     return {
         schemaVersion: "martin.grounding.v1",
         repoRoot,
         createdAt: new Date().toISOString(),
         fileCount: discovered.count,
         files,
+        ...(trackedPaths.length > 0 ? { trackedPaths } : {}),
         repositoryFingerprint: repositoryFingerprint ?? await computeRepositoryFingerprint(repoRoot)
     };
 }
 async function computeRepositoryFingerprint(repoRoot) {
     const entries = [];
     await collectFingerprintEntries(repoRoot, repoRoot, entries, { count: 0 });
+    for (const trackedPath of await loadTrackedPaths(repoRoot)) {
+        entries.push(`tracked:${trackedPath}`);
+    }
     entries.sort();
     return createHash("sha256").update(entries.join("\n")).digest("hex");
 }
+async function loadTrackedPaths(repoRoot) {
+    try {
+        const { stdout } = await execFileAsync("git", ["-C", repoRoot, "ls-files", "-z"], {
+            encoding: "utf8",
+            windowsHide: true
+        });
+        return stdout
+            .split("\0")
+            .map((filePath) => filePath.trim().replace(/\\/g, "/"))
+            .filter(Boolean)
+            .sort();
+    }
+    catch {
+        return [];
+    }
+}
 async function collectFingerprintEntries(repoRoot, currentDir, entries, state) {
     if (state.count >= MAX_FILES)
         return;
@@ -193,7 +217,10 @@ function tokenize(input) {
 export function scanPatchForGroundingViolations(diff, index, options = {}) {
     const violations = [];
     const resolvedFiles = [];
-    const indexedPaths = new Set(index.files.map((file) => file.path));
+    const indexedPaths = new Set([
+        ...index.files.map((file) => file.path),
+        ...(index.trackedPaths ?? [])
+    ]);
     const indexedSymbols = new Set(index.files.flatMap((file) => file.symbols.map((symbol) => symbol.toLowerCase())));
     const referencedFiles = new Set();
     const addedFiles = new Set();

package/dist/vendor/core/index.d.ts

@@ -75,7 +75,7 @@ export interface MartinAdapterRequest {
         focus: string;
         remainingBudgetUsd: number;
         remainingIterations: number;
-        remainingTokens: number;
+        remainingTokens?: number;
     };
     previousAttempts: LoopAttempt[];
     /** Abort signal propagated from the harness — adapters should honour it. */
@@ -165,7 +165,7 @@ export interface DistilledContext {
     constraints: {
         remainingBudgetUsd: number;
         remainingIterations: number;
-        remainingTokens: number;
+        remainingTokens?: number;
     };
 }
 export interface AttemptPolicyDecision {

package/dist/vendor/core/index.js

@@ -1,3 +1,4 @@
+import { spawnSync } from "node:child_process";
 import { DEFAULT_AGENT_EXECUTION_INTENT, normalizeProviderExecutionTimeoutMs, appendLoopEvent, createLoopRecord } from "../contracts/index.js";
 import { classifyFailure, computeEvidenceVector, evaluatePatchDecision, evaluateCostGovernor, evaluateBudgetPreflight, inferExit, nextPolicyPhase, policyPhaseToLifecycleState, scorePatchDecision, selectRecoveryRecipe } from "./policy.js";
 import { evaluateChangeApprovalLeash, evaluateFilesystemLeash, evaluateSecretLeash, redactSecretsFromText, resolveExecutionProfile, evaluateVerificationLeash } from "./leash.js";
@@ -152,7 +153,9 @@ export function distillContext(loop, options = {}) {
         constraints: {
             remainingBudgetUsd: roundUsd(loop.budget.maxUsd - loop.cost.actualUsd),
             remainingIterations: Math.max(loop.budget.maxIterations - loop.attempts.length, 0),
-            remainingTokens: Math.max(loop.budget.maxTokens - loop.cost.tokensIn - loop.cost.tokensOut, 0)
+            ...(loop.budget.maxTokens !== undefined
+                ? { remainingTokens: Math.max(loop.budget.maxTokens - loop.cost.tokensIn - loop.cost.tokensOut, 0) }
+                : {})
         }
     };
 }
@@ -1133,7 +1136,7 @@ export async function runMartin(input) {
             // VERIFY: Run grounding scan on patch diff if available
             // Uses the task's repoRoot to build/load the grounding index, then scans any diff
             let groundingScanResult;
-            const patchDiff = buildPatchDiff(result, changedFiles);
+            const patchDiff = buildPatchDiff(result, changedFiles, input.task.repoRoot);
             if (patchDiff && input.task.repoRoot) {
                 try {
                     const groundingIndex = await loadOrBuildRepoGroundingIndex(input.task.repoRoot);
@@ -1566,21 +1569,35 @@ function resolveChangedFiles(result, repoRoot, rollbackBoundary) {
     }
     return listAttemptChangedFilesSinceBoundary({ repoRoot, boundary: rollbackBoundary });
 }
-function buildPatchDiff(result, changedFiles) {
+function buildPatchDiff(result, changedFiles, repoRoot) {
     // Use structured diff stats to build a minimal diff header if no raw diff is available
-    if (result.execution?.changedFiles?.length) {
-        // Build a synthetic diff header from changed file list
-        return result.execution.changedFiles
-            .map((file) => `--- a/${file}\n+++ b/${file}\n@@ -0,0 +1 @@\n+`)
-            .join("\n");
-    }
-    if (changedFiles.length > 0) {
-        return changedFiles
-            .map((file) => `--- a/${file}\n+++ b/${file}\n@@ -0,0 +1 @@\n+`)
+    const files = result.execution?.changedFiles?.length ? result.execution.changedFiles : changedFiles;
+    if (files.length > 0) {
+        return files
+            .map((file) => buildSyntheticDiffHeader(file, repoRoot))
             .join("\n");
     }
     return undefined;
 }
+function buildSyntheticDiffHeader(file, repoRoot) {
+    const normalizedFile = file.replace(/\\/gu, "/");
+    const isNewWorkspaceFile = repoRoot ? isUntrackedWorkspaceFile(repoRoot, normalizedFile) : false;
+    const before = isNewWorkspaceFile ? "/dev/null" : `a/${normalizedFile}`;
+    return `--- ${before}\n+++ b/${normalizedFile}\n@@ -0,0 +1 @@\n+`;
+}
+function isUntrackedWorkspaceFile(repoRoot, file) {
+    const result = spawnSync("git", ["ls-files", "--others", "--exclude-standard", "--", file], {
+        cwd: repoRoot,
+        encoding: "utf8"
+    });
+    if (result.status !== 0 || typeof result.stdout !== "string") {
+        return false;
+    }
+    return result.stdout
+        .split(/\r?\n/u)
+        .map((line) => line.trim().replace(/\\/gu, "/"))
+        .includes(file);
+}
 function createBudgetSettlement(input) {
     const totalActualUsd = getUsageUsd(input.usage);
     return {

package/dist/vendor/core/policy-compiler.js

@@ -5,7 +5,7 @@ export function compileExecutionPolicy(input) {
         maxUsd: resolveBudgetField("maxUsd", input, provenance),
         softLimitUsd: resolveBudgetField("softLimitUsd", input, provenance),
         maxIterations: resolveBudgetField("maxIterations", input, provenance),
-        maxTokens: resolveBudgetField("maxTokens", input, provenance)
+        ...resolveOptionalTokenBudget(input, provenance)
     };
     if (budget.softLimitUsd >= budget.maxUsd) {
         budget.softLimitUsd = Math.round(budget.maxUsd * 0.75 * 100) / 100;
@@ -103,6 +103,22 @@ export function compileExecutionPolicy(input) {
         provenance
     });
 }
+function resolveOptionalTokenBudget(input, provenance) {
+    if (input.request.budgetOverrides?.maxTokens && input.request.budget.maxTokens !== undefined) {
+        provenance.push({ field: "budget.maxTokens", source: "request", value: String(input.request.budget.maxTokens) });
+        return { maxTokens: input.request.budget.maxTokens };
+    }
+    const configValue = input.config?.budget?.maxTokens;
+    if (typeof configValue === "number" && Number.isFinite(configValue)) {
+        provenance.push({ field: "budget.maxTokens", source: "config", value: String(configValue) });
+        return { maxTokens: configValue };
+    }
+    if (input.defaults.budget.maxTokens !== undefined) {
+        provenance.push({ field: "budget.maxTokens", source: "default", value: String(input.defaults.budget.maxTokens) });
+        return { maxTokens: input.defaults.budget.maxTokens };
+    }
+    return {};
+}
 function resolveBudgetField(field, input, provenance) {
     if (input.request.budgetOverrides?.[field]) {
         const value = input.request.budget[field];

package/dist/vendor/core/policy.d.ts

@@ -12,7 +12,7 @@ export interface CostGovernorState {
     shouldStop: boolean;
     remainingBudgetUsd: number;
     remainingIterations: number;
-    remainingTokens: number;
+    remainingTokens?: number;
     recommendedIntervention?: InterventionType;
 }
 export interface ExitDecision {

package/dist/vendor/core/policy.js

@@ -165,16 +165,18 @@ export function classifyFailure(input) {
 export function evaluateCostGovernor(input) {
     const remainingBudgetUsd = roundUsd(input.budget.maxUsd - input.cost.actualUsd);
     const remainingIterations = Math.max(input.budget.maxIterations - input.attemptsUsed, 0);
-    const remainingTokens = Math.max(input.budget.maxTokens - input.cost.tokensIn - input.cost.tokensOut, 0);
+    const remainingTokens = input.budget.maxTokens === undefined
+        ? undefined
+        : Math.max(input.budget.maxTokens - input.cost.tokensIn - input.cost.tokensOut, 0);
     if (input.cost.actualUsd >= input.budget.maxUsd ||
         input.attemptsUsed >= input.budget.maxIterations ||
-        remainingTokens <= 0) {
+        (remainingTokens !== undefined && remainingTokens <= 0)) {
         return {
             pressure: "hard_limit",
             shouldStop: true,
             remainingBudgetUsd,
             remainingIterations,
-            remainingTokens,
+            ...(remainingTokens !== undefined ? { remainingTokens } : {}),
             recommendedIntervention: "stop_loop"
         };
     }
@@ -184,7 +186,7 @@ export function evaluateCostGovernor(input) {
             shouldStop: false,
             remainingBudgetUsd,
             remainingIterations,
-            remainingTokens,
+            ...(remainingTokens !== undefined ? { remainingTokens } : {}),
             recommendedIntervention: "compress_context"
         };
     }
@@ -193,7 +195,7 @@ export function evaluateCostGovernor(input) {
         shouldStop: false,
         remainingBudgetUsd,
         remainingIterations,
-        remainingTokens
+        ...(remainingTokens !== undefined ? { remainingTokens } : {})
     };
 }
 export function calculateCostPerOutcome(input) {

package/dist/vendor/presentation/motion.js

@@ -10,10 +10,6 @@ export function canAnimate(env = {}) {
     if (mode !== "human") {
         return false;
     }
-    const noColor = env.noColor ?? Object.prototype.hasOwnProperty.call(process.env, "NO_COLOR");
-    if (noColor) {
-        return false;
-    }
     const stdoutTty = env.stdoutIsTty ?? process.stdout.isTTY === true;
     if (!stdoutTty) {
         return false;

package/dist/workflow-state.js

@@ -145,7 +145,7 @@ function hashBudget(budget) {
         maxUsd: Number(budget.maxUsd.toFixed(4)),
         softLimitUsd: Number(budget.softLimitUsd.toFixed(4)),
         maxIterations: budget.maxIterations,
-        maxTokens: budget.maxTokens
+        ...(budget.maxTokens !== undefined ? { maxTokens: budget.maxTokens } : {})
     };
     return createHash("sha256").update(JSON.stringify(normalized)).digest("hex").slice(0, 12);
 }

package/package.json

@@ -1,81 +1,95 @@
-{
-  "name": "@martinloop/mcp",
-  "version": "0.5.6",
-  "mcpName": "io.github.Keesan12/martin-loop",
-  "private": false,
-  "type": "module",
-  "description": "MCP server for AI coding agents — verifier gates, stop limits, and Verified Handoffs.",
-  "license": "Apache-2.0",
-  "author": "MartinLoop contributors",
-  "homepage": "https://martinloop.com/",
-  "repository": {
-    "type": "git",
-    "url": "git+https://github.com/Keesan12/martin-loop.git",
-    "directory": "packages/mcp"
-  },
-  "bugs": {
-    "url": "https://github.com/Keesan12/martin-loop/issues"
-  },
-  "keywords": [
-    "mcp",
-    "model-context-protocol",
-    "martin-loop",
-    "ai-agent",
-    "claude",
-    "codex",
-    "martin_doctor",
-    "martin_triage_runs",
-    "martin_run_dossier",
-    "mcp-resources",
-    "mcp-prompts"
-  ],
-  "bin": {
-    "mcp": "./dist/server.js",
-    "martin-loop-mcp": "./dist/server.js"
-  },
-  "exports": {
-    "./server.json": "./server.json",
-    "./package.json": "./package.json"
-  },
-  "files": [
-    "dist",
-    "README.md",
-    "server.json"
-  ],
-  "engines": {
-    "node": ">=20.0.0"
-  },
-  "publishConfig": {
-    "access": "public"
-  },
-  "scripts": {
-    "build": "node ./scripts/build-package.mjs",
-    "prepack": "pnpm build",
-    "smoke:pack": "node ./scripts/smoke-package.mjs",
-    "smoke:published": "node ./scripts/smoke-published-package.mjs",
-    "smoke:published:pack": "node ./scripts/smoke-published-package.mjs --package-spec=pack",
-    "verify:release": "node --test ../../scripts/tests/publish-mcp-workflow.test.mjs ../../scripts/tests/mcp-publish-reliability.test.mjs ../../scripts/tests/mcp-release-docs.test.mjs",
-    "test:baseline": "node ./scripts/run-test-lane.mjs baseline",
-    "test": "vitest run --maxWorkers=1",
-    "lint": "tsc -p tsconfig.json --noEmit",
-    "start": "node dist/server.js",
-    "inspect:live": "node ./scripts/inspect-live.mjs",
-    "mcpb:build": "node ./mcpb/build-mcpb.mjs",
-    "mcpb:validate": "mcpb validate ./dist-mcpb/martinloop",
-    "mcpb:smoke": "node ./mcpb/smoke-mcpb.mjs"
-  },
-  "dependencies": {
-    "@modelcontextprotocol/sdk": "^1.29.0",
-    "@open-policy-agent/opa-wasm": "^1.10.0",
-    "@opentelemetry/api-logs": "^0.214.0",
-    "@opentelemetry/exporter-logs-otlp-http": "^0.214.0",
-    "@opentelemetry/resources": "^2.6.1",
-    "@opentelemetry/sdk-logs": "^0.214.0",
-    "ts-morph": "^21.0.0"
-  },
-  "devDependencies": {
-    "@anthropic-ai/mcpb": "2.1.2",
-    "@martin/contracts": "workspace:*",
-    "@martin/presentation": "workspace:*"
-  }
-}
+{
+  "name": "@martinloop/mcp",
+  "version": "0.5.8",
+  "mcpName": "io.github.Keesan12/martin-loop",
+  "private": false,
+  "type": "module",
+  "description": "MCP server for AI coding agents \u00e2\u20ac\u201d verifier gates, stop limits, and Verified Handoffs.",
+  "license": "Apache-2.0",
+  "author": "MartinLoop contributors",
+  "homepage": "https://martinloop.com/",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/Keesan12/martin-loop.git",
+    "directory": "packages/mcp"
+  },
+  "bugs": {
+    "url": "https://github.com/Keesan12/martin-loop/issues"
+  },
+  "keywords": [
+    "mcp",
+    "mcp-server",
+    "model-context-protocol",
+    "coding-agent",
+    "coding-agents",
+    "ai-coding-agent",
+    "ai-coding-agents",
+    "autonomous-coding",
+    "claude-code",
+    "codex",
+    "gemini-cli",
+    "cursor",
+    "vscode",
+    "agent-runtime",
+    "agent-verification",
+    "developer-tools",
+    "software-engineering",
+    "martin-loop"
+  ],
+  "bin": {
+    "mcp": "./dist/server.js",
+    "martin-loop-mcp": "./dist/server.js"
+  },
+  "exports": {
+    ".": {
+      "types": "./dist/server.d.ts",
+      "import": "./dist/server.js",
+      "default": "./dist/server.js"
+    },
+    "./server.json": "./server.json",
+    "./package.json": "./package.json"
+  },
+  "files": [
+    "dist",
+    "README.md",
+    "server.json"
+  ],
+  "engines": {
+    "node": ">=20.0.0"
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "scripts": {
+    "build": "node ./scripts/build-package.mjs",
+    "version:sync": "node ./scripts/version-sync.mjs",
+    "version:check": "node ./scripts/verify-version-consistency.mjs",
+    "prepack": "pnpm build",
+    "smoke:pack": "node ./scripts/smoke-package.mjs",
+    "smoke:published": "node ./scripts/smoke-published-package.mjs",
+    "smoke:published:pack": "node ./scripts/smoke-published-package.mjs --package-spec=pack",
+    "verify:release": "node --test ../../scripts/tests/publish-mcp-workflow.test.mjs ../../scripts/tests/mcp-publish-reliability.test.mjs ../../scripts/tests/mcp-release-docs.test.mjs",
+    "test:baseline": "node ./scripts/run-test-lane.mjs baseline",
+    "test": "vitest run --maxWorkers=1",
+    "lint": "tsc -p tsconfig.json --noEmit",
+    "start": "node dist/server.js",
+    "inspect:live": "node ./scripts/inspect-live.mjs",
+    "mcpb:build": "node ./mcpb/build-mcpb.mjs",
+    "mcpb:validate": "mcpb validate ./dist-mcpb/martinloop",
+    "mcpb:smoke": "node ./mcpb/smoke-mcpb.mjs"
+  },
+  "dependencies": {
+    "@modelcontextprotocol/sdk": "1.29.0",
+    "@open-policy-agent/opa-wasm": "^1.10.0",
+    "@opentelemetry/api-logs": "^0.221.0",
+    "@opentelemetry/exporter-logs-otlp-http": "^0.221.0",
+    "@opentelemetry/resources": "^2.10.0",
+    "@opentelemetry/sdk-logs": "^0.221.0",
+    "ts-morph": "^21.0.0"
+  },
+  "devDependencies": {
+    "@anthropic-ai/mcpb": "2.1.2",
+    "@martin/contracts": "workspace:*",
+    "@martin/presentation": "workspace:*"
+  }
+}

package/server.json

@@ -1,21 +1,21 @@
-{
-  "$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
-  "name": "io.github.Keesan12/martin-loop",
-  "title": "Martin Loop",
-  "description": "MCP server for AI coding agents — verifier gates, stop limits, and Verified Handoffs.",
-  "repository": {
-    "url": "https://github.com/Keesan12/martin-loop",
-    "source": "github"
-  },
-  "version": "0.5.6",
-  "packages": [
-    {
-      "registryType": "npm",
-      "identifier": "@martinloop/mcp",
-      "version": "0.5.6",
-      "transport": {
-        "type": "stdio"
-      }
-    }
-  ]
-}
+{
+  "$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
+  "name": "io.github.Keesan12/martin-loop",
+  "title": "Martin Loop",
+  "description": "One system around coding agents to run, verify, recover, and hand off software work.",
+  "repository": {
+    "url": "https://github.com/Keesan12/martin-loop",
+    "source": "github"
+  },
+  "version": "0.5.8",
+  "packages": [
+    {
+      "registryType": "npm",
+      "identifier": "@martinloop/mcp",
+      "version": "0.5.8",
+      "transport": {
+        "type": "stdio"
+      }
+    }
+  ]
+}