pytorch/pyrefly-type-coverage

Que fait pyrefly-type-coverage ?

Migre un fichier pour utiliser une vérification de types Pyrefly plus stricte avec des annotations requises pour toutes les fonctions, classes et attributs.

Aperçu

Cette compétence automatise l'ajout d'annotations de type manquantes dans un fichier Python afin de satisfaire les exigences de couverture de types de Pyrefly. Elle s'adresse aux développeurs souhaitant renforcer la sécurité de typage de leur codebase.

Utilisation

1. Exécutez la compétence sur le fichier cible.
2. La compétence analyse le fichier et identifie les fonctions, classes et attributs sans annotation de type.
3. Elle ajoute automatiquement des annotations de type appropriées en se basant sur les inférences et les conventions du projet.
4. Après la migration, le fichier respecte les règles strictes de Pyrefly.

Plateformes supportées

• Claude Code
• Cursor
• Codex

Exemple

# Avant
def add(a, b):
    return a + b

# Après
def add(a: int, b: int) -> int:
    return a + b