dsh-frontier-math: Frontier Mathematical Research Workflows Using DeepSeek Harness

dsh-frontier-math is a frontier mathematics research plugin for DeepSeek Harness (DSH). Its core philosophy is to establish rigorous, structured processes that improve research quality rather than promise automatic problem solving. The plugin provides four core tools—project initiation, literature audit, conjecture recording, and certificate generation—enforcing high open-endedness and clarity in problem statements, and ensuring reliable outputs through multi-source retrieval, dependency graph maintenance, and independent verification. The article details its installation and configuration, typical workflows (including scoring, auditing, and verification), and applicable scenarios, while highlighting concurrency limits in data storage and blind spots in automated retrieval. It is suitable for developers and researchers.