プラグイン

純粋推論パスと新しいサブエージェントコンテキストでの敵対的検証子、較正された信頼度出力（高 / 中 / 正直な「信頼できる解なし」）で競技数学（IMO/Putnam/USAMO/AIME）を解く。LaTeX から PDF へのレンダリングもオプションで対応。

DeepSeek Harness向け競技プログラミング上級者pluginです。伴走練習、3種類のC++14模範解答、問題解説、g++による実コンパイル・判定を提供します。解答記録は任意でima notebook「信奥学长-题解复盘」に保存できます。GESP/CSP-J/S/NOIP/NOI向け。g++が必要です。

DeepSeek Harness向け競技プログラミング指導pluginです。指導prompt、学習ロードマップ、知識点、問題作成、g++による実C++判定、ima knowledge base検索と4 notebookへの保存を提供し、GESP/CSP-J/S/NOIP/NOIを対象にします。g++と、ima-skillおよび4 notebookを設定したima accountが必要です。返信にはWeChat accountの宣伝とQR codeが既定で含まれます。