Agent Skills: 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.
UncategorizedID: rand/cc-polymath/typed-holes-refactor
Install this agent skill to your local
Skill Files
Browse the full folder contents for typed-holes-refactor.
Loading file tree…
Select a file to preview its contents.