mirror of
https://github.com/deepseek-ai/deepseek-harness.git
synced 2026-11-10 12:47:44 +08:00
Review follow-up: the developer message history is the net tool-list change between two consecutive requests, not one entry per successful call, so a remove/add pair batched into one step logs no message. Derive the expected history from the recorded request headers, search for the later call after the earlier one, and accept an already-removed tool in the removal prompt so the REMOVED reply stays required.