martin_run
Execute a coding task under strict spend and iteration limits, requiring prior planning receipts, and return cost, artifacts, and verification status.
Instructions
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.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| model | No | Optional model override passed to the CLI. | |
| engine | No | Which agent CLI to use. Defaults to claude. | |
| maxUsd | No | Hard budget ceiling in USD. | |
| maxTokens | No | Maximum total tokens across all attempts. | |
| objective | Yes | The coding task to complete. Be specific about what needs to change. | |
| projectId | No | Project identifier for telemetry. | |
| deniedPaths | No | Repo-relative path globs Martin must never modify. | |
| workspaceId | No | Workspace identifier for telemetry. | |
| allowedPaths | No | Repo-relative path globs Martin may modify. | |
| maxIterations | No | Maximum number of loop attempts. | |
| verificationPlan | No | Commands that must all exit 0 for the task to be considered complete. | |
| workingDirectory | No | Optional repo-root override resolved under the MCP workspace root. Must stay within that safe root. |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| budget | Yes | ||
| engine | Yes | ||
| loopId | Yes | ||
| reason | Yes | ||
| status | Yes | ||
| costUsd | Yes | ||
| attempts | Yes | ||
| pressure | Yes | ||
| inspection | Yes | ||
| shouldStop | Yes | ||
| lifecycleState | Yes | ||
| remainingTokens | Yes | ||
| workingDirectory | Yes | ||
| remainingBudgetUsd | Yes | ||
| verificationPassed | Yes | ||
| remainingIterations | Yes |