lean-lsp-mcp — AgentDNS