{
	"name": "performance_stop_trace",
	"description": "Stops the active performance trace recording on the selected page.",
	"parameters": {
		"type": "object",
		"properties": {
			"saveToDownloads": {
				"type": "boolean",
				"description": "Whether to save the trace as a JSON file in Downloads (default true)."
			},
			"filenamePrefix": {
				"type": "string",
				"description": "Optional filename prefix for the downloaded trace JSON."
			}
		},
		"required": []
	}
}