skills.rest
bossjones
bossjonesCOMMUNITY
Explore all skills by this author →
WebsiteGitHub

pyrefly-typing

Integrate Pyrefly type checking into a Python project without blocking workflows.

1|Updated Jan 4, 2026
Search Tags:#type checking#Python#non-blocking#project integration#Pyrefly
One-click install
npx skills add https://github.com/bossjones/boss-skills --skill pyrefly-typing
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: pyrefly-typing
Source: https://github.com/bossjones/boss-skills/tree/main/plugins/boss-dev/agent-harness/skills/pyrefly-typing
Command: npx skills add https://github.com/bossjones/boss-skills --skill pyrefly-typing

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill requires pyrefly, and includes scripts (resource) and references (resource) components.

What problem does it solve?

This Skill helps integrate Pyrefly, a non-blocking Python type checker, into a target Python project. It configures the project for type checking without replacing the existing type checker.

Core Features & Use Cases

  • Type Checking Integration: Seamlessly integrates Pyrefly with a target Python project, providing a secondary, non-blocking type-checking signal.
  • Configurable: Allows customization of the type checker integration, including choosing whether to use a migration from existing type checkers.
  • Use Case: When you want to adopt Pyrefly into a project for improved typing feedback, without disrupting the current workflow.

Quick Start

To use the pyrefly-typing skill, run the following command: /pyrefly-typing <target-repo-path>

Frequently Asked Questions about pyrefly-typing

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I integrate non-blocking type checking into a Python project?▼

You can integrate non-blocking type checking into a Python project by applying Pyrefly alongside your existing workflow, providing a secondary typing signal without disrupting current processes. The skill configures this integration automatically for your target repository.

Can I use Pyrefly without replacing my current Python type checker?▼

Yes, you can use Pyrefly without replacing your current Python type checker. It operates as a non-blocking secondary signal, and the integration can optionally be configured to migrate from existing type checkers without removing them.

What Python version and toolchain do I need to set up Pyrefly?▼

To set up Pyrefly, you need Python version 3.11 or later and the 'uv' toolchain installed in your environment. These prerequisites are required to execute the integration script successfully.

How does a non-blocking type checker improve my development workflow?▼

A non-blocking type checker improves your development workflow by providing typing feedback continuously without halting your existing processes. This allows you to catch type errors dynamically while maintaining uninterrupted productivity.

What is the best way to add Pyrefly to an existing repository?▼

The best way to add Pyrefly to an existing repository is by running the integration command targeting your project path, which configures the type checker seamlessly without replacing your current setup or blocking your workflow.

Related Skills

Explore More Software Engineering Skills→
SpillwaveSolutionsSpillwaveSolutions
115

Local Install Skill

Build and install Agent Brain CLI and server locally with Python 3.11, Poetry, and uv.

Official
Advanced
jankneumannjankneumann
4

bug-scrub

Aggregate testing, linting, and security results into prioritized markdown and JSON reports.

Community
Intermediate
phuonghxphuonghx
1

lint-and-validate

Automate linting, formatting, type checking, and security audits for Node.js/TypeScript and Python codebases.

Community
Advanced
Kevin-Liu-01Kevin-Liu-01
16

pr-review

Fetch and classify GitHub PR comments into blocking and non-blocking summaries.

Community
Intermediate