メニュー
Type check a TML source file without compiling. Use when the user wants to verify types, check for errors, or validate code without building.
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
SOC 職業分類に基づく
Detect and fix documentation violations across C++ compiler and TML library code. Scans for missing ///, undocumented public items, wrong comment styles, and auto-fixes using parallel agents. Use when the user says "fix docs", "audit docs", "documenta", "corrige docs", or wants to improve documentation coverage.
Deep knowledge of TML compiler internals. Inject before working on compiler C++ code. Maps the full pipeline with key functions, types, and cross-subsystem boundaries.
Deep knowledge of TML standard library structure, module dependencies, key types, and C runtime mapping. Inject before working on library code.
Detect which tests are affected by recent code changes. Use when the user wants to know what tests to run after making changes.
List build artifacts with sizes and ages. Use when the user asks about build outputs, compiled binaries, or disk usage.
Build the TML compiler from C++ sources. Use when the user says "build", "compila", "rebuild", or needs to recompile the compiler after C++ changes.
| name | check |
| description | Type check a TML source file without compiling. Use when the user wants to verify types, check for errors, or validate code without building. |
| user-invocable | true |
| argument-hint | <file.tml> |
Use the mcp__tml__check MCP tool.
Parse $ARGUMENTS:
.tml file path (required)Call mcp__tml__check with the file parameter.
Report type check results: success or list of type errors with locations.