用途：为 JET 类经济理论论文打磨假设、结果与证明架构，相当于理论论文的“识别策略”替身。触发情形包括：已有候选定理需让假设与证明经得起审稿；审稿人可能追问“假设X是否必要”“一般情形是否成立”；在干净特例与更一般但晦涩的表述之间做取舍。
主要能力与清单： 假设方面，要求每条假设在被使用前正式陈述（定义域、正则性如连续性、凸性、单交叉、有限性）；每条假设承重，能指出去掉后失效的步骤；不得在证明中偷塞假设；讨论必要性，用反例说明去掉关键假设后什么会坏。 结果方面，主结果应为编号且自足干净的定理/命题/刻画；把一般性、存在性、唯一性与比较静态拆为独立陈述；陈述恰好等于所证内容，不做超出证明的“本质上”主张。 证明阐述方面，证明架构可见：引理按依赖顺序排列，长证明给一段路线图；点名并说明关键步骤（不动点、对偶、归纳、包络/显示论证）；冗长技术证明移至附录，正文保留思路；记号前后一致。 一般性与可处理性方面，为所选一般性程度辩护，透明的特例可能优于无法核验的一般结果；任何限制（有限类型、两人）须标为范围限制而非隐藏。
假设集架构分三层：维持性结构（模型本身，放在模型节以文字与定义呈现，不编号）；经济假设（单交叉、私有价值、独立性、模糊态度、可替代性，编号 A1、A2…，各有经济内容与必要性讨论）；技术正则性（紧性、连续性、可测性，最后编号，仍说明用于哪一步）。审稿人先查定理是否恰好量化于编号假设。
用法与输出：给出定理精确陈述、假设（各假设用在哪一步、必要性反例或留作开放问题）、证明骨架（引理顺序→点名关键论证→附录转移）、一般性判断（特例干净／一般但可核验／一般不可核验应拒），并接续贡献框定、图表或反驳等下一步。
限制：资料未提供具体收费、平台、安装命令或价格信息；本技能面向理论论文写作与审稿应对，不涉及数据识别设计。