@martinloop/mcp 0.3.9 → 0.5.1

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,9 +34,19 @@ 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"
 };
+function formatRecordedCost(usd, provenance) {
+    if (provenance === "unavailable")
+        return "unavailable";
+    if (provenance === "actual")
+        return `$${usd.toFixed(2)} provider-settled actual`;
+    if (provenance === "calculated") {
+        return `$${usd.toFixed(2)} calculated from observed usage`;
+    }
+    return `$${usd.toFixed(2)} estimated`;
+}
 export const MARTIN_RESOURCE_TEMPLATES = [
     {
         name: "martin_run_record",
@@ -100,18 +109,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 +214,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 +262,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 +284,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:
@@ -386,7 +386,7 @@ async function loadLatestRunForCompactResource(runsRoot) {
                 empty: true,
                 warnings: [
                     "No Martin run records were found yet.",
-                    "Run `npx martin-loop demo`, then run `npx martin-loop run ... --proof --verify <command>` for a no-spend local proof pass."
+                    "Run `npx martin-loop demo`, then use `--proof --verify <command>` for explicitly non-governed verification-only evidence."
                 ]
             };
         }
@@ -414,6 +414,7 @@ async function buildLatestSummaryResource(runsRoot) {
         budget: loop.budget,
         cost: {
             actualUsd: loop.cost.actualUsd,
+            provenance: loop.cost.provenance ?? "unavailable",
             avoidedUsdEstimate: loop.cost.avoidedUsd ?? 0,
             tokensIn: loop.cost.tokensIn,
             tokensOut: loop.cost.tokensOut,
@@ -433,44 +434,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) {
@@ -487,6 +450,7 @@ async function buildLatestBudgetStatusResource(runsRoot) {
         budget: loop.budget,
         cost: {
             actualUsd: loop.cost.actualUsd,
+            provenance: loop.cost.provenance ?? "unavailable",
             avoidedUsdEstimate: loop.cost.avoidedUsd ?? 0,
             tokensIn: loop.cost.tokensIn,
             tokensOut: loop.cost.tokensOut,
@@ -601,7 +565,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.",
             ""
@@ -623,7 +587,7 @@ async function buildLatestProofCardResource(runsRoot) {
         `Run: \`${loop.loopId}\``,
         `Status: ${loop.status} / ${loop.lifecycleState}`,
         `Attempts: ${loop.attempts.length}`,
-        `Spend: $${loop.cost.actualUsd.toFixed(2)} actual, $${(loop.cost.avoidedUsd ?? 0).toFixed(2)} avoided estimate`,
+        `Spend: ${formatRecordedCost(loop.cost.actualUsd, loop.cost.provenance ?? "unavailable")}, $${(loop.cost.avoidedUsd ?? 0).toFixed(2)} avoided estimate`,
         `Tokens: ${loop.cost.tokensIn} in / ${loop.cost.tokensOut} out`,
         `Verifier: ${verifierStatus}`,
         "",
@@ -647,7 +611,7 @@ function compactEmptyState(kind, runsRoot, warnings) {
         status: "empty",
         runsRoot,
         summary: "No Martin run records are available yet.",
-        nextStep: "Run `npx martin-loop doctor`, create the demo workspace with `npx martin-loop demo`, then run `npx martin-loop run ... --proof --verify <command>`.",
+        nextStep: "Run `npx martin-loop doctor`, create the demo workspace, then use `--proof --verify <command>` only for non-governed verification evidence.",
         warnings
     };
 }
@@ -708,6 +672,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 +742,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 +774,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 +808,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 +846,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 +929,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;

package/dist/server-validation.js

@@ -14,12 +14,12 @@ export function validateToolInput(name, args) {
             return validateStatusInput(args);
         case "martin_doctor":
             return validateDoctorInput(args);
-        case "martin_estimate":
-            return validateEstimateInput(args);
         case "martin_plan":
             return validatePlanInput(args);
         case "martin_preflight":
             return validatePreflightInput(args);
+        case "martin_estimate":
+            return validateEstimateInput(args);
         case "martin_logs":
             return validateLogsInput(args);
         case "martin_cancel":
@@ -254,22 +254,27 @@ function validateDoctorInput(args) {
         ...optionalEnumAsObject(record.engine, "engine", MARTIN_ENGINE_VALUES)
     };
 }
+function validatePreflightInput(args) {
+    return validateRunInput(args);
+}
+function validatePlanInput(args) {
+    return validateRunInput(args);
+}
 function validateEstimateInput(args) {
     const record = requireObject(args);
-    assertAllowedKeys(record, ["objective", "engine", "budgetUsd", "fileScope"]);
+    assertAllowedKeys(record, ["objective", "engine", "budgetUsd", "fileScope", "workingDirectory"]);
+    const engine = optionalEnum(record.engine, "engine", MARTIN_ENGINE_VALUES);
+    const fileScope = normalizeSafePathPatterns(record.fileScope, "fileScope");
     return {
         objective: requireString(record.objective, "objective"),
-        ...optionalEnumAsObject(record.engine, "engine", MARTIN_ENGINE_VALUES),
+        ...(engine ? { engine } : {}),
         ...optionalPositiveNumber(record.budgetUsd, "budgetUsd"),
-        ...optionalStringArrayAsObject(record.fileScope, "fileScope")
+        ...(fileScope ? { fileScope } : {}),
+        ...(record.workingDirectory !== undefined
+            ? { workingDirectory: resolveSafeRepoRoot(requireString(record.workingDirectory, "workingDirectory")) }
+            : {})
     };
 }
-function validatePreflightInput(args) {
-    return validateRunInput(args);
-}
-function validatePlanInput(args) {
-    return validateRunInput(args);
-}
 function validateLogsInput(args) {
     const record = requireObject(args);
     assertAllowedKeys(record, ["file", "loopId", "runsDir", "latest", "limit"]);

package/dist/server.d.ts

@@ -16,6 +16,7 @@
  * Manual start:
  *   node dist/server.js
  */
+import { type Server as NodeHttpServer } from "node:http";
 import { Server } from "@modelcontextprotocol/sdk/server/index.js";
 export declare function createMartinMcpServer(serverInfo?: {
     name?: string;
@@ -88,4 +89,26 @@ export declare function connectMartinMcpStdioServer(): Promise<Server<{
         } | undefined;
     } | undefined;
 }>>;
+export interface MartinMcpHttpServerOptions {
+    host?: string;
+    port?: number;
+    path?: string;
+}
+export interface MartinMcpHttpServerHandle {
+    server: NodeHttpServer;
+    host: string;
+    port: number;
+    path: string;
+    endpoint: string;
+    close: () => Promise<void>;
+}
+export declare function parseMartinMcpServerArgs(argv: string[]): {
+    transport: "stdio";
+} | {
+    transport: "http";
+    host: string;
+    port: number;
+    path: string;
+};
+export declare function connectMartinMcpHttpServer(options?: MartinMcpHttpServerOptions): Promise<MartinMcpHttpServerHandle>;
 export declare function isDirectExecutionEntry(entryPath: string | undefined, moduleUrl?: string): boolean;