{"status":"ok","server":"devdocs-mcp-server"}