Marketplace
typed-holes-refactor
Refactor codebases using Design by Typed Holes methodology - iterative, test-driven refactoring with formal hole resolution, constraint propagation, and continuous validation. Use when refactoring existing code, optimizing architecture, or consolidating technical debt through systematic hole-driven development.
$ 安裝
git clone https://github.com/rand/cc-polymath /tmp/cc-polymath && cp -r /tmp/cc-polymath/skills/typed-holes-refactor ~/.claude/skills/cc-polymath// tip: Run this command in your terminal to install the skill
Repository
rand
Author
rand/cc-polymath/skills/typed-holes-refactor
33
Stars
2
Forks
Updated1w ago
Added1w ago