martin_pr_summary
Turn a completed run dossier into a GitHub-ready pull-request title and Markdown body, including verification grade and score.
Instructions
Generate a GitHub-ready pull-request title and Markdown body from a completed MartinLoop run dossier, including its verification grade and score. Use after a governed run completes when you need PR copy without creating the PR. Use martin_create_pr instead to actually open the PR on GitHub. Use martin_review_pr to evaluate an existing PR body against run evidence. Use martin_eval first if you need a merge-readiness grade before generating the PR body. This tool only reads saved run evidence and does not modify the repository or contact GitHub.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| file | No | Absolute or relative path to a loop-record.json file or run directory. Mutually exclusive with loopId and latest. | |
| format | No | Dossier rendering format. Defaults to github-pr for PR body generation. Use md for plain Markdown or json for structured output. | |
| latest | No | When true, generates the summary for the most recently updated run. Mutually exclusive with file and loopId. | |
| loopId | No | MartinLoop run identifier from the run store. Mutually exclusive with file and latest. | |
| runsDir | No | Override the default run-store root directory. Optional. |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| body | Yes | GitHub-flavoured Markdown PR body containing the run dossier. | |
| grade | Yes | Verification grade assigned to the run. | |
| score | Yes | Numeric verification score from 0–100. | |
| title | Yes | Suggested GitHub pull-request title. | |
| loopId | Yes | MartinLoop run identifier used to generate the summary. |