Skills
.Work. You
Rest

pyrefly-type-coverage

Community

Tighten Python types with Pyrefly.

Software Engineering#linting#python#static-analysis#annotations#type-checking#type-coverage#pyrefly
Authorsteleman
Version1.0.0
Installs0

System Documentation

What problem does it solve?

Pyrefly-type-coverage helps teams improve Python type safety by guiding removal of blanket suppression and adding precise type annotations through Pyrefly configurations and checks.

Core Features & Use Cases

  • Remove suppression directives like pyre-ignore-all-errors to enable type checking.
  • Add per-file or per-directory sub-configs to pyrefly.toml to enforce stricter type checks.
  • Run Pyrefly checks to surface missing annotations and progressively annotate code.
  • Use in projects aiming for robust type safety across large codebases.

Quick Start

Remove existing suppression comments, configure pyrefly.toml, and run pyrefly check on your target file.

Dependency Matrix

Required Modules

None required

Components

Standard package

💻 Claude Code Installation

Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.

Please help me install this Skill:
Name: pyrefly-type-coverage
Download link: https://github.com/steleman/pytorch-cuda-2.11.0/archive/main.zip#pyrefly-type-coverage

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.