Lazy index docs in MCP tools and report progress#14341

Merged

JamesNK merged 4 commits into

mainfrom

jamesnk/lazy-docs-indexing

Feb 5, 2026

Build Analysis / Build Analysis succeeded Feb 4, 2026 in 0s

.NET Result Analysis

Details

All checks completed

✅ [dotnet.aspire]

_{Was this helpful?}

View more details on Build Analysis