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/09/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.