mirror of
https://github.com/deepseek-ai/deepseek-harness.git
synced 2026-08-15 14:02:47 +02:00
The previous commit rewrote the whole file through a JSON pretty-printer, reformatting every existing entry; restore the established compact style with the four new entries appended to the tools.md group.