用途：siege 是 math-proof 插件里的一个技能，用于集中攻克单个困难数学问题。它不自己解题，而是作为编排者，按固定轮次协议调度多个子代理完成推理与核验。
主要能力：每轮由评审子代理提出若干自包含问题，交给只看到该问题与题面、彼此独立的新工作子代理作答；评审读取答案、重写运行摘要，并维护一份标记为 PROVED、REFUTED 或 OPEN 的论断台账。第 1 轮设定目标，之后可更换或提高目标；若某答案包含对目标的完整证明或反证，会由另外两个工作子代理逐行核验，两者都通过后评审才可结束或提高目标。轮次结束后评审写出自包含的 proof.md，再由工作子代理检查并定稿，其中 Status 段说明已证与未证内容。
使用方式：以 /math-proof:siege [NAME=value …] <题面或题面文件路径> 调用。可在开头用 NAME=value 覆盖设置：DIR、ESC_ROUND、WAVE、WAVE_DEEP、MAX_ROUNDS、MIN_ROUNDS、REFINE_STEPS、MAX_COMMIT。运行目录默认 ./math-proof-run。记账脚本为 scripts/ledger.py，需 Python 3.7 以上，可用 python3 或 python 调用。
适用场景与限制：适合需要多轮探索与严格核验的单个数学证明问题。它不自行做数学推理，也不判断数学内容；必须严格按步骤执行，不得跳过、合并或重排步骤。资料未提供收费、价格、平台与效果信息。