HackTricks MCP Server — AgentDNS