Page history · api

text-editor-toolagents-and-tools/tool-use/text-editor-tool

Every read this site has made of the page, newest first. A date is when upstream edited the page, where upstream publishes that, and otherwise when the poller caught the edit; each row says which of the two it is.

Recorded changes9including the first read

Lines now2,277in the newest capture

Characters81,315in the newest capture

First seen 14 Aug 2026 04:31 UTC

Last changed 22 Oct 2026 02:07 UTC

Every recorded edit

9 edits since this site first read it

WhenTitle it carriedWhatLines

22 Oct 26 text-editor-tool ±changed +13−13 21 Oct 26 text-editor-tool ±changed +4−4 21 Oct 26 text-editor-tool ±changed +29−29 21 Oct 26 text-editor-tool ±changed +19−26 09 Oct 26 text-editor-tool ±changed +4−3 22 Sep 26 text-editor-tool ±changed +39−39 17 Sep 26 text-editor-tool ±changed +26−20 31 Aug 26 text-editor-tool ±changed +1−1 14 Aug 26 text-editor-tool ·first recorded +2277−0

As it stands

Lines2,277
Characters81,315
Categoryagents-and-tools
Pathagents-and-tools/tool-use/text-editor-tool

Read it upstream →

Sections it gained

## When to use the text editor tool
## Use the text editor tool
### Text editor tool commands
#### view
#### str\_replace
#### create
#### insert
### Example: Fixing a syntax error with the text editor tool
## Implement the text editor tool
### Handle errors
### Follow implementation best practices
## Pricing and token usage