このセッション内で、複雑な数学の問題に1つ取り組みます。他のエージェント（補助的なAI）は使わず、自分自身で段階を踏んで考えます。 **特徴:** - 解いたステップごとに記録ファイルに保存するため、回答が途中で切れても記述内容は失われません - 最後に自己完結した証明ファイル（proof.md）を作成します **使用方法:** ``` /math-proof:solo <問題の全文、またはそれを記載したファイルのパス> ```
Work on one hard mathematics problem in this session yourself, with no sub-agents: reason in stages, record each settled step in a notes file so that nothing written is lost if a response is cut off, and end with a self-contained proof.md. Usage: /math-proof:solo <the problem, stated in full, or the path of a file holding it>.
このスキルでは、あなた自身が単独で問題を解きます。サブエージェント（補助的な別プログラム）もラウンド（段階）もなく、あなたと、メモファイル、そして最終的には proof.md だけです。
引数の読み取り。呼び出しメッセージは次のとおりです: $ARGUMENTS
メッセージから問題と、実行ディレクトリ（作業用フォルダ）を読み取ります。メッセージの先頭にある DIR=パス という形式のトークンは実行ディレクトリを指定します（パスに空白を含む場合は引用符で囲む）。それを削除してください。その他の先頭のトークンで NAME=値 の形式（NAME は2文字以上の大文字と下線で構成される単語、値は整数）のものは、このスキルが対応していない設定です。その場合は、/math-proof:solo は DIR=パス のみを問題前に受け付けることをユーザーに1文で説明してください（ラウンドと波の設定は /math-proof:siege に属する）。そのトークンが問題自体の一部なら、問題をファイルパスとして与えるよう説明して、停止してください。残りがすべて削除された場合、単一行で（前後の空白と1組の引用符を削除し、バックスラッシュでエスケープされたスペースは通常のスペースとして読む）、既存ファイルのパスとして解釈できれば、そのファイルが問題ファイルです。該当ファイルが存在せず、残りがファイルパスにしかなり得ない場合（単一行で .md、.txt、.tex で終わる、または単一トークンで「/」や「\」を含む）は、探したその絶対パスにファイルが存在しないことをユーザーに1文で説明し、問題をコマンド後のテキストとして与えるよう提案して、停止してください。それ以外の場合、残り全体が問題文そのもの（数式、改行を含む）です（「n=3」「N=pq」「AB=AC」は設定ではなく数学表記）。実行ディレクトリは デフォルトで ./math-proof-solo（現在のディレクトリ配下）です。以降、DIR の絶対パスを使用してください。メッセージに読み取り可能な問題ファイルも問題テキストもない場合は、1文で説明してください（使用法: /math-proof:solo <問題文、またはそれを含むファイルのパス>）。
準備。実行ファイルは DIR/problem.md（問題）、DIR/notes.md（メモ）、DIR/proof.md（成果物）です。mkdir -p で DIR を作成してください。DIR/notes.md がすでに存在する場合、この問題は DIR で既に作業中です。DIR/problem.md が同じ問題か確認してください（テキストを比較し、空白と改行の違いは無視。ファイルの場合は cmp を使用）。異なる場合は、DIR が別の問題を含んでいることを1文で説明し、DIR=<別のディレクトリ> で新規開始するよう提案して、停止してください。同じ場合は、DIR/notes.md と DIR/proof.md（存在すれば）を読んでください。それらが解決済みを記録していれば（proof.md が書き込まれ、notes に未完了がない）、前のセッションは終了しています。proof.md の場所を伝え、DIR=<別のディレクトリ> で新規開始できることを説明して、停止してください。そうでなければ、前のセッションは完了前に終了しており、記録されていない推論は失われています。最初からやり直すのではなく、notes に最後に記録された地点から続行してください。DIR/notes.md がまだ存在しない場合は、問題を DIR/problem.md に配置してください。ファイルから来た場合は、cp でそのファイルをバイト単位で複写。メッセージのテキストから来た場合は、Write でそのテキストそのものを記述（追加・削除・言い換えなし）。その後、DIR/problem.md 全体を Read してください。それが問題の公式テキストです。シェルは mkdir、cp、cmp のみに使用してください。
タスク。DIR/problem.md の問題を解く。成果物は DIR/proof.md です。推論の後、答えを書いてください。このタスクは複数メッセージにまたがる会話として実行され、各メッセージの出力量は制限されます。メッセージが途中で切れるのは通常のことで、続行要求が続きますが、あなたが「書いた」もの（未編集の推論ではなく）だけが次メッセージに引き継がれます。だからこそ、進むにつれて、メモファイル DIR/notes.md に作業成果を記述してください。補題とその証明、簡約化、行き止まりとその理由、現在取り組んでいる正確な主張を定めたら、それを書き込んでから、さらに推論を進めてください。部分的な答えは何もないより有用です。notes への記述は終了ではなく、各書き込み後も続行してください。重要: 各メッセージの出力量は個人的な推論もカバーし、難問に見合う量より遥かに小さい。推論だけに費やされた（何も書かれない）メッセージは切られ、未記述の推論は失われると見なしてください。だから1つのメッセージで終わろうとしないでください。段階的に進む: 「すべてのメッセージの早い段階で」、長い導出の前に、現在の計画と取り組んでいる正確な主張を DIR/notes.md に書いてください。次の具体的な中間結果に向けて推論し、得たらすぐに notes に追記、そして続行してください。多くの短い書き込みは、1つの長い未記述ステップより優れています。あなたのメッセージが切れたら、DIR/notes.md を読み直し、そこに最後に書かれたことから続行してください。最初からやり直さないでください。ウェブアクセスもコード実行もなく、純粋な推論タスクです。問題が解決したか、または対処可能な限界に達したら、完全な解法を DIR/proof.md に書いてください。proof.md は他のファイル（notes も）を開けない査読者が単独で読むので、自己完結型である必要があります。解法が依存するすべての議論を proof.md に完全に書き出してください。無人で作業進行: 質問に答える人はいないので、決して止まらないでください。
DIR/proof.md が書き込まれたら、簡潔に返信してください: proof.md の場所、および問題を完全に解決したか、それとも proof.md 自身の言葉で「何を未解決のままにしたか」です。
You solve the problem yourself, in this session. There are no sub-agents and no rounds: just you, a notes file and, at the end, proof.md.
Arguments. The invoking message reads: $ARGUMENTS
It gives the problem and, optionally, the run directory. Read it this way. A token of the form DIR=path at its
start sets the run directory (the path quoted if it contains spaces); remove it. Any other leading token of the
form NAME=value, where NAME is a word of two or more capital letters and underscores and value is a whole number,
is a setting this skill does not have: tell the user in one sentence that /math-proof:solo takes only DIR=path
before the problem (round and wave settings belong to /math-proof:siege), and that if the token is part of the
problem itself the problem can be given as a file path instead, and stop. If what remains is a single line
that, taken as a whole — surrounding whitespace and one pair of enclosing quotation marks removed,
backslash-escaped spaces read as spaces — is the path of an existing file (it may contain spaces; check with
Read or Glob, not the shell), that file is the problem file; if no such file exists and what remains can only
be a file path — a single line ending in .md, .txt or .tex, or a single token (no spaces once the quotes are
removed) containing "/" or "" — tell the user in one sentence that no file exists at the absolute path you
looked for (give it) and that the problem can instead be given in full as text after the command, and stop;
otherwise everything that remains, to the end of the message, IS the problem statement, verbatim — mathematics,
line breaks and all ("n=3", "N=pq" and "AB=AC" are mathematics, not settings). The run directory DIR defaults to
./math-proof-solo under the current directory; use DIR's absolute path everywhere below. If the message holds
neither a readable problem file nor any problem text, say so in one sentence — with the usage,
/math-proof:solo <problem statement, or the path of a file holding it> — and stop.
Setup. The run's files are DIR/problem.md (the problem), DIR/notes.md (your notes) and DIR/proof.md (the
deliverable). Create DIR with mkdir -p. If DIR/notes.md already exists, this problem was already being
worked on in DIR: check that DIR/problem.md is the same problem you were given (compare the text, ignoring
differences in whitespace and line endings; for a file, cmp) — if it differs, say in one sentence that DIR
holds work on a different problem and that DIR=<another directory> selects a fresh one, and stop; if it is
the same, read DIR/notes.md, and DIR/proof.md if it exists. If they record the solution as complete (proof.md
written and nothing in the notes still to do), the earlier session finished: say where proof.md is and that
DIR=<another directory> starts a fresh attempt, and stop. Otherwise the earlier session ended before it
finished, and whatever reasoning it had not written down is lost: continue from the last point recorded there
rather than starting over. If DIR/notes.md does not exist yet, put the problem at DIR/problem.md: if it came as
a file, copy that file there byte for byte with cp; if it came as text in the invoking message, Write
exactly that text (nothing added, removed or reworded). Then Read DIR/problem.md in full; it is the authoritative text of the problem. Use the shell for
nothing but that mkdir, cp and cmp.
The task. Solve the problem stated in DIR/problem.md; the deliverable is DIR/proof.md. After reasoning, write your answer. This task runs as a conversation that can span many messages, each with a bounded output allowance; a message that is cut off is normally followed by a request to continue, and only what you have WRITTEN (not unwritten reasoning) is guaranteed to carry into the next message. So write your work product out as you go, in a notes file, DIR/notes.md: whenever you settle something — a lemma and its proof, a reduction, a dead end and why it is dead, the precise statement you are now attempting — write it down before reasoning further. A partial answer is much more useful than none. Writing to the notes is not finishing — keep going after each write. Important: each message's output allowance also covers your private reasoning, and it is far smaller than a hard problem deserves — a message spent entirely on reasoning, with nothing written, gets cut off, and unwritten reasoning should be assumed lost. So do not try to finish in one message. Work in stages: early in EVERY message, before any long derivation, write your current plan and the precise statement you are attempting to DIR/notes.md; then reason toward the next concrete intermediate result, append it to the notes as soon as you have it, and continue. Many short written steps beat one long unwritten one. If a message of yours is cut off, re-read DIR/notes.md and continue from the last thing written there; never start over. You have no web access and no code execution; this is a pure reasoning task. When the problem is resolved, or you have taken it as far as you can, write your complete solution to DIR/proof.md. proof.md is read on its own by a referee who cannot open any other file (not your notes either), so it must be self-contained: every argument the solution relies on is written out in full there. Work unattended: there is no one to answer questions, so never stop to ask.
When DIR/proof.md is written, reply briefly: where proof.md is, and whether it resolves the problem completely or, in proof.md's own words, what it leaves open.
原文・著作権は Anthropic および各プラグイン作者に帰属します。日本語訳は Claude API による自動翻訳です。