Related Servers

Most tools are clearly distinct: list_files enumerates, project_context retrieves ranked excerpts, compile type-checks, and propose_edit/propose_files separate single-file from multi-file proposals. The main overlap is read_file versus read_document, since both read file text and read_document is effectively a shortcut for the session's target file; propose_edit versus propose_files also has a boundary agents could misjudge, though the descriptions clarify it.

Most names follow a clear verb_noun pattern: read_file, list_files, read_document, propose_edit, propose_files. The deviations are project_context (noun phrase), compile (bare verb), and galley_ping (server-prefixed noun), but they remain readable and do not obscure intent.

Eight tools is a well-scoped surface for a collaborative document-editing server. Each tool covers a distinct stage: liveness, listing, reading, contextual retrieval, single-file proposals, multi-file proposals, and compilation.

The lifecycle is largely covered: list files, read text, gather context, propose edits across one or many files, and type-check before human acceptance. Minor gaps include no explicit tool for inspecting proposal history/status beyond the immediate response, and no direct diff or review workflow, but these appear intentionally delegated to Galley's human review UI.