jmsc-proofs
Use when stating and proving propositions / theorems for a 《管理科学学报》 (Journal of Management Sciences in China) manuscript — ensuring each result has a precise statement, a complete proof (in appendix), and that the logical chain has no gaps. A model without proven properties is rejected here. Use after jmsc-model-building.
Profile →npx skills add brycewang-stanford/Awesome-Journal-Skills --skill jmsc-proofs --agent claude-code
Same command for any agent — swap --agent for codex, cursor, copilot.
Weekly change comes from our own snapshots, not the repository page — it measures attention, not adoption.
# 命题与证明（jmsc-proofs） ## 触发时机 - 有模型和结论，但没把结论写成命题/定理 - 命题表述含糊（"通常会更优"），不可证伪 - 证明有跳步、"显然"、未处理边界情形 - 审稿质疑"逻辑链不完整 / 证明不严谨" ## 核心：模型必须产出可证明的性质 本刊**有模型无证明 = 拒**。模型的价值由它能证明的性质来体现：最优解的存在唯一、最优策略的结构（阈值型/单调）、比较静态、均衡的存在与刻画、界与近似比。 ## 命题表述规范 - 一条命题只断言一件事，条件（在何假设下）与结论分开写。 - 用精确的数学语言，避免"一般来说/通常"等模糊词。 - 结论应**不平凡且可证伪**：能想象一个它不成立的情形。 - 命题编号与假设编号对应，引用 A1/A2 时写清。 ## 常见性质类型与证明套路 | 性质 | 典型断言 | 证明工具 | |------|----------|----------| | 存在唯一 | 最优解/均衡存在且唯一 | 凸性 + 一阶条件 / 不动点 / 压缩映射 | | 结构性质 | 最优策略是阈值型/单调 | 超模性 / 一阶条件 / 归纳 | | 比较静态 | 最优值对参数单调 | 包络定理 / 隐函数 / Topkis | | 均衡 | Nash/SPE 存在并刻画 | 最优反应 + 不动点 / 逆向归纳 | | 界/近似 | 算法解 ≤ ρ·最优 | 松弛 / 对偶 / 最坏情形分析 | ## 证明完整性自检 - [ ] 每条命题的假设前提与结论精确、分开 - [ ] 证明每一步有依据，没有无理由的"显然/易得" - [ ] 边界与退化情形（端点、约束起作用/不起作用）已处理 - [ ] 存在性与唯一性分别证明（别只证一半） - [ ] 用到的引理已陈述并证明（或给出可核查的出处） - [ ] 证明放附录，正文只给陈述与直觉，保持可读 ## 反模式 - "通过仿真验证"替代"证明"（仿真是验证不是证明） - 命题其实是定义或假设的同义反复 - 证明跳过约束起作用与否的分类讨论 - 一阶条件当充分条件用（没验二阶/凸性） - 引用一个不存在或对不上的"经典结论" ## 本刊证明环节审稿期待与退稿模式 《管理科学学报》在命题-证明环节把关最严："有模型无证明"几乎必拒。下表对齐本刊高频退稿语与修法： | 退稿信号 | 根因 | 本刊期望的修法 | |----------|------|----------------| | "命题表述含糊/不可证伪" | 用"通常更优"等模糊词 | 把条件与结论分写，给出能想象反例的精确断言 | | "证明有跳步/'显然'" | 关键步骤无依据 | 补出每步依据，技术性引理单列并证 | | "只证存在未证唯一" | 把一半当全部 | 分别证存在与唯一；若不唯一则刻画解集 | | "未
- 触发时机
- 核心：模型必须产出可证明的性质
- 命题表述规范
- 常见性质类型与证明套路
- 证明完整性自检
- 反模式
- 本刊证明环节审稿期待与退稿模式
- 微型走查：供应链回购契约的阈值结构证明
- 输出格式
What does the jmsc-proofs skill do?
Use when stating and proving propositions / theorems for a 《管理科学学报》 (Journal of Management Sciences in China) manuscript — ensuring each result has a precise statement, a complete proof (in appendix), and that the logical chain has no gaps. A model without proven properties is rejected here. Use after jmsc-model-building.
How do I install it?
Run `npx skills add brycewang-stanford/Awesome-Journal-Skills --skill jmsc-proofs --agent claude-code` — it drops the skill into your project so the agent can pick it up. Swap the --agent value for codex, cursor or copilot if you use one of those.
Where does this skill come from?
From brycewang-stanford/Awesome-Journal-Skills, a repository with 909 stars. We read it straight from the repository tree rather than a submitted listing, so what you see here is what is actually published.
Is a popular skill a good skill?
Not necessarily. Stars measure attention, not adoption — a repository can trend for a week and be abandoned. That is why we show the weekly change from our own snapshots next to the total, instead of a single flattering number.