refactor

This skill should be used when the user asks to "refactor", "extract function", "rename", "improve code quality", "reduce duplication", or "remove code smell". Supports Lean 4 and general refactoring patterns.

$ インストール

git clone https://github.com/takoeight0821/ziku /tmp/ziku && cp -r /tmp/ziku/type-inference-improvements/.claude/skills/refactor ~/.claude/skills/ziku

// tip: Run this command in your terminal to install the skill