メニュー
Solve competition mathematics problems with rigorous proofs. Activates when asked to 'solve this IMO problem', 'prove this olympiad inequality', or 'find all functions satisfying'.
デフォルトでは、最初にソースを確認する Prompt が選択されています。直接コマンドに切り替えるか、ローカルコピーをダウンロードすることもできます。
インストールを決める前に、SKILL.md と SkillsMP に表示されている付属ファイルをお読みください。
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
直接コマンドでは確認用 Prompt が省略されます。実行前にソースを確認してください。
npx skills add https://github.com/stbenjam/skillsaw --skill activates-when-askedコマンドは1行のまま表示されます。コピー前に横へスクロールして全体を確認してください。
ローカルで確認しますか？SkillsMP が現在取得できるファイルをダウンロードできます。
Analyze upstream specs (agentskills.io, Claude Code plugin/marketplace format, OpenAI Codex plugins/marketplace, OpenClaw, MCP and MCP Registry, CodeRabbit, APM) for changes, identify gaps in skillsaw's rule coverage, and create or update PRs to close those gaps. Use when performing periodic maintenance on the skillsaw linter.
Use when reviewing database migration plans for rollback coverage and schema compatibility before approval.
Review schema migration plans. Use when preparing database schema changes.
SOC 職業分類に基づく
SKILL.md を表示中
| name | activates-when-asked |
| description | Solve competition mathematics problems with rigorous proofs. Activates when asked to 'solve this IMO problem', 'prove this olympiad inequality', or 'find all functions satisfying'. |
Work the problem on paper first: restate what is given, list candidate techniques, and only then commit to a proof. Every step must be justified; a proof that skips a case is not a proof.
