Local MCP server for focused Marten documentation retrieval with caching, search, and progressive narrowing tools.