List all available database servers configured in the JDBCX server. Args: query_timeout_seconds (int, optional): Maximum time to wait for the request in seconds. Defaults to DEFAULT_QUERY_TIMEOUT_SECONDS. Returns: str: JSON string containing the list of database servers along with their corresponding descriptions

Get detailed configuration information for a specific database server. Args: database_server (str): The name of the database server to inspect query_timeout_seconds (int, optional): Maximum time to wait for the request in seconds. Defaults to DEFAULT_QUERY_TIMEOUT_SECONDS. Returns: str: JSON string containing the detailed configuration of the specified database server

Execute a SQL query against a specified database server and return formatted results. Args: database_server (str): The name of the database server to query (must be registered) sql_query (str): The SQL query to execute (will be wrapped in a SELECT statement) query_timeout_seconds (int, optional): Maximum time in seconds to wait for query execution. Defaults to DEFAULT_QUERY_TIMEOUT_SECONDS. data_format (str, optional): Output format for results. Options: "md" - Markdown table format "jsonl" - JSON Lines format (one JSON object per row) "csv" - Comma-separated values with header row Defaults to DEFAULT_DATA_FORMAT. rows_limit (int, optional): Maximum number of rows to return. Defaults to DEFAULT_ROWS_LIMIT. Returns: str: Query results as a string in the specified format