The leading, most token-efficient MCP server for documentation exploration and retrieval via structured section indexing