Iteratively run Pyright and apply code fixes to resolve Python type errors.
npx skills add https://github.com/Ruclo/thesis-artifact --skill v2-pyright-heal
Please help me install this Agent Skill. Skill: v2-pyright-heal Source: https://github.com/Ruclo/thesis-artifact/tree/main/v2/skills/v2-pyright-heal Command: npx skills add https://github.com/Ruclo/thesis-artifact --skill v2-pyright-heal
This Skill resolves persistent Python type errors and attribute mismatches by iteratively running the Pyright type checker and applying targeted code fixes to ensure codebase integrity.
Run the v2-pyright-heal skill on the specified file path to automatically detect and fix all type-related errors.
High-intent search queries and answers about installing and using this skill.
You can automatically fix Python type errors by iteratively running Pyright and applying programmatic code edits to resolve missing imports, incorrect attributes, and type mismatches until the codebase passes strict type checking.
The best way to resolve post-refactoring type checking failures is to use an automated iterative healing process that parses Pyright logs and patches type mismatches and undefined variables in-place without relying on type-ignore comments.
Yes, you need a functional environment with uv and pyright installed to perform automated type analysis and apply targeted in-place file modifications for strict type safety.
Automated type fixing intelligently handles missing imports, incorrect attribute access, type mismatches, and undefined variables in Python source files by applying targeted code patches instead of using type-ignore comments.
The iterative healing process continuously runs Pyright and applies fixes until the code is completely clean or the predefined iteration limit is reached, ensuring semantic correctness without infinite loops.
Using type-ignore comments masks underlying semantic issues, whereas applying programmatic code edits resolves the actual type mismatches and attribute errors, maintaining strict type safety and codebase integrity.
RucloIteratively run Pyright and apply corrective edits to Python source files.
JeffallanGenerate type-safe async Python 3.11+ code with pytest and mypy checks.
XekriRedmaneDetect and replace multi-instruction assembly patterns with macros in .nw files.
TheBushidoCollectiveEnforce Python type safety with mypy, Protocols, TypedDict, and Generics.
