@martinloop/mcp 0.5.1 → 0.5.5

package/README.md

@@ -6,11 +6,31 @@ But did it actually work? Did it pass your tests? How much did it spend? What fi
 
 You don't know. And that's the problem.
 
+## One system around the coding agent
+
+MartinLoop is the execution-control system around coding agents. The coding agent still performs the software work. MartinLoop connects the run from Definition of Done through preflight, control, verification, recovery evidence, receipts, and post-run analysis.
+
+```text
+DEFINE -> PREFLIGHT -> CONTROL -> VERIFY -> RECOVER -> PROVE -> ANALYZE
+```
+
+The product-level flow is **Definition of Done -> Controlled Run -> Verified Handoff**.
+
+Through MCP, compatible hosts can use the same MartinLoop lifecycle without giving up the host's own model selection. MartinLoop does not inject a hidden fallback model.
+
+For agent-readable product context see [`../../llms.txt`](../../llms.txt), [`../../llms-full.txt`](../../llms-full.txt), and [`../../docs/for-agents.md`](../../docs/for-agents.md).
+
 ## What This Does
 
-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.
+MartinLoop governs AI coding-agent execution. You define what the run needs to accomplish, set execution boundaries such as budget and verifier checks, and let the configured coding agent do the work inside that contract.
+
+When it's done, you get a receipt — not a vague summary, but a structured record: dollars spent when available, attempts made, verification results, files changed, recovery state, and what the available evidence established.
+
+The final governed outcome is one of:
 
-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.
+- `VERIFIED` when the configured evidence supports the Definition of Done
+- `STOPPED` when a configured hard boundary ends the run
+- `NEEDS REVIEW` when completion cannot be established from the available evidence
 
 **One line to connect it:**
 
@@ -18,7 +38,7 @@ When it's done, you get a receipt — not a vague summary, but a structured reco
 claude mcp add martin-loop -- npx -y @martinloop/mcp
 ```
 
-That's it. Your agent now runs governed.
+That's it. Your host can now use MartinLoop's governed run and evidence surfaces.
 
 ## Real Numbers From Real Runs
 
@@ -37,27 +57,27 @@ These aren't hypotheticals. The $28 overshoot happened in production testing. We
 
 ### Claude Code
 ```sh
-claude mcp add martin-loop -- npx -y @martinloop/mcp
+claude mcp add martin-loop -- npx -y @martinloop/mcp@0.5.5
 ```
 
 Windows:
 ```sh
-claude mcp add --transport stdio --scope user martin-loop -- cmd /c npx -y @martinloop/mcp
+claude mcp add --transport stdio --scope user martin-loop -- cmd /c npx -y @martinloop/mcp@0.5.5
 ```
 
 ### Codex
 ```sh
-codex mcp add martin-loop -- npx -y @martinloop/mcp
+codex mcp add martin-loop -- npx -y @martinloop/mcp@0.5.5
 ```
 
 ### Gemini CLI
 ```sh
-gemini mcp add martin-loop -- npx -y @martinloop/mcp
+gemini mcp add martin-loop -- npx -y @martinloop/mcp@0.5.5
 ```
 
 ### Any MCP Host
 ```sh
-npx -y @martinloop/mcp
+npx -y @martinloop/mcp@0.5.5
 ```
 
 ## How a Governed Run Works
@@ -69,14 +89,16 @@ You: "Fix the auth bug. Budget $3. Verify: npm test"
   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
+  martin_dossier    →  receipt: spend, attempts, verifier evidence, final outcome
 ```
 
-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.
+Every attempt can be checked by your configured verifier. Budget and policy controls stay attached to the run. If the agent drifts off-task, the scope contract can block the change. If a hard spend boundary is reached, the run stops according to policy instead of silently retrying forever.
 
 ## What Your Agent Gets
 
-### 21 Tools
+### MCP Tools
+
+The exact tool set is discoverable from the running MCP server with `tools/list`; do not rely on a hard-coded count in documentation.
 
 **Run the loop:**
 `martin_doctor` `martin_plan` `martin_preflight` `martin_run` `martin_pause` `martin_continue` `martin_cancel`
