Switch between local and remote DanNet servers on the fly.
This tool allows you to change the DanNet server endpoint during runtime
without restarting the MCP server. Useful for switching between development
(local) and production (remote) servers.
Args:
server: Server to switch to. Options:
- "local": Use localhost:3456 (development server)
- "remote": Use wordnet.dk (production server)
- Custom URL: Any valid URL starting with http:// or https://
Returns:
Dict with status information:
- status: "success" or "error"
- message: Description of the operation
- previous_url: The URL that was previously active
- current_url: The URL that is now active
Example:
# Switch to local development server
result = switch_dannet_server("local")
# Switch to production server
result = switch_dannet_server("remote")
# Switch to custom server
result = switch_dannet_server("https://my-custom-dannet.example.com")