Menu
Type check a TML source file without compiling. Use when the user wants to verify types, check for errors, or validate code without building.
Install with Codex or Claude Copy this prompt, paste it into Codex, Claude, or another assistant, and let it review the skill page and install it for you.
Based on SOC occupation classification
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.