Purescript Mcp Tools — AgentDNS