@@ -87,7 +109,9 @@ Every attempt runs your verifier. Every dollar is tracked. If the agent drifts o
 **Ship the work:**
 `martin_pr_summary` `martin_create_pr` `martin_review_pr`
 
-### 11 Read-Only Resources
+### Read-Only Resources
+
+The exact resource set is discoverable from the running MCP server; this documentation names the primary public resources without treating a count as a release invariant.
 
 Your agent can pull context without side effects:
 
@@ -106,20 +130,33 @@ npx martin-loop mcp print-config --host claude --profile github-review  # + PR w
 
 ## What Happens When Things Go Wrong
 
-MartinLoop doesn't just report failures — it tries to fix them:
+MartinLoop does not round failure into success. It preserves the evidence and follows the configured recovery path while budget and policy still allow useful work.
 
 | 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`" |
+| Verifier says "command not found" | Generic "verification failed" | Carries specific failure context into the next allowed attempt |
 | `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 |
 
+## Codex compatibility in 0.5.5
+
+MartinLoop no longer assumes one Codex host or one fixed Codex flag set. The CLI resolves the exact Codex executable, reads its advertised capabilities, negotiates a supported write strategy, proves that strategy before reporting launch readiness, and reuses the same contract for the governed run.
+
+That means MCP hosts can point MartinLoop at different Codex installations without requiring a documentation-specific approval or sandbox flag to exist everywhere.
+
+## Presentation and evidence
+
+MCP responses are Markdown-first for humans while retaining structured content for agents and automation. The presentation layer does not rewrite governed truth.
+
+MartinLoop Arcade is a terminal-only experience. It does not run inside MCP and cannot influence MCP evidence, budgets, verification, or final outcomes.
+
 ## Who Uses This
 
 - **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
+- **Teams tired of stitching together point tools** — you want one execution-control lifecycle around coding-agent work from preflight through post-run analysis
 
 ## Requirements
 
