@martinloop/mcp 0.5.7 → 0.6.0

package/dist/arcade/capabilities.d.ts

@@ -18,15 +18,98 @@ export declare function buildArcadeToolDefinitions(capabilities: unknown): reado
     };
 }, {
     readonly name: "martin_arcade_status";
-    readonly description: "Read authoritative MartinLoop evidence for the Arcade view without changing run state.";
+    readonly description: "Read the read-only evidence projection used by the Arcade view. Provide loopId for one exact run or omit it to load the latest run. Use only for Arcade rendering; use martin_status for budget pressure or martin_run_dossier for full evidence. This tool reads persisted evidence and never changes run state.";
+    readonly annotations: {
+        readonly readOnlyHint: true;
+        readonly destructiveHint: false;
+        readonly idempotentHint: true;
+        readonly openWorldHint: false;
+    };
     readonly inputSchema: {
         readonly type: "object";
         readonly additionalProperties: false;
         readonly properties: {
             readonly loopId: {
                 readonly type: "string";
+                readonly description: "Optional MartinLoop run identifier. Omit it to read the latest persisted run.";
+            };
+        };
+    };
+    readonly outputSchema: {
+        readonly type: "object";
+        readonly additionalProperties: false;
+        readonly properties: {
+            readonly loopId: {
+                readonly type: "string";
+                readonly description: "Run identifier represented by this Arcade snapshot.";
+            };
+            readonly lifecycleState: {
+                readonly type: "string";
+                readonly description: "Current persisted lifecycle state.";
+            };
+            readonly completed: {
+                readonly type: "boolean";
+                readonly description: "Whether the run is outside an active lifecycle state.";
+            };
+            readonly displayOutcome: {
+                readonly anyOf: readonly [{
+                    readonly type: "string";
+                    readonly enum: readonly ["VERIFIED", "STOPPED", "NEEDS REVIEW"];
+                }, {
+                    readonly type: "null";
+                }];
+                readonly description: "Terminal verified-handoff outcome, or null while the run is active.";
+            };
+            readonly verification: {
+                readonly type: "object";
+                readonly additionalProperties: true;
+                readonly description: "Persisted verifier evidence summary.";
+            };
+            readonly receiptIntegrity: {
+                readonly type: "object";
+                readonly additionalProperties: true;
+                readonly description: "Persisted receipt-integrity verdict.";
+            };
+            readonly attempts: {
+                readonly type: "integer";
+                readonly minimum: 0;
+                readonly description: "Number of recorded attempts.";
+            };
+            readonly cost: {
+                readonly type: "object";
+                readonly additionalProperties: false;
+                readonly properties: {
+                    readonly actualUsd: {
+                        readonly type: "number";
+                    };
+                    readonly provenance: {
+                        readonly type: "string";
+                    };
+                };
+                readonly required: readonly ["actualUsd", "provenance"];
+            };
+            readonly budget: {
+                readonly type: "object";
+                readonly additionalProperties: false;
+                readonly properties: {
+                    readonly maxUsd: {
+                        readonly type: "number";
+                    };
+                    readonly remainingUsd: {
+                        readonly type: "number";
+                    };
+                };
+                readonly required: readonly ["maxUsd", "remainingUsd"];
+            };
+            readonly warnings: {
+                readonly type: "array";
+                readonly items: {
+                    readonly type: "string";
+                };
+                readonly description: "Evidence or interpretation warnings for the Arcade view.";
             };
         };
+        readonly required: readonly ["loopId", "lifecycleState", "completed", "displayOutcome", "verification", "receiptIntegrity", "attempts", "cost", "budget", "warnings"];
     };
     readonly _meta: {
         readonly ui: {

package/dist/arcade/capabilities.js

@@ -25,11 +25,84 @@ export function buildArcadeToolDefinitions(capabilities) {
         },
         {
             name: "martin_arcade_status",
-            description: "Read authoritative MartinLoop evidence for the Arcade view without changing run state.",
+            description: "Read the read-only evidence projection used by the Arcade view. Provide loopId for one exact run or omit it to load the latest run. Use only for Arcade rendering; use martin_status for budget pressure or martin_run_dossier for full evidence. This tool reads persisted evidence and never changes run state.",
+            annotations: {
+                readOnlyHint: true,
+                destructiveHint: false,
+                idempotentHint: true,
+                openWorldHint: false
+            },
             inputSchema: {
                 type: "object",
                 additionalProperties: false,
-                properties: { loopId: { type: "string" } }
+                properties: {
+                    loopId: {
+                        type: "string",
+                        description: "Optional MartinLoop run identifier. Omit it to read the latest persisted run."
+                    }
+                }
+            },
+            outputSchema: {
+                type: "object",
+                additionalProperties: false,
+                properties: {
+                    loopId: { type: "string", description: "Run identifier represented by this Arcade snapshot." },
+                    lifecycleState: { type: "string", description: "Current persisted lifecycle state." },
+                    completed: { type: "boolean", description: "Whether the run is outside an active lifecycle state." },
+                    displayOutcome: {
+                        anyOf: [
+                            { type: "string", enum: ["VERIFIED", "STOPPED", "NEEDS REVIEW"] },
+                            { type: "null" }
+                        ],
+                        description: "Terminal verified-handoff outcome, or null while the run is active."
+                    },
+                    verification: {
+                        type: "object",
+                        additionalProperties: true,
+                        description: "Persisted verifier evidence summary."
+                    },
+                    receiptIntegrity: {
+                        type: "object",
+                        additionalProperties: true,
+                        description: "Persisted receipt-integrity verdict."
+                    },
+                    attempts: { type: "integer", minimum: 0, description: "Number of recorded attempts." },
+                    cost: {
+                        type: "object",
+                        additionalProperties: false,
+                        properties: {
+                            actualUsd: { type: "number" },
+                            provenance: { type: "string" }
+                        },
+                        required: ["actualUsd", "provenance"]
+                    },
+                    budget: {
+                        type: "object",
+                        additionalProperties: false,
+                        properties: {
+                            maxUsd: { type: "number" },
+                            remainingUsd: { type: "number" }
+                        },
+                        required: ["maxUsd", "remainingUsd"]
+                    },
+                    warnings: {
+                        type: "array",
+                        items: { type: "string" },
+                        description: "Evidence or interpretation warnings for the Arcade view."
+                    }
+                },
+                required: [
+                    "loopId",
+                    "lifecycleState",
+                    "completed",
+                    "displayOutcome",
+                    "verification",
+                    "receiptIntegrity",
+                    "attempts",
+                    "cost",
+                    "budget",
+                    "warnings"
+                ]
             },
             _meta: { ui: { visibility: ["app"] } }
         }

package/dist/discovery-metadata.d.ts

@@ -4,6 +4,7 @@ export declare const MARTIN_MINIMAL_TOOL_NAMES: readonly ["martin_doctor", "mart
 export declare const MARTIN_DIAGNOSTIC_TOOL_NAMES: readonly ["martin_doctor", "martin_plan", "martin_preflight", "martin_estimate", "martin_logs", "martin_list_runs", "martin_triage_runs", "martin_get_run", "martin_get_attempt", "martin_get_verification_results", "martin_dossier", "martin_eval"];
 export declare const MARTIN_GITHUB_REVIEW_TOOL_NAMES: readonly ["martin_doctor", "martin_plan", "martin_preflight", "martin_dossier", "martin_eval", "martin_pr_summary", "martin_create_pr", "martin_review_pr"];
 export declare const MARTIN_PAID_REMOTE_TOOL_NAMES: readonly ["martin_doctor", "martin_plan", "martin_preflight", "martin_estimate", "martin_run", "martin_list_runs", "martin_triage_runs", "martin_get_run", "martin_get_verification_results", "martin_dossier", "martin_eval"];
+export declare const MARTIN_DIRECTORY_TOOL_NAMES: readonly ["martin_doctor", "martin_estimate", "martin_plan", "martin_preflight", "martin_run", "martin_pause", "martin_cancel", "martin_continue", "martin_list_runs", "martin_triage_runs", "martin_get_run", "martin_get_verification_results", "martin_dossier", "martin_logs", "martin_arcade", "martin_arcade_status"];
 export declare const MARTIN_RESOURCE_URIS: readonly ["martin://server/health", "martin://runs/recent", "martin://runs/triage", "martin://runs/latest", "martin://runs/latest/summary", "martin://runs/latest/proof-card", "martin://runs/latest/budget-status", "martin://runs/latest/verifier-evidence", "martin://runs/latest/rollback-evidence", "martin://policies/current", "martin://repo/risk-map", "martin://verifiers/results", "martin://agent/next-step", "martin://agent/governance-status", "martin://agent/mode-status", "martin://agent/memory-summary", "martin://guides/mcp-usage", "martin://guides/agent-start", "martin://guides/command-map", "martin://guides/ide-onboarding", "martin://guides/operating-rules", "martin://guides/publish-readiness"];
 export declare const MARTIN_RESOURCE_TEMPLATE_URIS: readonly ["martin://runs/{loopId}", "martin://runs/{loopId}/dossier", "martin://runs/{loopId}/attempts/{attemptIndex}", "martin://runs/{loopId}/verification"];
 export declare const MARTIN_PROMPT_NAMES: readonly ["martin_start", "martin_preflight", "martin_triage", "martin_resume", "martin_prove", "martin_release_check", "martin_governed_coding_kickoff", "martin_debug_failed_run", "martin_publish_readiness_review", "martin_triage_run_store", "safe_bug_fix", "write_tests_first", "small_refactor", "security_review", "pr_review", "release_check"];

package/dist/discovery-metadata.js

@@ -78,6 +78,24 @@ export const MARTIN_PAID_REMOTE_TOOL_NAMES = [
     "martin_dossier",
     "martin_eval"
 ];
+export const MARTIN_DIRECTORY_TOOL_NAMES = [
+    "martin_doctor",
+    "martin_estimate",
+    "martin_plan",
+    "martin_preflight",
+    "martin_run",
+    "martin_pause",
+    "martin_cancel",
+    "martin_continue",
+    "martin_list_runs",
+    "martin_triage_runs",
+    "martin_get_run",
+    "martin_get_verification_results",
+    "martin_dossier",
+    "martin_logs",
+    "martin_arcade",
+    "martin_arcade_status"
+];
 export const MARTIN_RESOURCE_URIS = [
     "martin://server/health",
     "martin://runs/recent",
@@ -136,6 +154,7 @@ export function buildMartinDiscoveryMetadata(serverVersion) {
         profiles: {
             minimal: [...MARTIN_MINIMAL_TOOL_NAMES],
             diagnostic: [...MARTIN_DIAGNOSTIC_TOOL_NAMES],
+            directory: [...MARTIN_DIRECTORY_TOOL_NAMES],
             "github-review": [...MARTIN_GITHUB_REVIEW_TOOL_NAMES],
             "full-local": [...MARTIN_TOOL_NAMES],
             starter: [...MARTIN_STARTER_TOOL_NAMES],

package/dist/package-version.d.ts

@@ -1 +1 @@
-export declare const MARTIN_MCP_PACKAGE_VERSION = "0.5.7";
+export declare const MARTIN_MCP_PACKAGE_VERSION = "0.6.0";

package/dist/package-version.js

@@ -1,3 +1,3 @@
 // Auto-generated by build — do not edit by hand.
 // Source of truth: packages/mcp/package.json#version
-export const MARTIN_MCP_PACKAGE_VERSION = "0.5.7";
+export const MARTIN_MCP_PACKAGE_VERSION = "0.6.0";

package/dist/server.d.ts

@@ -18,9 +18,12 @@
  */
 import { type Server as NodeHttpServer } from "node:http";
 import { Server } from "@modelcontextprotocol/sdk/server/index.js";
+export type MartinMcpToolProfile = "full" | "directory";
+export declare function shouldExposeMartinTool(name: string, profile: MartinMcpToolProfile): boolean;
 export declare function createMartinMcpServer(serverInfo?: {
     name?: string;
     version?: string;
+    toolProfile?: MartinMcpToolProfile;
 }): Server<{
     method: string;
     params?: {
@@ -55,7 +58,9 @@ export declare function createMartinMcpServer(serverInfo?: {
         } | undefined;
     } | undefined;
 }>;
-export declare function connectMartinMcpStdioServer(): Promise<Server<{
+export declare function connectMartinMcpStdioServer(options?: {
+    toolProfile?: MartinMcpToolProfile;
+}): Promise<Server<{
     method: string;
     params?: {
         [x: string]: unknown;
@@ -93,6 +98,7 @@ export interface MartinMcpHttpServerOptions {
     host?: string;
     port?: number;
     path?: string;
+    toolProfile?: MartinMcpToolProfile;
 }
 export interface MartinMcpHttpServerHandle {
     server: NodeHttpServer;
@@ -104,11 +110,13 @@ export interface MartinMcpHttpServerHandle {
 }
 export declare function parseMartinMcpServerArgs(argv: string[]): {
     transport: "stdio";
+    toolProfile?: MartinMcpToolProfile;
 } | {
     transport: "http";
     host: string;
     port: number;
     path: string;
+    toolProfile?: MartinMcpToolProfile;
 };
 export declare function connectMartinMcpHttpServer(options?: MartinMcpHttpServerOptions): Promise<MartinMcpHttpServerHandle>;
 export declare function isDirectExecutionEntry(entryPath: string | undefined, moduleUrl?: string): boolean;

package/dist/server.js

@@ -26,6 +26,7 @@ import { StdioServerTransport } from "@modelcontextprotocol/sdk/server/stdio.js"
 import { StreamableHTTPServerTransport } from "@modelcontextprotocol/sdk/server/streamableHttp.js";
 import { CallToolRequestSchema, GetPromptRequestSchema, ListPromptsRequestSchema, ListResourcesRequestSchema, ListResourceTemplatesRequestSchema, ListToolsRequestSchema, ReadResourceRequestSchema } from "@modelcontextprotocol/sdk/types.js";
 import { MARTIN_MCP_PACKAGE_VERSION } from "./package-version.js";
+import { MARTIN_DIRECTORY_TOOL_NAMES } from "./discovery-metadata.js";
 import { MARTIN_ARCADE_FALLBACK_TEXT, MARTIN_ARCADE_MIME_TYPE, MARTIN_ARCADE_RESOURCE_URI, MARTIN_ARCADE_UI_EXTENSION_ID, buildArcadeToolDefinitions, supportsMartinArcadeApp } from "./arcade/capabilities.js";
 import { listArcadeResources, readArcadeResource } from "./arcade/resource.js";
 import { readArcadeStatus } from "./arcade/status.js";
@@ -59,6 +60,10 @@ const stringArraySchema = {
     type: "array",
     items: { type: "string" }
 };
+const martinDirectoryToolNames = new Set(MARTIN_DIRECTORY_TOOL_NAMES);
+export function shouldExposeMartinTool(name, profile) {
+    return profile === "full" || martinDirectoryToolNames.has(name);
+}
 const loopPreviewSchema = {
     type: "object",
     additionalProperties: true,
@@ -839,6 +844,7 @@ const prReviewOutputSchema = {
     required: ["loopId", "verdict", "findings", "summary"]
 };
 export function createMartinMcpServer(serverInfo) {
+    const toolProfile = serverInfo?.toolProfile ?? "full";
     const server = new Server({
         name: serverInfo?.name ?? "martin-loop",
         version: serverInfo?.version ?? MARTIN_MCP_PACKAGE_VERSION
@@ -856,7 +862,7 @@ export function createMartinMcpServer(serverInfo) {
         tools: [
             {
                 name: "martin_run",
-                description: "Execute a governed Martin Loop run on a coding task and return the run summary, spend, artifact rollup, and verification state. This hard-blocks until martin_doctor, martin_estimate, martin_plan, and martin_preflight receipts exist for the same task.",
+                description: "Execute a governed MartinLoop coding run after MCP workflow admission is satisfied. Use when the user has authorized implementation, bug fixing, tests, or refactoring and doctor/estimate/plan/preflight receipts match this task. Do not use for question-only diagnosis or when policy, budget, credentials, or scope still need consent. Next: read martin_dossier and verifier evidence.",
                 annotations: {
                     destructiveHint: true,
                     idempotentHint: false,
@@ -961,7 +967,7 @@ export function createMartinMcpServer(serverInfo) {
             },
             {
                 name: "martin_status",
-                description: "Return the current budget and cost state of a Martin loop record.",
+                description: "Read the current budget, cost, remaining limits, and stop pressure for one MartinLoop run. Provide exactly one selector: loopJson for an inline record, file for a saved record, loopId for a run-store ID, or latest for the newest run; runsDir only changes the run-store root. Use for a compact budget check. Do not use for full events or artifacts; use martin_get_run or martin_run_dossier instead.",
                 annotations: {
                     readOnlyHint: true,
                     idempotentHint: true
@@ -973,11 +979,11 @@ export function createMartinMcpServer(serverInfo) {
                         loopJson: { type: "string", description: "JSON-serialized LoopRecord." },
                         file: {
                             type: "string",
-                            description: "Optional path under the Martin runs root to a loop-record.json file, a legacy .jsonl file, or a run-store directory."
+                            description: "Path under the Martin runs root to a loop-record.json file, a legacy .jsonl file, or a run-store directory. Mutually exclusive with loopJson, loopId, and latest."
                         },
                         loopId: {
                             type: "string",
-                            description: "Loop ID resolved as <runsDir>/<loopId>/loop-record.json."
+                            description: "Loop ID resolved as <runsDir>/<loopId>/loop-record.json. Mutually exclusive with loopJson, file, and latest."
                         },
                         runsDir: {
                             type: "string",
@@ -985,7 +991,7 @@ export function createMartinMcpServer(serverInfo) {
                         },
                         latest: {
                             const: true,
-                            description: "When true, loads the most recently updated loop record in the runs directory."
+                            description: "When true, loads the most recently updated loop record. Mutually exclusive with loopJson, file, and loopId."
                         }
                     },
                     oneOf: [
@@ -999,7 +1005,7 @@ export function createMartinMcpServer(serverInfo) {
             },
             {
                 name: "martin_doctor",
-                description: "Read-only environment and run-store diagnostics for the Martin MCP server. This is the expected first call before governed work begins.",
+                description: "Read-only environment, engine, workspace, and run-store diagnostics for MartinLoop. Use first for software work, fresh installs, suspicious state, or before retries. Do not use as proof that a task is complete. Next: call martin_estimate or martin_triage_runs depending on whether this is new work or failed prior work.",
                 annotations: {
                     readOnlyHint: true,
                     idempotentHint: true
@@ -1027,7 +1033,7 @@ export function createMartinMcpServer(serverInfo) {
             },
             {
                 name: "martin_plan",
-                description: "Read-only planning step that turns an objective into a scoped implementation plan, verifier proposal, policy pack, and risk recommendation. Use before preflight and before any real coding run.",
+                description: "Read-only planning step that turns an objective into bounded scope, verifier proposal, policy pack, and risk recommendation. Use for authorized software changes before preflight/run. Do not use to mutate files or replace the verifier. Next: call martin_preflight with the chosen scope, budget, and verifier.",
                 annotations: {
                     readOnlyHint: true,
                     idempotentHint: true
@@ -1062,7 +1068,7 @@ export function createMartinMcpServer(serverInfo) {
             },
             {
                 name: "martin_preflight",
-                description: "Read-only validation of a planned Martin run before any execution or spend. This is the last required step before martin_run.",
+                description: "Read-only validation of the exact run contract before execution or spend. Use after planning and before martin_run to check engine, verifier, path scope, and budget. Do not use as execution or completion proof. Next: call martin_run if allowed, otherwise resolve the reported blocker.",
                 annotations: {
                     readOnlyHint: true,
                     idempotentHint: true
@@ -1177,7 +1183,7 @@ export function createMartinMcpServer(serverInfo) {
             },
             {
                 name: "martin_pause",
-                description: "Record a durable pause request for a Martin run so humans and runtimes can see that execution should pause before risky follow-up work.",
+                description: "Write a durable pause receipt for one canonical MartinLoop run. Provide exactly one selector: file, loopId, or latest; runsDir changes the run-store root, while reason and requestedBy add audit context. Use for a temporary hold before risky follow-up work. This records a request and does not kill a process; use martin_cancel to abandon work or martin_continue to resume.",
                 annotations: {
                     destructiveHint: true,
                     idempotentHint: false
@@ -1186,12 +1192,12 @@ export function createMartinMcpServer(serverInfo) {
                     type: "object",
                     additionalProperties: false,
                     properties: {
-                        file: { type: "string" },
-                        loopId: { type: "string" },
-                        runsDir: { type: "string" },
-                        latest: { const: true },
-                        reason: { type: "string" },
-                        requestedBy: { type: "string" }
+                        file: { type: "string", description: "Path to one canonical run record or directory. Mutually exclusive with loopId and latest." },
+                        loopId: { type: "string", description: "Canonical MartinLoop run identifier. Mutually exclusive with file and latest." },
+                        runsDir: { type: "string", description: "Optional run-store root override used to resolve loopId or latest." },
+                        latest: { const: true, description: "When true, targets the latest canonical run. Mutually exclusive with file and loopId." },
+                        reason: { type: "string", description: "Optional non-empty reason recorded in the pause receipt." },
+                        requestedBy: { type: "string", description: "Optional human or runtime identity label recorded for audit context." }
                     },
                     oneOf: [{ required: ["file"] }, { required: ["loopId"] }, { required: ["latest"] }]
                 },
@@ -1199,7 +1205,7 @@ export function createMartinMcpServer(serverInfo) {
             },
             {
                 name: "martin_cancel",
-                description: "Record a durable cancellation request for a Martin run. This writes a control receipt; it does not silently kill a process without evidence.",
+                description: "Write a durable cancellation receipt for one canonical MartinLoop run. Provide exactly one selector: file, loopId, or latest; runsDir changes the run-store root, while reason and requestedBy add audit context. Use when work must be abandoned, not temporarily held. This records a request and does not kill a process; use martin_pause for a reversible hold.",
                 annotations: {
                     destructiveHint: true,
                     idempotentHint: false
@@ -1208,12 +1214,12 @@ export function createMartinMcpServer(serverInfo) {
                     type: "object",
                     additionalProperties: false,
                     properties: {
-                        file: { type: "string" },
-                        loopId: { type: "string" },
-                        runsDir: { type: "string" },
-                        latest: { const: true },
-                        reason: { type: "string" },
-                        requestedBy: { type: "string" }
+                        file: { type: "string", description: "Path to one canonical run record or directory. Mutually exclusive with loopId and latest." },
+                        loopId: { type: "string", description: "Canonical MartinLoop run identifier. Mutually exclusive with file and latest." },
+                        runsDir: { type: "string", description: "Optional run-store root override used to resolve loopId or latest." },
+                        latest: { const: true, description: "When true, targets the latest canonical run. Mutually exclusive with file and loopId." },
+                        reason: { type: "string", description: "Optional non-empty reason recorded in the cancellation receipt." },
+                        requestedBy: { type: "string", description: "Optional human or runtime identity label recorded for audit context." }
                     },
                     oneOf: [{ required: ["file"] }, { required: ["loopId"] }, { required: ["latest"] }]
                 },
@@ -1272,7 +1278,7 @@ export function createMartinMcpServer(serverInfo) {
             },
             {
                 name: "martin_triage_runs",
-                description: "Prioritize Martin runs that need operator or agent attention based on verification, lifecycle, and budget pressure.",
+                description: "Read-only prioritization of saved Martin runs that need attention. Use when the user says a prior attempt failed, asks what to fix next, or resumes an interrupted session. Do not use for a brand-new objective with no relevant run history. Next: inspect the selected run or dossier before retrying.",
                 annotations: {
                     readOnlyHint: true,
                     idempotentHint: true
@@ -1393,7 +1399,7 @@ export function createMartinMcpServer(serverInfo) {
             },
             {
                 name: "martin_run_dossier",
-                description: "Return the full governed execution dossier for one Martin run, including attempts, events, artifacts, and related discovery surfaces.",
+                description: "Read the full structured execution dossier for one MartinLoop run, including attempts, events, artifacts, verification, integrity, cost, and related discovery surfaces. Provide exactly one selector: file, loopId, or latest; runsDir changes the run-store root. Use for comprehensive evidence review. Do not use for a compact state check; use martin_get_run, or use martin_dossier when formatted sharing output is required.",
                 annotations: {
                     readOnlyHint: true,
                     idempotentHint: true
@@ -1404,13 +1410,13 @@ export function createMartinMcpServer(serverInfo) {
                     properties: {
                         file: {
                             type: "string",
-                            description: "Path to a canonical loop-record.json, legacy file, or run-store directory."
+                            description: "Path to a canonical loop-record.json, legacy file, or run-store directory. Mutually exclusive with loopId and latest."
                         },
-                        loopId: { type: "string", description: "Loop ID under the run store." },
-                        runsDir: { type: "string", description: "Optional runs-root override." },
+                        loopId: { type: "string", description: "Loop ID under the run store. Mutually exclusive with file and latest." },
+                        runsDir: { type: "string", description: "Optional run-store root override used to resolve loopId or latest." },
                         latest: {
                             const: true,
-                            description: "When true, loads the most recently updated loop record in the run store."
+                            description: "When true, loads the most recently updated loop record. Mutually exclusive with file and loopId."
                         }
                     },
                     oneOf: [
@@ -1423,7 +1429,7 @@ export function createMartinMcpServer(serverInfo) {
             },
             {
                 name: "martin_dossier",
-                description: "Alias for martin_run_dossier with support for JSON, Markdown, or GitHub PR formatting. Use after martin_run to understand what happened and whether the result is actually safe to trust.",
+                description: "Read a formatted evidence summary for one MartinLoop run. Provide exactly one selector: file, loopId, or latest; runsDir changes the run-store root. Set format to json, md, or github-pr; json is the default. Use after martin_run, before merge or release claims, or when sharing what happened. Do not use as a substitute for missing verifier evidence; use martin_run_dossier for the full structured record. Next: review verification results, retry, or hand off the receipt.",
                 annotations: {
                     readOnlyHint: true,
                     idempotentHint: true
@@ -1432,11 +1438,11 @@ export function createMartinMcpServer(serverInfo) {
                     type: "object",
                     additionalProperties: false,
                     properties: {
-                        file: { type: "string" },
-                        loopId: { type: "string" },
-                        runsDir: { type: "string" },
-                        latest: { const: true },
-                        format: { type: "string", enum: ["json", "md", "github-pr"] }
+                        file: { type: "string", description: "Path to one run record or directory. Mutually exclusive with loopId and latest." },
+                        loopId: { type: "string", description: "MartinLoop run identifier. Mutually exclusive with file and latest." },
+                        runsDir: { type: "string", description: "Optional run-store root override used to resolve loopId or latest." },
+                        latest: { const: true, description: "When true, loads the latest run. Mutually exclusive with file and loopId." },
+                        format: { type: "string", enum: ["json", "md", "github-pr"], description: "Output format. Defaults to json." }
                     },
                     oneOf: [{ required: ["file"] }, { required: ["loopId"] }, { required: ["latest"] }]
                 },
@@ -1552,7 +1558,7 @@ export function createMartinMcpServer(serverInfo) {
             },
             {
                 name: "martin_estimate",
-                description: "Estimate the cost, recommended route, and Pre Work Burn for an objective without spending anything. Use before martin_run to understand what a task will cost.",
+                description: "Read-only cost, route, and pre-work burn estimate for a software objective. Use before planning/preflight when a change may spend agent time or exceed budget. Do not use for casual questions or as permission to execute. Next: call martin_plan if the estimate is acceptable, or ask for consent if budget/risk is high.",
                 annotations: {
                     readOnlyHint: true,
                     idempotentHint: true
@@ -1608,7 +1614,7 @@ export function createMartinMcpServer(serverInfo) {
                 }
             },
             ...buildArcadeToolDefinitions(server.getClientCapabilities())
-        ]
+        ].filter((tool) => shouldExposeMartinTool(tool.name, toolProfile))
     }));
     server.setRequestHandler(ListResourcesRequestSchema, () => {
         const listed = listMartinResources();
@@ -1929,8 +1935,10 @@ function normalizeRunBudget(input) {
         maxTokens: input.maxTokens
     });
 }
-export async function connectMartinMcpStdioServer() {
-    const server = createMartinMcpServer();
+export async function connectMartinMcpStdioServer(options = {}) {
+    const server = createMartinMcpServer({
+        ...(options.toolProfile ? { toolProfile: options.toolProfile } : {})
+    });
     const transport = new StdioServerTransport();
     await server.connect(transport);
     return server;
@@ -1940,12 +1948,22 @@ export function parseMartinMcpServerArgs(argv) {
     let host = "127.0.0.1";
     let port = 3033;
     let path = "/mcp";
+    let toolProfile;
     for (let index = 0; index < argv.length; index += 1) {
         const token = argv[index];
         if (token === "--http") {
             transport = "http";
             continue;
         }
+        if (token === "--tool-profile") {
+            const next = argv[index + 1];
+            if (next !== "full" && next !== "directory") {
+                throw new Error(`Invalid --tool-profile value '${next ?? ""}'.`);
+            }
+            toolProfile = next;
+            index += 1;
+            continue;
+        }
         if (token === "--port") {
             const next = argv[index + 1];
             const parsed = Number(next);
@@ -1975,14 +1993,16 @@ export function parseMartinMcpServerArgs(argv) {
         }
     }
     return transport === "http"
-        ? { transport, host, port, path }
-        : { transport };
+        ? { transport, host, port, path, ...(toolProfile ? { toolProfile } : {}) }
+        : { transport, ...(toolProfile ? { toolProfile } : {}) };
 }
 export async function connectMartinMcpHttpServer(options = {}) {
     const host = options.host ?? "127.0.0.1";
     const port = options.port ?? 3033;
     const path = options.path ?? "/mcp";
-    const mcpServer = createMartinMcpServer();
+    const mcpServer = createMartinMcpServer({
+        ...(options.toolProfile ? { toolProfile: options.toolProfile } : {})
+    });
     const transport = new StreamableHTTPServerTransport({
         sessionIdGenerator: undefined
     });
@@ -2068,7 +2088,7 @@ if (isDirectExecution()) {
         await connectMartinMcpHttpServer(startup);
     }
     else {
-        await connectMartinMcpStdioServer();
+        await connectMartinMcpStdioServer({ toolProfile: startup.toolProfile });
     }
 }
 async function readJsonBody(req, res) {

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";
@@ -1135,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);
@@ -1568,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/package.json

@@ -1,10 +1,10 @@
 {
   "name": "@martinloop/mcp",
-  "version": "0.5.7",
+  "version": "0.6.0",
   "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.",
+  "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/",
@@ -41,6 +41,11 @@
     "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"
   },
@@ -74,12 +79,12 @@
     "mcpb:smoke": "node ./mcpb/smoke-mcpb.mjs"
   },
   "dependencies": {
-    "@modelcontextprotocol/sdk": "^1.29.0",
+    "@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",
+    "@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": {
@@ -87,4 +92,4 @@
     "@martin/contracts": "workspace:*",
     "@martin/presentation": "workspace:*"
   }
-}
+}

package/server.json

@@ -7,12 +7,12 @@
     "url": "https://github.com/Keesan12/martin-loop",
     "source": "github"
   },
-  "version": "0.5.7",
+  "version": "0.6.0",
   "packages": [
     {
       "registryType": "npm",
       "identifier": "@martinloop/mcp",
-      "version": "0.5.7",
+      "version": "0.6.0",
       "transport": {
         "type": "stdio"
       }