Plugins

Mathématiques de compétition (IMO/Putnam/USAMO/AIME) résolues par une passe de raisonnement pur, un vérificateur adverse dans un contexte de sous-agent neuf, et une sortie de confiance calibrée (haute / moyenne / « aucune solution fiable » honnête) ; rendu LaTeX-vers-PDF optionnel.

Plugin senior d’informatique compétitive pour DeepSeek Harness : pratique accompagnée, solutions de référence C++14 en trois versions, explications et compilation/jugement réel avec g++ (requis). Archivage facultatif des solutions dans le carnet ima « 信奥学长-题解复盘 ». Pour GESP/CSP-J/S/NOIP/NOI.

Plugin de coaching en informatique compétitive pour DeepSeek Harness : prompts de coaching, parcours d’apprentissage, notions, création de problèmes, jugement C++ réel avec g++ et recherche ima avec archivage dans quatre carnets. Pour GESP/CSP-J/S/NOIP/NOI. Nécessite g++ et un compte ima configuré avec ima-skill et quatre carnets. Les réponses incluent par défaut une promotion de compte WeChat et un QR code.