P4mcp Server — AgentDNS