DeepSeek HarnessHub
提交插件

RepInS-01/math-agent ↗★ 1

@local/math-agent-preset

不直接提供答案的数学训练辅导预设 适合进行数学思维训练、需要引导式启发而非直接索要答案的学生。

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.