export_metrics
Export metrics data from Ludus FastMCP server in JSON, CSV, or Prometheus format with optional time filtering and user-specific data access.
Instructions
Export metrics data.
Args: format: Export format (json, csv, prometheus) start_time: Optional start time for metrics (ISO format) end_time: Optional end time for metrics (ISO format) user_id: Optional user ID (admin only)
Returns: Exported metrics data
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| format | No | json | |
| start_time | No | ||
| end_time | No | ||
| user_id | No |