@martinloop/mcp 0.3.9 → 0.5.0

package/README.md

@@ -1,196 +1,137 @@
-# MartinLoop MCP
+# @martinloop/mcp
 
-<div align="center">
-  <img src="https://raw.githubusercontent.com/Keesan12/martin-loop/main/docs/assets/martinloop-logo.png" alt="MartinLoop" width="240">
+You give an AI agent a coding task. It runs. You get a bill.
 
-  **Stop runaway loops, bad code, and token waste.**
+But did it actually work? Did it pass your tests? How much did it spend? What files did it touch? Did it loop 47 times trying the same broken approach?
 
-  The governed MCP runtime for Claude Code, Codex, Gemini CLI, Cursor, and autonomous coding agents.
+You don't know. And that's the problem.
 
-  [![npm version](https://img.shields.io/npm/v/@martinloop/mcp?style=flat-square&logo=npm&logoColor=white)](https://www.npmjs.com/package/@martinloop/mcp)
-  [![npm downloads](https://img.shields.io/npm/dm/@martinloop/mcp?style=flat-square&label=downloads)](https://www.npmjs.com/package/@martinloop/mcp)
-  [![License: Apache-2.0](https://img.shields.io/badge/license-Apache--2.0-blue?style=flat-square&logo=apache)](https://github.com/Keesan12/martin-loop/blob/main/LICENSE)
-  [![Node](https://img.shields.io/badge/node-%3E%3D20-3c873a?style=flat-square&logo=nodedotjs&logoColor=white)](#requirements)
-  [![Glama score](https://glama.ai/mcp/servers/Keesan12/martin-loop/badges/score.svg)](https://glama.ai/mcp/servers/Keesan12/martin-loop)
-</div>
+## What This Does
 
-AI coding agents can write code. MartinLoop decides whether they are allowed to keep spending, whether the result is actually verified, and what evidence must remain for review.
+MartinLoop is a governed loop for AI coding agents. You tell it what to do, set a budget, and point it at your test suite. It runs the agent, checks your tests after every attempt, and stops when either the tests pass or the money runs out.
 
-It wraps agent execution with:
+When it's done, you get a receipt — not a vague summary, but a structured record: dollars spent, attempts made, verification results, files changed, and whether you got what you asked for.
 
-- hard USD, token, iteration, time, command, and file-change limits
-- verifier gates that must pass before completion
-- allowed and denied path contracts
-- preflight checks before any execution or spend
-- durable pause, continue, and cancel receipts
-- failure triage, run dossiers, evaluations, and PR-review evidence
-
-## Connect in one command
-
-| Host | Command |
-| --- | --- |
-| Claude Code | `claude mcp add martin-loop -- npx -y @martinloop/mcp` |
-| Codex | `codex mcp add martin-loop -- npx -y @martinloop/mcp` |
-| Gemini CLI | `gemini mcp add martin-loop -- npx -y @martinloop/mcp` |
-| Any stdio MCP host | `npx -y @martinloop/mcp` |
-
-Windows Claude Code:
+**One line to connect it:**
 
 ```sh
-claude mcp add --transport stdio --scope user martin-loop -- cmd /c npx -y @martinloop/mcp
+claude mcp add martin-loop -- npx -y @martinloop/mcp
 ```
 
-No API key is required to start and inspect the server. Live execution requires a supported coding-agent CLI and its normal authentication.
+That's it. Your agent now runs governed.
 
-## Why agents use MartinLoop
+## Real Numbers From Real Runs
 
-| Uncontrolled agent run | Governed MartinLoop run |
-| --- | --- |
-| The agent decides when it is done | Your verifier decides whether completion is valid |
-| Retries continue until the user notices | Hard budgets and stop conditions prevent open-ended spend |
-| Scope drifts across the repository | Allowed and denied paths constrain writes |
-| The final answer hides failed attempts | The dossier preserves attempts, costs, verification, and artifacts |
-| Process control is ephemeral | Pause, continue, and cancel actions leave durable receipts |
-| “Probably fixed” becomes accepted | Missing, failed, contradicted, or unknown verification stays incomplete |
+We tested this against live repos with real API spend:
 
-MartinLoop is not another coding agent. It is the enforcement and evidence layer around the agents you already use.
+| What happened | Without MartinLoop | With MartinLoop |
+|---|---|---|
+| Budget: $1.50 task | Agent spent **$28.42** | Agent stopped at **$1.20** |
+| Failing verifier | Retried indefinitely | Stopped after 3 attempts with diagnosis |
+| CLI not on PATH | "not available on PATH" (dead stop) | Auto-discovered in AppData, kept running |
+| `bun run lint && bun run test` | Passed `&&` as a literal arg (always fails) | Routed through shell, worked |
 
-## Agent operating contract
+These aren't hypotheticals. The $28 overshoot happened in production testing. We fixed the circuit breaker in `0.3.8`.
 
-Use this sequence for governed coding work:
+## Install
 
-```text
-martin_doctor
-  → martin_estimate
-  → martin_plan
-  → martin_preflight
-  → martin_run
-  → martin_dossier
-  → martin_eval
+### Claude Code
+```sh
+claude mcp add martin-loop -- npx -y @martinloop/mcp
 ```
 
-### Rules for agents
+Windows:
+```sh
+claude mcp add --transport stdio --scope user martin-loop -- cmd /c npx -y @martinloop/mcp
+```
 
-1. Start with `martin_doctor` to inspect the environment and run store.
-2. Call `martin_estimate` before spending.
-3. Keep the same objective and compatible scope through estimate, plan, preflight, and run.
-4. Prefer read-only tools until execution is explicitly authorized.
-5. Treat failed, contradicted, missing, or unknown verification as incomplete.
-6. Use `martin://agent/next-step` or `martin://guides/agent-start` when the next action is unclear.
-7. Do not use `martin_create_pr` with `execute: true` unless the user has explicitly authorized a GitHub write.
+### Codex
+```sh
+codex mcp add martin-loop -- npx -y @martinloop/mcp
+```
 
-`martin_run` intentionally hard-blocks until the required doctor, estimate, plan, and preflight receipts exist for the same task.
+### Gemini CLI
+```sh
+gemini mcp add martin-loop -- npx -y @martinloop/mcp
+```
 
-## What a governed run looks like
+### Any MCP Host
+```sh
+npx -y @martinloop/mcp
+```
 
-```text
-User objective:
-"Fix the auth regression. Budget: $3. Verify: npm test."
+## How a Governed Run Works
 
-doctor       checks environment, CLI availability, and run storage
-estimate     predicts route, spend, and pre-work burn without spending
-plan         defines scope, verifier proposal, policy pack, and risk
-preflight    validates the contract before execution
-run          executes inside budget, scope, policy, and verifier gates
-dossier      returns attempts, cost, verification, artifacts, and evidence paths
-eval         grades completion, verifier health, risk, and reviewability
 ```
+You: "Fix the auth bug. Budget $3. Verify: npm test"
 
-Every attempt is bounded by the run contract. A confident model answer does not override a failed verifier.
-
-## Proof, not promises
+  martin_doctor     →  checks CLI, auth, environment
+  martin_plan       →  scopes the task, sets constraints
+  martin_preflight  →  validates before any spend
+  martin_run        →  agent works inside budget + verifier gates
+  martin_dossier    →  receipt: $1.40 spent, 2 attempts, tests pass
+```
 
-This real governed run spent `$0.51` against a `$3.00` budget. The verifier passed and the receipt integrity was signed. MartinLoop still kept the result at `EVIDENCE_BOUNDARY` because rollback evidence had not been recorded.
+Every attempt runs your verifier. Every dollar is tracked. If the agent drifts off-task, the scope contract catches it. If it blows the budget, the circuit breaker kills the subprocess mid-stream — not after the bill arrives.
 
-<div align="center">
-  <img src="https://raw.githubusercontent.com/Keesan12/martin-loop/main/docs/assets/proof-receipt-live-governed.png" alt="MartinLoop governed run receipt showing spend, budget, verifier result, integrity, and evidence boundary" width="720">
-</div>
+## What Your Agent Gets
 
-Inspect the example receipt:
+### 21 Tools
 
-- [Markdown receipt](https://github.com/Keesan12/martin-loop/blob/main/docs/examples/proof-receipts/live-governed-run-receipt.md)
-- [JSON receipt](https://github.com/Keesan12/martin-loop/blob/main/docs/examples/proof-receipts/live-governed-run-receipt.json)
+**Run the loop:**
+`martin_doctor` `martin_plan` `martin_preflight` `martin_run` `martin_pause` `martin_continue` `martin_cancel`
 
-## Tool surface
+**Inspect results:**
+`martin_status` `martin_logs` `martin_dossier` `martin_eval` `martin_inspect` `martin_list_runs` `martin_get_run` `martin_get_attempt` `martin_get_verification_results` `martin_triage_runs`
 
-### Governed workflow
+**Ship the work:**
+`martin_pr_summary` `martin_create_pr` `martin_review_pr`
 
-- `martin_doctor` — inspect environment readiness; expected first call
-- `martin_estimate` — estimate cost and route without spending
-- `martin_plan` — produce scoped plan, verifier proposal, policy pack, and risk
-- `martin_preflight` — validate readiness before execution
-- `martin_run` — execute a governed coding task
-- `martin_pause` — record a durable pause request
-- `martin_continue` — record a durable resume request
-- `martin_cancel` — record a durable cancellation request
+### 11 Read-Only Resources
 
-### Inspection and review
+Your agent can pull context without side effects:
 
-- `martin_status`, `martin_logs`, `martin_inspect`
-- `martin_list_runs`, `martin_triage_runs`
-- `martin_get_run`, `martin_get_attempt`, `martin_get_verification_results`
-- `martin_run_dossier`, `martin_dossier`, `martin_eval`
-- `martin_pr_summary`, `martin_create_pr`, `martin_review_pr`
+`martin://runs/latest` · `martin://runs/latest/proof-card` · `martin://runs/latest/budget-status` · `martin://runs/latest/verifier-evidence` · `martin://runs/recent` · `martin://server/health` · `martin://policies/current` · `martin://agent/next-step` · `martin://guides/mcp-usage` · `martin://guides/agent-start` · `martin://repo/risk-map`
 
-### Read-only resources
+### Configuration Profiles
 
-The server exposes run summaries, receipts, budget status, verifier evidence, policies, health, agent guidance, and repository-risk context through `martin://` resources, including:
+Generate host config tuned to your workflow:
 
-```text
-martin://runs/latest
-martin://runs/latest/summary
-martin://runs/latest/receipt
-martin://runs/latest/budget-status
-martin://runs/latest/verifier-evidence
-martin://runs/recent
-martin://server/health
-martin://policies/current
-martin://agent/next-step
-martin://guides/agent-start
-martin://repo/risk-map
+```sh
+npx martin-loop mcp print-config --host claude --profile minimal        # run + inspect
+npx martin-loop mcp print-config --host claude --profile diagnostic     # + doctor + triage
+npx martin-loop mcp print-config --host claude --profile full-local     # all local tools
+npx martin-loop mcp print-config --host claude --profile github-review  # + PR workflow
 ```
 
-Use resources when the agent needs context without side effects.
-
-## Configuration profiles
-
-Generate host config tuned to the minimum surface needed:
+## What Happens When Things Go Wrong
 
-```sh
-npx martin-loop mcp print-config --host claude --profile minimal
-npx martin-loop mcp print-config --host claude --profile diagnostic
-npx martin-loop mcp print-config --host claude --profile full-local
-npx martin-loop mcp print-config --host claude --profile github-review
-```
+MartinLoop doesn't just report failures — it tries to fix them:
 
-- `minimal` — core run and inspection path
-- `diagnostic` — adds doctor and triage surfaces
-- `full-local` — all local tools
-- `github-review` — adds PR evidence and review workflow
+| Failure | Old behavior | Now |
+|---|---|---|
+| CLI not on PATH | Error message, dead stop | Searches npm global, homebrew, nvm, scoop — uses what it finds |
+| Verifier says "command not found" | Generic "verification failed" | Tells the next attempt: "bun is missing, install with `npm i -g bun`" |
+| `git restore` fails mid-rollback | Throws, leaves dirty state | Retries once, falls back to `git checkout`, cleans up |
+| Invalid `--profile` flag | Crashes | Warns, falls back to `minimal`, keeps running |
 
-## Trust boundaries
+## Who Uses This
 
-- Cost and token values include provenance: actual, estimated, or unavailable.
-- A verifier proves only the commands you configured, not every product requirement.
-- Receipt integrity must be verified before evidence is trusted externally.
-- Unknown or missing evidence never passes silently.
-- MartinLoop does not guarantee that an agent will produce correct code; it makes execution bounded, verification explicit, and failure reviewable.
+- **Engineers running overnight agent loops** — you need a kill switch that actually works, and a receipt in the morning
+- **Teams with shared API budgets** — you need per-task spend caps, not org-wide prayer
+- **Anyone reviewing agent-generated PRs** — the dossier shows what the agent tried, what passed, and what didn't
 
 ## Requirements
 
 - Node.js 20+
-- One supported coding-agent CLI for live execution: Claude Code, Codex, Gemini CLI, or an OpenAI-compatible route
-- Git repository for rollback-aware and changed-file workflows
+- One AI coding CLI: [Claude Code](https://docs.anthropic.com/claude-code), [Codex](https://github.com/openai/codex), or [Gemini CLI](https://github.com/google/gemini-cli)
 
 ## Links
 
-- [Glama server page](https://glama.ai/mcp/servers/Keesan12/martin-loop)
-- [npm: @martinloop/mcp](https://www.npmjs.com/package/@martinloop/mcp)
-- [GitHub source and issues](https://github.com/Keesan12/martin-loop)
-- [MCP setup guide](https://github.com/Keesan12/martin-loop/blob/main/docs/getting-started/mcp.md)
-- [MCP tool reference](https://github.com/Keesan12/martin-loop/blob/main/docs/reference/mcp-tools.md)
+- [martin-loop](https://www.npmjs.com/package/martin-loop) — the standalone CLI
+- [GitHub](https://github.com/Keesan12/martin-loop) — source and issues
 - [martinloop.com](https://martinloop.com)
 
 ## License
 
-Apache-2.0.
+Apache-2.0

package/dist/discovery-metadata.d.ts

@@ -4,7 +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_RESOURCE_URIS: readonly ["martin://server/health", "martin://runs/recent", "martin://runs/triage", "martin://runs/latest", "martin://runs/latest/summary", "martin://runs/latest/receipt", "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/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_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"];
 export interface MartinDiscoveryMetadata {

package/dist/discovery-metadata.js

@@ -84,7 +84,6 @@ export const MARTIN_RESOURCE_URIS = [
     "martin://runs/triage",
     "martin://runs/latest",
     "martin://runs/latest/summary",
-    "martin://runs/latest/receipt",
     "martin://runs/latest/proof-card",
     "martin://runs/latest/budget-status",
     "martin://runs/latest/verifier-evidence",
@@ -94,6 +93,7 @@ export const MARTIN_RESOURCE_URIS = [
     "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",

package/dist/resources.d.ts

@@ -6,7 +6,6 @@ export declare const MARTIN_STATIC_RESOURCE_URIS: {
     readonly triage: "martin://runs/triage";
     readonly latestRun: "martin://runs/latest";
     readonly latestSummary: "martin://runs/latest/summary";
-    readonly latestReceipt: "martin://runs/latest/receipt";
     readonly latestProofCard: "martin://runs/latest/proof-card";
     readonly latestBudgetStatus: "martin://runs/latest/budget-status";
     readonly latestVerifierEvidence: "martin://runs/latest/verifier-evidence";
@@ -22,8 +21,8 @@ export declare const MARTIN_STATIC_RESOURCE_URIS: {
     readonly operatingRulesGuide: "martin://guides/operating-rules";
     readonly publishReadinessGuide: "martin://guides/publish-readiness";
     readonly governanceStatus: "martin://agent/governance-status";
-    readonly memorySummary: "martin://agent/memory-summary";
     readonly modeStatus: "martin://agent/mode-status";
+    readonly memorySummary: "martin://agent/memory-summary";
 };
 export declare const MARTIN_RESOURCE_TEMPLATES: ResourceTemplate[];
 export declare const MARTIN_STATIC_RESOURCES: Resource[];

package/dist/resources.js

@@ -1,6 +1,6 @@
 import { readFile } from "node:fs/promises";
-import { join } from "node:path";
 import { homedir } from "node:os";
+import { join } from "node:path";
 import { buildMartinDiscoveryMetadata } from "./discovery-metadata.js";
 import { MARTIN_MCP_PACKAGE_VERSION } from "./package-version.js";
 import { inspectLoopTool } from "./tools/inspect-loop.js";
@@ -19,7 +19,6 @@ export const MARTIN_STATIC_RESOURCE_URIS = {
     triage: "martin://runs/triage",
     latestRun: "martin://runs/latest",
     latestSummary: "martin://runs/latest/summary",
-    latestReceipt: "martin://runs/latest/receipt",
     latestProofCard: "martin://runs/latest/proof-card",
     latestBudgetStatus: "martin://runs/latest/budget-status",
     latestVerifierEvidence: "martin://runs/latest/verifier-evidence",
@@ -35,8 +34,8 @@ export const MARTIN_STATIC_RESOURCE_URIS = {
     operatingRulesGuide: "martin://guides/operating-rules",
     publishReadinessGuide: "martin://guides/publish-readiness",
     governanceStatus: "martin://agent/governance-status",
-    memorySummary: "martin://agent/memory-summary",
-    modeStatus: "martin://agent/mode-status"
+    modeStatus: "martin://agent/mode-status",
+    memorySummary: "martin://agent/memory-summary"
 };
 export const MARTIN_RESOURCE_TEMPLATES = [
     {
@@ -100,18 +99,11 @@ export const MARTIN_STATIC_RESOURCES = [
         description: "Compact latest-run summary for context-constrained agents.",
         mimeType: "application/json"
     },
-    {
-        uri: MARTIN_STATIC_RESOURCE_URIS.latestReceipt,
-        name: "martin_latest_receipt",
-        title: "Martin Latest Receipt",
-        description: "Canonical structured receipt for the latest run; use this before optional proof-card views.",
-        mimeType: "application/json"
-    },
     {
         uri: MARTIN_STATIC_RESOURCE_URIS.latestProofCard,
         name: "martin_latest_proof_card",
         title: "Martin Latest Proof Card",
-        description: "Optional Markdown proof view derived from the latest receipt.",
+        description: "Small Markdown receipt showing what happened, what Martin prevented, and the next safe action.",
         mimeType: "text/markdown"
     },
     {
@@ -212,19 +204,19 @@ export const MARTIN_STATIC_RESOURCES = [
         description: "Proactive governance status: whether work is governed, budget remaining, unreceipted runs, and recommended next action. Read this before starting agent work.",
         mimeType: "application/json"
     },
+    {
+        uri: MARTIN_STATIC_RESOURCE_URIS.modeStatus,
+        name: "martin_mode_status",
+        title: "Martin Mode Status",
+        description: "Current MartinLoop working mode, whether it is inherited or explicitly configured, and how to switch it.",
+        mimeType: "application/json"
+    },
     {
         uri: MARTIN_STATIC_RESOURCE_URIS.memorySummary,
         name: "martin_memory_summary",
         title: "Martin Memory Summary",
         description: "MartinLoop persistent memory: user preferences, consent signals, budget patterns, and behavioral observations aggregated over time. Read at session start to personalize recommendations.",
         mimeType: "application/json"
-    },
-    {
-        uri: MARTIN_STATIC_RESOURCE_URIS.modeStatus,
-        name: "martin_mode_status",
-        title: "Martin Mode Status",
-        description: "Current Martin working mode (auto, plan, or edits) and consent state. Read before starting agent work to confirm whether the user expects autonomous execution, plan approval, or per-edit review.",
-        mimeType: "application/json"
     }
 ];
 export function listMartinResources() {
@@ -260,8 +252,6 @@ export async function readMartinResource(input) {
             return jsonResource(input.uri, withDiscoveryMetadata(await martinRunDossierTool({ latest: true, runsDir: context.runsRoot }), context.runsRoot));
         case MARTIN_STATIC_RESOURCE_URIS.latestSummary:
             return jsonResource(input.uri, withDiscoveryMetadata(await buildLatestSummaryResource(context.runsRoot), context.runsRoot));
-        case MARTIN_STATIC_RESOURCE_URIS.latestReceipt:
-            return jsonResource(input.uri, withDiscoveryMetadata(await buildLatestReceiptResource(context.runsRoot), context.runsRoot));
         case MARTIN_STATIC_RESOURCE_URIS.latestProofCard:
             return textResource(input.uri, "text/markdown", await buildLatestProofCardResource(context.runsRoot));
         case MARTIN_STATIC_RESOURCE_URIS.latestBudgetStatus:
@@ -284,7 +274,7 @@ export async function readMartinResource(input) {
         case MARTIN_STATIC_RESOURCE_URIS.governanceStatus:
             return jsonResource(input.uri, withDiscoveryMetadata(await buildGovernanceStatusResource(context.runsRoot, context.workingDirectory), context.runsRoot));
         case MARTIN_STATIC_RESOURCE_URIS.modeStatus:
-            return jsonResource(input.uri, withDiscoveryMetadata(await buildModeStatusResource(), context.runsRoot));
+            return jsonResource(input.uri, withDiscoveryMetadata(await buildModeStatusResource(context.workingDirectory), context.runsRoot));
         case MARTIN_STATIC_RESOURCE_URIS.agentNextStep:
             return jsonResource(input.uri, withDiscoveryMetadata(await buildAgentNextStepResource(context.runsRoot), context.runsRoot));
         case MARTIN_STATIC_RESOURCE_URIS.mcpUsageGuide:
@@ -433,44 +423,6 @@ async function buildLatestSummaryResource(runsRoot) {
         warnings: [...latest.detail.warnings, ...verification.warnings]
     };
 }
-async function buildLatestReceiptResource(runsRoot) {
-    const latest = await loadLatestRunForCompactResource(runsRoot);
-    if (latest.empty || !latest.detail) {
-        return compactEmptyState("latest-receipt", runsRoot, latest.warnings);
-    }
-    const ledgerEvents = await readLedgerEvents(latest.detail);
-    const loop = latest.detail.loop;
-    const verification = buildVerificationHistorySnapshot(loop, ledgerEvents);
-    const preview = buildPersistedLoopPreview(loop);
-    return {
-        kind: "latest-receipt",
-        loop: preview,
-        task: {
-            title: loop.task?.title,
-            objective: loop.task?.objective,
-            verificationPlan: loop.task?.verificationPlan ?? []
-        },
-        receiptIntegrity: latest.detail.loop.receiptIntegrity,
-        verification: {
-            status: verification.latestVerification?.passed === true
-                ? "passed"
-                : verification.latestVerification?.passed === false
-                    ? "failed"
-                    : "unavailable",
-            summary: verification.latestVerification?.summary,
-            latest: verification.latestVerification,
-            count: verification.verificationCount
-        },
-        whatHappened: loop.attempts.at(-1)?.summary ?? verification.latestVerification?.summary ?? loop.task?.objective,
-        whatMartinPrevented: describePrevention(loop),
-        nextSafeAction: inferAgentNextStep(loop, verification),
-        proofCard: {
-            artifactGuaranteed: false,
-            resource: MARTIN_STATIC_RESOURCE_URIS.latestProofCard
-        },
-        warnings: [...latest.detail.warnings, ...verification.warnings]
-    };
-}
 async function buildLatestBudgetStatusResource(runsRoot) {
     const latest = await loadLatestRunForCompactResource(runsRoot);
     if (latest.empty || !latest.detail) {
@@ -601,7 +553,7 @@ async function buildLatestProofCardResource(runsRoot) {
             "",
             "What happened: Martin has not found a local run record in this runs root.",
             "What Martin prevented: unknown until a governed run executes.",
-            "Next safe action: call `martin_doctor`, run `npx martin-loop demo`, then inspect `martin://runs/latest/receipt` or `martin://runs/latest/summary`.",
+            "Next safe action: call `martin_doctor`, run `npx martin-loop demo`, then inspect `martin://runs/latest/summary`.",
             "",
             "Estimate note: no cost or token savings are claimed without run evidence.",
             ""
@@ -708,6 +660,33 @@ async function buildGovernanceStatusResource(runsRoot, workingDirectory) {
         warning: governed ? undefined : "This session is NOT governed. Complete the required sequence before making changes."
     };
 }
+async function buildModeStatusResource(workingDirectory) {
+    const configPath = join(homedir(), ".martin", "config.json");
+    let config = {};
+    try {
+        config = JSON.parse(await readFile(configPath, "utf8"));
+    }
+    catch {
+        // Fresh config means the implicit auto default is in effect.
+    }
+    const projectMode = config.projectOverrides?.[workingDirectory];
+    const defaultMode = config.defaultMode ?? "auto";
+    const effectiveMode = projectMode ?? defaultMode;
+    return {
+        kind: "mode-status",
+        effectiveMode,
+        defaultMode,
+        scope: projectMode ? "project" : config.defaultMode ? "global" : "implicit_default",
+        configured: Boolean(projectMode || config.defaultMode),
+        projectOverride: projectMode ?? null,
+        workingDirectory,
+        switchCommands: {
+            auto: "martin mode auto",
+            plan: "martin mode plan",
+            edits: "martin mode edits"
+        }
+    };
+}
 function buildCurrentPoliciesResource(workingDirectory) {
     const signals = inspectRepoSignals(workingDirectory);
     const recommended = buildPolicyPackDefinition(undefined, signals);
@@ -751,14 +730,14 @@ function inferAgentNextStep(loop, verification) {
         return {
             action: "triage_before_retry",
             toolOrResource: "martin_triage_runs",
-            instruction: "Call `martin_triage_runs` and inspect the latest receipt before spending another attempt."
+            instruction: "Call `martin_triage_runs` and inspect the proof card before spending another attempt."
         };
     }
     if (loop.status === "completed" && verification.latestVerification?.passed === true) {
         return {
             action: "prove_and_share",
-            toolOrResource: MARTIN_STATIC_RESOURCE_URIS.latestReceipt,
-            instruction: "Read the latest receipt and full dossier before sharing or promoting the result; generate a proof card only when a visual artifact is explicitly needed."
+            toolOrResource: MARTIN_STATIC_RESOURCE_URIS.latestProofCard,
+            instruction: "Read the proof card and full dossier before sharing or promoting the result."
         };
     }
     return {
@@ -783,14 +762,14 @@ Martin Loop exposes governed coding workflows over MCP. Use the server health an
 2. Use the \`martin_governed_coding_kickoff\` prompt to frame a governed coding request.
 3. Call \`martin_preflight\` before \`martin_run\` when the task or safety envelope is non-trivial.
 4. After execution, inspect \`${MARTIN_STATIC_RESOURCE_URIS.recentRuns}\`, \`martin://runs/{loopId}\`, and \`martin://runs/{loopId}/verification\`.
-5. For low-context agents, read \`${MARTIN_STATIC_RESOURCE_URIS.agentNextStep}\`, \`${MARTIN_STATIC_RESOURCE_URIS.latestSummary}\`, or \`${MARTIN_STATIC_RESOURCE_URIS.latestReceipt}\` before asking for full JSON. Treat \`${MARTIN_STATIC_RESOURCE_URIS.latestProofCard}\` as an optional derived view.
+5. For low-context agents, read \`${MARTIN_STATIC_RESOURCE_URIS.agentNextStep}\`, \`${MARTIN_STATIC_RESOURCE_URIS.latestSummary}\`, or \`${MARTIN_STATIC_RESOURCE_URIS.latestProofCard}\` before asking for full JSON.
 6. Read \`${MARTIN_STATIC_RESOURCE_URIS.triage}\` or call \`martin_triage_runs\` to prioritize which run needs attention first.
 7. Use \`martin_debug_failed_run\` when a loop exits failed, budget-bound, or escalated.
 
 ## Current Martin MCP Surface
 
 - Tools: \`martin_run\`, \`martin_inspect\`, \`martin_status\`, \`martin_doctor\`, \`martin_preflight\`, \`martin_list_runs\`, \`martin_triage_runs\`, \`martin_get_run\`, \`martin_get_attempt\`, \`martin_get_verification_results\`, \`martin_run_dossier\`
-- Static resources: \`${MARTIN_STATIC_RESOURCE_URIS.serverHealth}\`, \`${MARTIN_STATIC_RESOURCE_URIS.recentRuns}\`, \`${MARTIN_STATIC_RESOURCE_URIS.triage}\`, \`${MARTIN_STATIC_RESOURCE_URIS.latestSummary}\`, \`${MARTIN_STATIC_RESOURCE_URIS.latestReceipt}\`, \`${MARTIN_STATIC_RESOURCE_URIS.latestProofCard}\`, \`${MARTIN_STATIC_RESOURCE_URIS.latestBudgetStatus}\`, \`${MARTIN_STATIC_RESOURCE_URIS.latestVerifierEvidence}\`, \`${MARTIN_STATIC_RESOURCE_URIS.latestRollbackEvidence}\`, \`${MARTIN_STATIC_RESOURCE_URIS.agentNextStep}\`, \`${MARTIN_STATIC_RESOURCE_URIS.mcpUsageGuide}\`, \`${MARTIN_STATIC_RESOURCE_URIS.agentStartGuide}\`, \`${MARTIN_STATIC_RESOURCE_URIS.publishReadinessGuide}\`
+- Static resources: \`${MARTIN_STATIC_RESOURCE_URIS.serverHealth}\`, \`${MARTIN_STATIC_RESOURCE_URIS.recentRuns}\`, \`${MARTIN_STATIC_RESOURCE_URIS.triage}\`, \`${MARTIN_STATIC_RESOURCE_URIS.latestSummary}\`, \`${MARTIN_STATIC_RESOURCE_URIS.latestProofCard}\`, \`${MARTIN_STATIC_RESOURCE_URIS.latestBudgetStatus}\`, \`${MARTIN_STATIC_RESOURCE_URIS.latestVerifierEvidence}\`, \`${MARTIN_STATIC_RESOURCE_URIS.latestRollbackEvidence}\`, \`${MARTIN_STATIC_RESOURCE_URIS.agentNextStep}\`, \`${MARTIN_STATIC_RESOURCE_URIS.governanceStatus}\`, \`${MARTIN_STATIC_RESOURCE_URIS.modeStatus}\`, \`${MARTIN_STATIC_RESOURCE_URIS.memorySummary}\`, \`${MARTIN_STATIC_RESOURCE_URIS.mcpUsageGuide}\`, \`${MARTIN_STATIC_RESOURCE_URIS.agentStartGuide}\`, \`${MARTIN_STATIC_RESOURCE_URIS.publishReadinessGuide}\`
 - Resource templates: \`martin://runs/{loopId}\`, \`martin://runs/{loopId}/attempts/{attemptIndex}\`, \`martin://runs/{loopId}/verification\`
 - Prompts: \`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\`
 
@@ -817,7 +796,7 @@ Use Martin Loop as the local governor before you spend agent tokens or retry a f
 2. If no runs exist, call \`martin_doctor\`, then \`martin_preflight\`.
 3. If a run exists, read \`${MARTIN_STATIC_RESOURCE_URIS.latestSummary}\` before reading full run JSON.
 4. If the verifier failed, use prompt \`martin_debug_failed_run\` or \`martin_triage\`.
-5. If you need a shareable receipt, read \`${MARTIN_STATIC_RESOURCE_URIS.latestReceipt}\` first. Generate or inspect \`${MARTIN_STATIC_RESOURCE_URIS.latestProofCard}\` only when a visual artifact is explicitly required.
+5. If you need a shareable receipt, read \`${MARTIN_STATIC_RESOURCE_URIS.latestProofCard}\`.
 
 ## Install Profiles
 
@@ -855,8 +834,7 @@ Use this guide when an IDE or agent needs to know which Martin surface to call n
 
 - Need the smallest next action: \`${MARTIN_STATIC_RESOURCE_URIS.agentNextStep}\`
 - Need a quick receipt: \`${MARTIN_STATIC_RESOURCE_URIS.latestSummary}\`
-- Need the structured receipt source of truth: \`${MARTIN_STATIC_RESOURCE_URIS.latestReceipt}\`
-- Need an optional visual proof object: \`${MARTIN_STATIC_RESOURCE_URIS.latestProofCard}\`
+- Need a shareable proof object: \`${MARTIN_STATIC_RESOURCE_URIS.latestProofCard}\`
 - Need a full run review: \`martin_dossier\`
 - Need to decide whether to retry: \`martin_triage_runs\`
 - Need IDE setup guidance: \`${MARTIN_STATIC_RESOURCE_URIS.ideOnboardingGuide}\`
@@ -939,32 +917,6 @@ Use this guide when reviewing whether the public MCP package is ready to publish
 - If a discovery helper exists but is not yet wired into the server, report that as an integration gap instead of treating the capability as fully shipped.
 `;
 }
-async function buildModeStatusResource() {
-    let currentMode = "auto";
-    let modeConfigured = false;
-    try {
-        const config = JSON.parse(await readFile(join(homedir(), ".martin", "config.json"), "utf8"));
-        if (config.defaultMode) {
-            currentMode = config.defaultMode;
-            modeConfigured = true;
-        }
-    }
-    catch { /* fresh install — default to auto */ }
-    return {
-        kind: "mode-status",
-        currentMode,
-        modeConfigured,
-        modes: {
-            auto: "MartinLoop governs autonomously — estimate, preflight, run, receipt without per-step approval.",
-            plan: "MartinLoop shows the proposed plan before executing. Agent waits for user approval.",
-            edits: "MartinLoop shows each file change before writing. Maximum human control."
-        },
-        agentGuidance: modeConfigured
-            ? `User has explicitly set mode to "${currentMode}". Respect this preference during the session.`
-            : "Mode not explicitly configured. Defaulting to auto. Suggest running `martin mode auto|plan|edits` to set a preference.",
-        changeCommand: "martin mode auto | plan | edits"
-    };
-}
 function withDiscoveryMetadata(value, runsRoot) {
     return {
         metadata: {

package/dist/server-validation.d.ts

@@ -1,4 +1,4 @@
-type ToolName = "martin_run" | "martin_inspect" | "martin_status" | "martin_doctor" | "martin_estimate" | "martin_plan" | "martin_preflight" | "martin_logs" | "martin_cancel" | "martin_pause" | "martin_continue" | "martin_list_runs" | "martin_triage_runs" | "martin_get_run" | "martin_get_attempt" | "martin_get_verification_results" | "martin_run_dossier" | "martin_dossier" | "martin_eval" | "martin_pr_summary" | "martin_create_pr" | "martin_review_pr";
+type ToolName = "martin_run" | "martin_inspect" | "martin_status" | "martin_doctor" | "martin_plan" | "martin_preflight" | "martin_estimate" | "martin_logs" | "martin_cancel" | "martin_pause" | "martin_continue" | "martin_list_runs" | "martin_triage_runs" | "martin_get_run" | "martin_get_attempt" | "martin_get_verification_results" | "martin_run_dossier" | "martin_dossier" | "martin_eval" | "martin_pr_summary" | "martin_create_pr" | "martin_review_pr";
 export { sanitizeToolErrorMessage } from "./tools/tool-errors.js";
 export declare function validateToolInput(name: ToolName, args: unknown): unknown;
 export declare function resolveSafeRepoRoot(repoRoot?: string, workspaceRoot?: string): string;