---
name: write_file
description: Write content to a file in /workspace. Creates parent directories if needed. Use this to save scripts, reports, data, or any output you want to persist.
parameters:
  path:
    type: string
    description: Path to write (must be under /workspace)
    required: true
  content:
    type: string
    description: Content to write to the file
    required: true
  append:
    type: boolean
    description: If true, append to existing file instead of overwriting (default false)
    required: false
---