菜单
Run Mypy type checker on Python code. Use to verify type annotations and catch type errors before commits.
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 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