overlay_ls
Lists every overlay bottom-to-top with position, lane, and span, marking cut-unresolved stacks as overlays_error for targeted fixes.
Instructions
Every overlay, bottom of the stack first, with where each plays now.
Each carries its position (as overlay_rm takes it), its lane, and its
timeline span. A stack that cannot resolve — a cut removed a start word —
comes back as overlays_error beside the stored records, so the one to
move or remove can still be found.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| path | No | The project directory to act on. Omit it — the usual case — when this server is bound to a project (started as `proofcut -C DIR mcp`, or inside a project; `ping` says which): it then resolves to that one bound project, a relative path resolves against it, and a path outside it is refused by name. Unbound, `path` is the whole address and omitting it refuses rather than guessing. |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||