file_write
Create or overwrite files
How to use it
file_write is exposed by the Klee MCP server. Add the server to your MCP client (Claude Desktop, Cursor, Windsurf and others), and the file_write tool becomes available to the model automatically. See the full listing for setup details and every tool this server provides.
FULL KLEE LISTING