I built Codex a set of file tools to save tokens. They cost more.
A failed experiment, measured end to end: an MCP server that gives Codex read_file/write_file/edit_file, the trick that finally made Codex use them, and the deterministic benchmark that proved the whole premise wrong.