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.
Third-Party Skill: Review the code before installing. Skills execute in your AI assistant's environment and can access your files. Learn more about security
Installation
View all platforms →skilz install rand_cc-polymath/typed-holes-refactor skilz install rand_cc-polymath/typed-holes-refactor --agent opencode skilz install rand_cc-polymath/typed-holes-refactor --agent codex skilz install rand_cc-polymath/typed-holes-refactor --agent gemini
First time? Install Skilz: pip install skilz
Works with 14 AI coding assistants
Cursor, Aider, Copilot, Windsurf, Qwen, Kimi, and more...
Extract and copy to ~/.claude/skills/ then restart Claude Desktop
git clone https://github.com/rand/cc-polymath cp -r cc-polymath/skills/typed-holes-refactor ~/.claude/skills/ Need detailed installation help? Check our platform-specific guides:
Related Skills
holistic-linting
This skill should be used when the model needs to ensure code quality through comprehensive linting and formatting. It provides automatic linting work...
brainstorming-skill
This skill should be used when users need to generate ideas, explore creative solutions, or systematically brainstorm approaches to problems. Use when...
lark-agent
| Create hierarchical Lark tasks from markdown test plans. ACTIVATE THIS SKILL when user: - Says "create lark tasks" or "process test file" or "conver...
programming-swift
Provides the complete content of 'The Swift Programming Language (6.2.1)' book by Apple. Use this skill when you need to verify Swift syntax, look up ...
Details
- Owner
- rand
- Repository
- cc-polymath
- Stars
- 43
- Forks
- 6
- Type
- Technical
- Meta-Domain
- development
- Primary Domain
- github
- Sub-Domain
- description skill
- Skill Size
- 188.8 KB
- Files
- 18
- Quality Score
- 69.7
AI-Detected Topics
Extracted using NLP analysis
Browse Category
More development skillsReport Security Issue
Found a security vulnerability in this skill?