Skip to content

Lazy index docs in MCP tools and report progress#14341

Merged
JamesNK merged 4 commits intomainfrom
jamesnk/lazy-docs-indexing
Feb 5, 2026
Merged

Lazy index docs in MCP tools and report progress#14341
JamesNK merged 4 commits intomainfrom
jamesnk/lazy-docs-indexing

Commits

Commits on Feb 4, 2026