菜单
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.