988hj7tczd-oss/dsh-math-olympiad

dsh-math-olympiad is a profile-style skill bundle built specifically for DeepSeek Harness, targeting competition mathematics problems drawn from IMO, Putnam, USAMO, AIME and similar contests. The package ships as a dsh.bundle declared in package.json, with a dsh.bundle.patch overlay that registers two cordis plugin lines: dsh-math-olympiad-locator, which exposes the bundled skills directory as a mathOlympiadSkills service located via import.meta.url, and dsh-math-olympiad-skill, an isolated providerName: math-olympiad filesystem provider with includeDefaultRoots: false to avoid double-scanning the base roots. Installation is performed with dsh plugin --profile <name> add ./dsh-math-olympiad against a profile that already includes @deepseek-ai/dsh-base, after which the bundle is launched under dsh --profile <name>.

The intended workflow runs a five-step loop documented in SKILL.md: first solve purely by reasoning using Pólya's six heuristics rewritten in Chinese, then strip the chain of thought so only the proof body remains, next dispatch a subagent with a fresh context to adversarially verify the proof against verifier_patterns.md, fall back to step one on a fatal gap for at most two iterations, and finally emit a tuple of solution plus verification verdict plus calibrated confidence (high / medium / or the honest "no confident solution" abstention with the sticking point). Optional LaTeX output is produced when check_latex.sh detects an engine, otherwise the flow degrades gracefully to Markdown math. The bundle is aimed at competition trainees, olympiad coaches, and researchers who want a rigorous process over a promised accuracy rate.

Distribution and limits are explicitly documented: the npm-released tarball is self-contained with the lib/ build already produced, so plain dsh plugin add ./dsh-math-olympiad-0.1.0.tgz works without any build approval; however, installing directly from git requires pnpm ≥10 and either adding allowBuilds: dsh-math-olympiad: true to the profile's pnpm-workspace.yaml or running the interactive pnpm approve-builds, because pnpm ≥10 refuses to run the prepare script of git dependencies by default. Verification is done with node tests/smoke.e2e.ts on Node ≥23.6 (or npx tsx on 22.6–23.5), exercising structure, trigger words, the five red-flag heuristics, the verifier protocol, the abstention path, and shell-script behavior with engine isolation. Limitations: correctness is not guaranteed since adversarial verification improves rigor but cannot eliminate errors, and subagent quality depends on the model plus disciplined context isolation. License is MIT, all prose is independently rewritten in Chinese, no proprietary upstream code is included, and dsh-safe-plugin-manager re-checks the bundle every three hours against the DSH STORE five-category review signals.