メニュー
Detailed Perennial proof tactics reference with proof state examples. Use when you can't understand how a specific tactic works.
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
SOC 職業分類に基づく
| name | perennial-tactics |
| description | Detailed Perennial proof tactics reference with proof state examples. Use when you can't understand how a specific tactic works. |
| disable-model-invocation | false |
Here is the table of contents for the Perennial proof reference (new/proof/PERENNIAL_PROOF_REFERENCE.md):
!grep -n "^### \|^## " new/proof/PERENNIAL_PROOF_REFERENCE.md
Use sed -n 'START,ENDp' new/proof/PERENNIAL_PROOF_REFERENCE.md to extract the relevant section based on the line numbers above. Pick the range from one header to just before the next header.
