通用数学建模工作流:把赛题拆成可执行的建模流水线

SkillHub 社区 Skill「通用数学建模工作流」(@user_3937f0b6/math-modeling-solver,v1.0.0)面向华中杯、CUMCM 等多小问数学建模竞赛,用 SKILL.md 规定理解题意、架构设计、Python 求解实现、约束校验与结果分析五阶段,并给出数据结构、代价函数与交付物清单。无需 API Key。本文说明定位、核心能力、skillhub 安装命令及 Cursor 等 skills 路径,并给出可复现的启用方式与适用注意。

阅读全文
数学建模全流程专家:竞赛五阶段与论文双引擎

本文介绍 SkillHub 社区 Skill「数学建模全流程专家」(@user_0210c829/mathmodel-workflow-v3,v3.0.0)。它覆盖吃透赛题、建模、编码求解、论文撰写与验收门禁五阶段,支持 Typst/LaTeX 双引擎与题型防错知识库,且无需 API Key。文章说明定位与核心能力,给出 skillhub CLI 安装命令及 Cursor、Claude Code、Codex 的 skills 目录示例,并说明在 Agent 中按阶段启用的方式与社区来源的使用注意。

阅读全文
ai数模科研绘图skill:把 CSV 与自然语言需求变成科研风图表

ai数模科研绘图skill(ModelViz,@user_147de1c0/modelviz-skill)是 SkillHub 上面向数学建模与科研可视化的 data-analysis 类 Skill。用户提供 CSV/XLSX/XLS 与自然语言绘图需求后,Skill 先分析趋势、对比、分布或相关性等表达意图,再从上百个内置科研模板中召回并选型,在不修改原始模板的前提下适配数据、检查 Python 依赖、输出 PNG/SVG/PDF 与可复现代码,并针对空白图、字体、标签重叠等问题自动修复。安装可参考 skillhub.cn/install/skillhub.md,使用 skillhub install 指向各客户端 skills 目录。

阅读全文
数学建模 skill:把实际问题拆成可求解的建模流程

数学建模 skill(@user_b392afca/math-modeling)是 SkillHub 社区版 1.0.0 的 data-analysis 类 Skill,无需 API Key。它引导 Agent 完成问题界定、假设与变量、模型构建、求解分析、敏感性检查与报告式呈现,适用于优化、预测、仿真、评估与决策类建模,以及文字题转方程与结构化假设。安装需按 skillhub.cn/install/skillhub.md 安装指定坐标。

阅读全文
DeepSeek Harness 数学建模团队插件包

DeepSeek Harness 插件 `dsh-math-team` 为数学建模竞赛提供标准化协作框架。插件包含面向建模编程的 `model-code` 和面向论文撰写的 `paper` 两类 Agent 预设,支持通过 GitHub/Gitee 进行多人独立工作区协同。核心功能涵盖 M1-M2/P1-P2 等质量门禁,特别是 M2 稳健性攻击、双模型独立审查及强制图审,确保模型与论文质量。该插件需 DSH 0.2.0+ 版本,通过 `link:` 方式安装配置。

阅读全文
GateCraft:门控式数学建模 Skill 套件

GateCraft 是 DeepSeek Harness 的数学建模插件,采用“门控式”工作流将求解过程拆解为读题、建模、代码、分析、写作五阶段,强调人在阶段决策与验收。插件包含 9 个 Skills 和一个 DSH Preset,覆盖国奖写作、LaTeX 排版及全流程编排。其核心是 `paper-gate` 硬约束检查机制,通过事实、不变量、观察三层规则和 `docgate.py` 引擎,对文档进行 13 项自动化检查(含 FAIL/WARN),确保结果可控。此外,插件还提供优化、图件及提示词等辅助工具。该插件主要适用于统计与优化类题目,旨在辅助人机协作,将数模过程从“黑盒”转变为可控流水线

阅读全文
dsh-vision-edge-doubao:用 Edge + 豆包网页版给 DSH 补上识图能力

dsh-vision-edge-doubao 是 iceBear662 开发的 DSH 视觉插件(MIT,v0.1.1),通过驱动本机 Edge �

阅读全文
dsh-ultramath:UltraMath 数学建模竞赛多 Agent 求解插件

dsh-ultramath 是面向数学建模竞赛的 DeepSeek Harness 多 Agent 求解插件,由 Andiii208 开发并采用 MIT 许可证。该插件通过原生 Agent 预设和技能包,将数模求解流程标准化为“读题、框架、推导、编码、验算、论文、审稿”七个阶段,解决了单轮提示词流程破碎的问题。 核心功能包括:提供 UltraMath 主控及数学家、工程师等四个单阶段角色预设;内置 33 篇模型库及论文模板,实现自包含安装,数据幂等同步至本地;设置严格的质量门禁,涵盖独立验算、审稿阻断项、盲评机制及学术诚信七类门控,任一违规即一票否决。此外,引入“数字冻结”机制确保论文数据与代

阅读全文
MathModelingAgent:面向数学建模与竞赛题的证据驱动验证插件

MathModelingAgent 是面向开放式数学建模、预测、优化等任务的 DSH 插件,旨在解决代码运行正常但结论可能错误的问题。其核心机制是将关键结论登记为 Claim,并通过 Obligation 和 Evidence 进行验证,明确区分 PASS、FAIL 和 INCONCLUSIVE 三种状态,特别强调在证据不足时保留 INCONCLUSIVE 状态,避免强行确定结论。 该插件提供两个 Skill:math-modeling-agent 用于推进模型,math-modeling-audit 用于独立审计,不修改原文。支持 Python、Lean、Wolfram 等可选工具进行数值计

阅读全文