Menu
Run Mypy type checker on Python code. Use to verify type annotations and catch type errors before commits.
Installer avec Codex ou Claude Copiez ce prompt, collez-le dans Codex, Claude ou un autre assistant, puis laissez-le vérifier la page du skill et l'installer pour vous.
Basé sur la classification professionnelle SOC
Run matmul performance benchmarks. Use when user wants to measure TFLOPS, compare kernel performance, or verify correctness after code changes.
SM120 (Blackwell) CUDA expert. Use for wgmma/mma PTX inline assembly, TMA, narrow precision (FP4/FP6/FP8), and block-scaled GEMM development.
View and analyze build logs. Use when user wants to see build errors, check previous build output, or debug build failures.
Run LLM inference tests with Qwen or other models. Use when testing model loading, inference, CUDA Graph, or generation quality.
Run all checks including lint, typecheck, and tests. Use before creating PRs or for comprehensive validation.
CUDA kernel development workflow. Use when writing, testing, or optimizing GPU kernels. Follows the Edit-Build-Validate-Benchmark-Commit cycle.
| name | typecheck |
| description | Run Mypy type checker on Python code. Use to verify type annotations and catch type errors before commits. |
Run Mypy with project-specific settings.
python -m mypy src/ --ignore-missing-imports --disable-error-code=union-attr --disable-error-code=no-redef --disable-error-code=no-any-return --disable-error-code=attr-defined --disable-error-code=assignment --disable-error-code=arg-type --disable-error-code=index --disable-error-code=misc
These are disabled for compatibility with the native module and dynamic types:
union-attr: Union type attribute accessno-redef: Function redefinitionno-any-return: Return Any typeattr-defined: Dynamic attributesassignment: Dynamic assignment typesarg-type: Argument type mismatchesindex: Index type errorsmisc: Miscellaneous errorssrc/ directory