Fix edit tool pruning to use correct field names#182

Merged

Tarquinen merged 1 commit intodevfrom

fix/edit-tool-pruning

Dec 22, 2025

Commits on Dec 22, 2025

fix: correctly prune edit tool inputs (oldString/newString instead of content)
Tarquinen
committed