miller-cross-workspace

Miller Cross Workspace

Miller can read registered workspaces without changing directories. Use workspace_id on read tools instead of shelling into another repo.

Select A Workspace

List known workspaces:

workspace(operation="list")

Valid workspace_id selectors:

• display ID
• unique prefix
• full workspace ID
• registered absolute root path
• current
• primary

Prime a repo that is not registered yet:

workspace(operation="open", path="<absolute-root>")

workspace open primes the index; it does not switch the live MCP server workspace.

Read Another Workspace

Pass the selector to the read tool:

search(workspace_id="<selector>", query="<query>")
inspect(workspace_id="<selector>", target="<symbol-or-file>")
context(workspace_id="<selector>", query="<task>")
impact(workspace_id="<selector>", target="<symbol-or-file>")
trace(workspace_id="<selector>", target="<symbol>")

Explicit workspace_id defaults to refresh-first. Set ensure_fresh=false only when a fast, possibly stale read is acceptable.

Report

Mention:

• Workspace selector used
• Whether the index was refreshed or best-effort stale
• Any first-read latency caveat on large workspaces
• The concrete repo path if the selector was ambiguous

Do not manually cd and repeat shell searches when a Miller read tool can route to the workspace.