DeepSeek HarnessHub
Submit plugin

RepInS-01/math-agent ↗★ 1

@local/math-agent-preset

Math_Agent: a math training/coaching preset for DeepSeek Harness that never solves problems for the trainee. 适合进行数学思维训练、需要引导式启发而非直接索要答案的学生。

Agent collaboration
Package
@local/math-agent-preset
Compatibility
Unverified
Version
1.0.0
License
NOASSERTION
Last updated
Sep 28, 2026

Install

$npx -p @deepseek-ai/dsh dsh plugin --profile web add github:RepInS-01/math-agent

README

Read the full README ↗

Usage

  1. In the DeepSeek Harness Web GUI, create a new session and select the Math_Agent preset (id: math-agent).

  2. Start a training session with a prompt like:

    I'd like to start a math training exercise. Problem: Let aₙ = √(1 + aₙ₋₁), a₀ = 1. Prove that {aₙ} converges and find its limit. I'm thinking of using monotone convergence but I'm not sure how to prove boundedness.

  3. No matter how insistently you ask for the answer — the zero-leak guard stands between you and the model.