关于 solo
solo 是 math-proof 插件中用于单次会话独立求解数学问题的技能，面向需要形成书面证明的任务。它将题目、推理笔记和最终证明保存在指定运行目录，并支持从未完成的笔记继续。
主要功能
- 01解析题目文本或文件路径
- 02支持指定运行目录
- 03保存问题与推理笔记
- 04从已有笔记继续求解
- 05生成独立完整的 proof.md
适用场景
- 01为数学问题撰写证明
- 02继续未完成的证明过程
- 03将解答整理为可审阅文件
安装
复制下面的命令，在终端中运行。
npx skills add https:/安装后在 Claude Code 中输入/solo确认已加载。
详细介绍
math-proof: solo
你在本次会话中自行解决问题。没有子 Agent，也没有轮次：只有你、一个笔记文件，最后还有 proof.md。
参数。 调用消息的内容为：$ARGUMENTS
它给出问题，以及可选运行目录。按如下方式解读。开头形如 DIR=path 的 token 设定运行目录（若路径包含空格则加引号）；将其移除。其他任何位于开头、形如 NAME=value 的 token，若 NAME 是由两个或更多大写字母和下划线组成的词，且 value 是整数，则是本 skill 不具备的设置：用一句话告知用户 /math-proof:solo 只接受位于问题之前的 DIR=path（round 和 wave 设置属于 /math-proof:siege），并说明如果该 token 是问题本身的一部分，可将问题以文件路径形式给出，然后停止。如果剩余内容是一整行，且将其整体看待——去除首尾空白和一对包裹引号、将反斜杠转义的空格视为空格——是某个现有文件的路径（其中可能包含空格；用 Read 或 Glob 检查，不要用 shell），该文件即为问题文件；如果不存在这样的文件，且剩余内容只可能是一个文件路径——以 .md、.txt 或 .tex 结尾的一整行，或一个包含 "/" 或 "" 的单个 token（去除引号后不含空格）——用一句话告知用户在你查找的绝对路径下不存在该文件（给出该路径），并说明可将问题在命令后以完整文本形式给出，然后停止；否则，剩余的全部内容，直到消息结尾，就是问题陈述，原样保留——包括数学内容、换行等（"n=3"、"N=pq" 和 "AB=AC" 是数学，不是设置）。运行目录 DIR 默认为当前目录下的 ./math-proof-solo；下文一律使用 DIR 的绝对路径。如果消息中既无可读的问题文件，也无任何问题文本，用一句话说明——并给出用法 /math-proof:solo <problem statement, or the path of a file holding it> ——然后停止。
设置。 本次运行的文件为 DIR/problem.md（问题）、DIR/notes.md（你的笔记）和 DIR/proof.md（交付物）。用 mkdir -p 创建 DIR。如果 DIR/notes.md 已存在，则说明该问题已在 DIR 中被处理过：检查 DIR/problem.md 是否与你收到的问题相同（比较文本，忽略空白和行尾差异；若是文件，用 cmp）——如果不同，用一句话说明 DIR 中保存的是另一个问题的工作，且 DIR=<another directory> 可选择一个新的目录，然后停止；如果相同，读取 DIR/notes.md，以及 DIR/proof.md（若存在）。如果它们记录该解答已完成（proof.md 已写入，且笔记中无未完成事项），则先前会话已完成：说明 proof.md 在哪里，并说明 DIR=<another directory> 可开始新的尝试，然后停止。否则，先前会话在完成前结束，其未写下的推理已丢失：从那里记录的最后一点继续，而不是从头开始。如果 DIR/notes.md 尚不存在，将问题放入 DIR/problem.md：若其以文件形式给出，用 cp 将该文件逐字节复制到此处；若其以调用消息中的文本形式给出，则精确写入该文本（不添加、删除或改写任何内容）。然后完整读取 DIR/problem.md；它是问题的权威文本。shell 除该 mkdir、cp 和 cmp 外不得用于其他任何用途。
任务。 解决 DIR/problem.md 中陈述的问题；交付物是 DIR/proof.md。完成推理后，写出你的答案。此任务以对话形式运行，可以跨越许多消息，每条消息都有有限的输出配额；被截断的消息通常后面会跟着一个继续的请求，只有你已写出的内容（而非未写出的推理）才保证能带入下一条消息。因此，请边推进边写出你的工作成果，写到一个笔记文件 DIR/notes.md 中：每当你确定某件事——一个引理及其证明、一个归约、一个死胡同及其为何是死胡同、你现在正试图证明的精确陈述——都要在继续推理之前把它写下来。部分答案远比没有答案有用。写入笔记并不意味着完成——每次写入后都要继续。重要：每条消息的输出配额也涵盖你的私有推理，而且它远小于一个难题应得的量——一条完全用于推理、什么都没写出的消息会被截断，而未写出的推理应被视为已丢失。所以不要试图在一条消息内完成。分阶段推进：在每条消息的最开始、在任何长篇推导之前，把你当前的计划和正试图证明的精确陈述写入 DIR/notes.md；然后朝下一个具体的中间结果推理，一旦得到就把它追加到笔记中，并继续。许多简短的已写出步骤胜过一个漫长的未写出步骤。如果你的一条消息被截断，请重新阅读 DIR/notes.md，并从那里最后写下的内容继续；绝不要从头开始。你无法访问网络，也无法执行代码；这是一项纯推理任务。当问题得到解决，或你已将其推进到力所能及的极限时，把你的完整解答写入 DIR/proof.md。proof.md 会被一位无法打开任何其他文件（也无法打开你的笔记）的裁判单独阅读，因此它必须自足：解答所依赖的每一个论证都要在其中完整写出。独立工作：没有人可以回答问题，所以绝不要停下来询问。
当 DIR/proof.md 写好后，简短回复：proof.md 在哪里，以及它是完全解决了问题，还是用 proof.md 自己的话说，它留下了什么未决之处。