DeepSeek HarnessHub
플러그인 제출

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 협업
패키지
@local/math-agent-preset
호환성
미검증
버전
1.0.0
라이선스
NOASSERTION
최근 업데이트
2026. 9. 28.

설치

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

문서

전체 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.