Iteratively detect and fix type errors using TypeScript, MyPy, Pyright, or Rust compilers.
npx skills add https://github.com/rogsme/dotfiles --skill typecheck-rogsme
Please help me install this Agent Skill. Skill: typecheck Source: https://github.com/rogsme/dotfiles/tree/main/.claude/skills/typecheck Command: npx skills add https://github.com/rogsme/dotfiles --skill typecheck-rogsme
This Skill unit helps maintain type-safety by automatically detecting and resolving type errors across the codebase, enhancing the quality and reliability of the project.
Execute the typecheck command to begin the type checking process and iterative fix loop.
High-intent search queries and answers about installing and using this skill.
Automated iterative type checking resolves type errors by running type checkers in a loop, detecting mismatches, applying fixes, and verifying corrections until the codebase is type-safe.
Supported type checkers include TypeScript, MyPy, Pyright, and the Rust compiler. The appropriate checker is used to detect and resolve type errors based on your project's ecosystem.
Yes, type checking integrates with commit processes to ensure all code changes adhere to type-safety rules before they are committed, preventing type errors from entering the codebase.
The iterative fix loop detects type errors using a type checker, automatically applies corrections, and re-runs the check to verify the fix, repeating until all type mismatches are resolved.
Yes, you must have the corresponding type checkers for your ecosystem installed, such as TypeScript or MyPy, as they are required to execute type checking commands and manage configurations.
Automated type checking includes configuration rules to avoid unnecessary suppressions and weakenings, but complex type mismatches may require manual intervention if the iterative loop cannot resolve them automatically.
duanbiao2000Enforce Python type safety with annotations, generics, and mypy or pyright.
apakouExecute build, lint, and type safety checks before committing code.
YunosukeYoshinoEnforce Python type safety with Ty across codebases.
rshadeDetect project linting tools and assemble a zero-error execution pipeline.