@@ -129,6 +166,7 @@ MartinLoop doesn't just report failures — it tries to fix them:
 ## Links
 
 - [martin-loop](https://www.npmjs.com/package/martin-loop) — the standalone CLI
+- [MartinLoop for AI Agents](../../docs/for-agents.md)
 - [GitHub](https://github.com/Keesan12/martin-loop) — source and issues
 - [martinloop.com](https://martinloop.com)
 

package/dist/server-validation.js

@@ -151,6 +151,7 @@ function validateRunInput(args) {
         "maxIterations",
         "maxTokens",
         "verifyTimeoutMs",
+        "providerExecutionTimeoutMs",
         "maxMinutes",
         "maxFilesChanged",
         "maxCommands",
@@ -180,6 +181,7 @@ function validateRunInput(args) {
         ...optionalPositiveInteger(record.maxIterations, "maxIterations"),
         ...optionalPositiveInteger(record.maxTokens, "maxTokens"),
         ...optionalPositiveInteger(record.verifyTimeoutMs, "verifyTimeoutMs"),
+        ...optionalPositiveInteger(record.providerExecutionTimeoutMs, "providerExecutionTimeoutMs"),
         ...optionalPositiveInteger(record.maxMinutes, "maxMinutes"),
         ...optionalPositiveInteger(record.maxFilesChanged, "maxFilesChanged"),
         ...optionalPositiveInteger(record.maxCommands, "maxCommands"),

package/dist/server.js

@@ -47,6 +47,7 @@ import { runLoopTool } from "./tools/run-loop.js";
 import { MARTIN_ENGINE_VALUES } from "./tools/tool-support.js";
 import { classifyRoute } from "./vendor/core/index.js";
 import { createToolErrorResult, createToolSuccessResult } from "./tools/tool-response.js";
+import { buildGovernedPlanStages, renderGovernedRunPlanMarkdown, renderVerifiedHandoffMarkdown } from "./vendor/presentation/index.js";
 import { MartinToolError, toToolFailure } from "./tools/tool-errors.js";
 import { normalizeLoopBudget } from "./tools/workflow-governance.js";
 import { resolveSafeRepoRoot, sanitizeToolErrorMessage, validateToolInput } from "./server-validation.js";
@@ -793,6 +794,16 @@ export function createMartinMcpServer(serverInfo) {
                             exclusiveMinimum: 0,
                             description: "Maximum total tokens across all attempts."
                         },
+                        verifyTimeoutMs: {
+                            type: "integer",
+                            exclusiveMinimum: 0,
+                            description: "Hard timeout for each verifier command in milliseconds."
+                        },
+                        providerExecutionTimeoutMs: {
+                            type: "integer",
+                            exclusiveMinimum: 0,
+                            description: "Hard timeout for each provider coding process in milliseconds."
+                        },
                         verificationPlan: {
                             type: "array",
                             items: { type: "string" },
@@ -1594,7 +1605,23 @@ export function createMartinMcpServer(serverInfo) {
                         budget: output.normalized.budget
                     }).catch(() => { });
                 }
-                return createToolSuccessResult(output, output.summary);
+                const prefPlanView = {
+                    ready: output.ok,
+                    task: output.normalized.objective,
+                    engine: output.normalized.engine,
+                    mode: output.readiness.liveMode ? "live" : "proof",
+                    budget: output.normalized.budget,
+                    verifier: output.normalized.verificationPlan,
+                    receiptScope: output.receiptScope,
+                    policyProfile: output.policy.name,
+                    blockingIssues: output.ok ? [] : [output.summary],
+                    warnings: output.warnings,
+                    stages: []
+                };
+                prefPlanView.stages = buildGovernedPlanStages(prefPlanView);
+                return createToolSuccessResult(output, output.summary, {
+                    human: renderGovernedRunPlanMarkdown(prefPlanView)
+                });
             }
             if (name === "martin_logs") {
                 const input = validateToolInput("martin_logs", args);
@@ -1644,12 +1671,12 @@ export function createMartinMcpServer(serverInfo) {
             if (name === "martin_run_dossier") {
                 const input = validateToolInput("martin_run_dossier", args);
                 const output = await martinRunDossierTool(input);
-                return createToolSuccessResult(output, `Dossier ready for Martin run ${output.loop.loopId} with ${output.attempts.length} attempt(s).`);
+                return createToolSuccessResult(output, `Dossier ready for Martin run ${output.loop.loopId} with ${output.attempts.length} attempt(s).`, { human: renderVerifiedHandoffMarkdown(output.verifiedHandoff) });
             }
             if (name === "martin_dossier") {
                 const input = validateToolInput("martin_dossier", args);
                 const output = await martinRunDossierTool(input);
-                return createToolSuccessResult(output, `Dossier ready for Martin run ${output.loop.loopId} in ${output.format} format.`);
+                return createToolSuccessResult(output, `Dossier ready for Martin run ${output.loop.loopId} in ${output.format} format.`, { human: renderVerifiedHandoffMarkdown(output.verifiedHandoff) });
             }
             if (name === "martin_eval") {
                 const input = validateToolInput("martin_eval", args);

package/dist/tools/run-loop.d.ts

@@ -11,6 +11,7 @@ export interface RunLoopInput {
     maxIterations?: number;
     maxTokens?: number;
     verifyTimeoutMs?: number;
+    providerExecutionTimeoutMs?: number;
     verificationPlan?: string[];
     allowedPaths?: string[];
     deniedPaths?: string[];

package/dist/tools/run-loop.js

@@ -30,7 +30,7 @@ export async function runLoopTool(input) {
         repoRoot: workingDirectory,
         runsRoot
     };
-    let codexCommandOverride;
+    let codexProbeOverride;
     if (executionMode.liveMode) {
         if (engine === "codex") {
             const engineAvailability = resolveCliCommandAvailability("codex");
@@ -43,7 +43,10 @@ export async function runLoopTool(input) {
             }
             const codexProbe = probeCodexLaunch({
                 workingDirectory,
-                availability: engineAvailability
+                availability: engineAvailability,
+                ...(input.providerExecutionTimeoutMs !== undefined
+                    ? { providerExecutionTimeoutMs: input.providerExecutionTimeoutMs }
+                    : {})
             });
             if (!codexProbe.ok) {
                 throw new MartinToolError("engine_unavailable", codexProbe.summary, {
@@ -52,7 +55,7 @@ export async function runLoopTool(input) {
                     retryable: false
                 });
             }
-            codexCommandOverride = codexProbe.command;
+            codexProbeOverride = codexProbe;
         }
         else {
             const engineAvailability = getEngineAvailability(engine);
@@ -76,18 +79,33 @@ export async function runLoopTool(input) {
             ? createCodexCliAdapter({
                 workingDirectory,
                 ...(input.verifyTimeoutMs !== undefined ? { verifyTimeoutMs: input.verifyTimeoutMs } : {}),
+                ...(input.providerExecutionTimeoutMs !== undefined
+                    ? { providerExecutionTimeoutMs: input.providerExecutionTimeoutMs }
+                    : {}),
                 ...(model ? { model } : {}),
-                ...(codexCommandOverride ? { command: codexCommandOverride } : {})
+                ...(codexProbeOverride
+                    ? {
+                        command: codexProbeOverride.command,
+                        capabilityProfile: codexProbeOverride.capabilityProfile,
+                        autonomyResolution: codexProbeOverride.autonomyResolution
+                    }
+                    : {})
             })
             : engine === "gemini"
                 ? createGeminiCliAdapter({
                     workingDirectory,
                     ...(input.verifyTimeoutMs !== undefined ? { verifyTimeoutMs: input.verifyTimeoutMs } : {}),
+                    ...(input.providerExecutionTimeoutMs !== undefined
+                        ? { providerExecutionTimeoutMs: input.providerExecutionTimeoutMs }
+                        : {}),
                     ...(model ? { model } : {})
                 })
                 : createClaudeCliAdapter({
                     workingDirectory,
                     ...(input.verifyTimeoutMs !== undefined ? { verifyTimeoutMs: input.verifyTimeoutMs } : {}),
+                    ...(input.providerExecutionTimeoutMs !== undefined
+                        ? { providerExecutionTimeoutMs: input.providerExecutionTimeoutMs }
+                        : {}),
                     ...(model ? { model } : {})
                 });
     const partialBudget = {};
@@ -113,6 +131,9 @@ export async function runLoopTool(input) {
             ...(input.verifyTimeoutMs !== undefined
                 ? { verificationTimeoutMs: input.verifyTimeoutMs }
                 : {}),
+            ...(input.providerExecutionTimeoutMs !== undefined
+                ? { providerExecutionTimeoutMs: input.providerExecutionTimeoutMs }
+                : {}),
             repoRoot: workingDirectory,
             ...(allowedPaths ? { allowedPaths } : {}),
             ...(deniedPaths ? { deniedPaths } : {})

package/dist/tools/tool-response.d.ts

@@ -3,7 +3,15 @@ interface TextContentBlock {
     type: "text";
     text: string;
 }
-export declare function createToolSuccessResult<T extends object>(output: T, summary: string): {
+export interface ToolSuccessRenderOptions {
+    /** Explicit human-readable Markdown for content[0].
+     *  Overrides resolveHumanArtifact fallback when provided. */
+    human?: string;
+    /** Include compatibility JSON block in content[]. Default: true.
+     *  Set false only after real-host testing proves structuredContent alone suffices. */
+    includeCompatibilityJson?: boolean;
+}
+export declare function createToolSuccessResult<T extends object>(output: T, summary: string, options?: ToolSuccessRenderOptions): {
     content: TextContentBlock[];
     structuredContent: T;
     _meta: Record<string, unknown>;

package/dist/tools/tool-response.js

@@ -8,12 +8,14 @@ function resolveHumanArtifact(output, summary) {
     const rendered = "rendered" in output ? output.rendered : undefined;
     return typeof rendered === "string" && rendered.trim().length > 0 ? rendered : summary;
 }
-export function createToolSuccessResult(output, summary) {
+export function createToolSuccessResult(output, summary, options = {}) {
+    const humanText = options.human ?? resolveHumanArtifact(output, summary);
+    const content = [{ type: "text", text: humanText }];
+    if (options.includeCompatibilityJson !== false) {
+        content.push(createJsonBlock(output));
+    }
     return {
-        content: [
-            { type: "text", text: resolveHumanArtifact(output, summary) },
-            createJsonBlock(output)
-        ],
+        content,
         structuredContent: output,
         _meta: {
             "martinloop/summary": summary,