typed-holes-refactor
✓Refactorisez les bases de code à l'aide de la méthodologie Design by Typed Holes - refactoring itératif et piloté par des tests avec résolution formelle des trous, propagation des contraintes et validation continue. À utiliser lors de la refactorisation du code existant, de l'optimisation de l'architecture ou de la consolidation de la dette technique grâce à un développement systématique axé sur les trous.
Installation
SKILL.md
Systematically refactor codebases using the Design by Typed Holes meta-framework: treat architectural unknowns as typed holes, resolve them iteratively with test-driven validation, and propagate constraints through dependency graphs.
Run tests on main branch - they should all pass. These are your safety net.
| Nano | 1-2 hours | Simple, mechanical changes | Rename files, update imports | | Small | 4-8 hours | Single module refactor | Extract class, consolidate functions | | Medium | 1-3 days | Cross-module changes | Define interfaces, reorganize packages | | Large | 4-7 days | Architecture changes | Layer extraction, pattern implementation |
Refactorisez les bases de code à l'aide de la méthodologie Design by Typed Holes - refactoring itératif et piloté par des tests avec résolution formelle des trous, propagation des contraintes et validation continue. À utiliser lors de la refactorisation du code existant, de l'optimisation de l'architecture ou de la consolidation de la dette technique grâce à un développement systématique axé sur les trous. Source : rand/cc-polymath.
Faits (prêts à citer)
Champs et commandes stables pour les citations IA/recherche.
- Commande d'installation
npx skills add https://github.com/rand/cc-polymath --skill typed-holes-refactor- Source
- rand/cc-polymath
- Catégorie
- </>Développement
- Vérifié
- ✓
- Première apparition
- 2026-02-01
- Mis à jour
- 2026-02-18
Réponses rapides
Qu'est-ce que typed-holes-refactor ?
Refactorisez les bases de code à l'aide de la méthodologie Design by Typed Holes - refactoring itératif et piloté par des tests avec résolution formelle des trous, propagation des contraintes et validation continue. À utiliser lors de la refactorisation du code existant, de l'optimisation de l'architecture ou de la consolidation de la dette technique grâce à un développement systématique axé sur les trous. Source : rand/cc-polymath.
Comment installer typed-holes-refactor ?
Ouvrez votre terminal ou outil de ligne de commande (Terminal, iTerm, Windows Terminal, etc.) Copiez et exécutez cette commande : npx skills add https://github.com/rand/cc-polymath --skill typed-holes-refactor Une fois installé, le skill sera automatiquement configuré dans votre environnement de programmation IA et prêt à être utilisé dans Claude Code ou Cursor
Où se trouve le dépôt source ?
https://github.com/rand/cc-polymath
Détails
- Catégorie
- </>Développement
- Source
- skills.sh
- Première apparition
- 2026-02-01