The latest Defang MCP Server supports many more tools (and prompts) but the README doesn't mention them.