Yeah, changing the font size doesn't sound like it belongs in a plug-in, long term.
IGNORE: Now, if only DeepSeek Harness were open source…
(EDIT: DeepSeek Harness is open source—I missed it).
IGNORE: Now, if only DeepSeek Harness were open source…
(EDIT: DeepSeek Harness is open source—I missed it).
>DeepSeek Harness (dsh) is an open-source agent harness developed by DeepSeek AI.
>It is built on an everything-is-a-plugin architecture and powered by Cordis, whose design is described in A Programming Paradigm for Spatiotemporal Composability.
https://github.com/deepseek-ai/deepseek-harness
Now, this could simply be an attempt at sarcasm but it's getting really hard to tell. There's a handful of people in this thread saying that DeepSeek Harness is closed source.