メニュー
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