Tool definition: {"type": "function", "function": {"name": "inform", "description": "Correctly extracted `inform` with all the required parameters with correct types", "parameters": {"properties": {"name": {"title": "Name", "type": "string"}, "genres": {"items": {"type": "string"}, "title": "Genres", "type": "array"}, "platforms": {"items": {"type": "string"}, "title": "Platforms", "type": "array"}, "available_on_steam": {"title": "Available On Steam", "type": "boolean"}}, "required": ["available_on_steam", "genres", "name", "platforms"], "type": "object"}}}
Input: TrackMania Turbo is an arcade, driving/racing game for PlayStation, Xbox, PC and is currently available on Steam.
Function call: {"name": "inform", "arguments": {"name": "TrackMania Turbo", "genres": ["arcade", "driving/racing"], "platforms": ["PlayStation", "Xbox", "PC"], "available_on_steam": true}}