pyrefly-type-coverage
Pass
Audited by Gen Agent Trust Hub on Sep 15, 2026
Risk Level: SAFE
Full Analysis
- [Tool Integration]: The skill integrates with 'pyrefly' and 'lintrunner', standard linting/type-checking tools within the Python ecosystem. It correctly advises against automatic installation of missing tools, deferred instead to the environment setup.
- [Safe Refactoring Practices]: It provides detailed rungs for type resolution (Precise Types → TypeVars → Protocols → Any) which promotes type safety without breaking runtime behavior.
- [Least Privilege/Scope]: Explicitly instructs the user to avoid 'widening the scope' of changes to other files and to use local suppressions only when external dependencies are the source of errors.
- [Testing Integration]: Requires running existing project tests (e.g., pytest) to ensure that type annotation changes do not introduce runtime regressions.
- [No Remote Execution]: The skill does not download external scripts, make unauthorized network requests, or execute arbitrary code from untrusted sources. All commands are local lints and tests typical of a developer workflow.
Audit Metadata