Exécutez n'importe quel Skill dans Manus
en un clic

Exécutez n'importe quel Skill dans Manus en un clic

check

Étoiles2

Forks1

Mis à jour12 mars 2026 à 07:13

Type check a TML source file without compiling. Use when the user wants to verify types, check for errors, or validate code without building.

Installation

Installer avec Codex ou Claude Copiez ce prompt, collez-le dans Codex, Claude ou un autre assistant, puis laissez-le vérifier la page du skill et l'installer pour vous.

Exécuter dans Manus

Source

hivellm

hivellm/tml

Ouvrir le dépôt GitHub Voir les dépôts du créateur

Téléchargement

Exécuter dans Manus

Métiers associésSOC

Basé sur la classification professionnelle SOC

Développeurs de logicielsProfessions informatiques et mathématiques·SOC 15-1252

SKILL.md

readonly

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>

Type Check a TML File

Use the mcp__tml__check MCP tool.

Parse $ARGUMENTS:

file: The .tml file path (required)

Call mcp__tml__check with the file parameter.

Report type check results: success or list of type errors with locations.

Plus depuis ce dépôt

même dépôt

fix-docs

hivellm/tml

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.

2026-04-062

compiler-pipeline

hivellm/tml

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.

2026-03-192

stdlib-architecture

hivellm/tml

Deep knowledge of TML standard library structure, module dependencies, key types, and C runtime mapping. Inject before working on library code.

2026-03-192

affected-tests

hivellm/tml

Detect which tests are affected by recent code changes. Use when the user wants to know what tests to run after making changes.

2026-03-122

artifacts

hivellm/tml

List build artifacts with sizes and ages. Use when the user asks about build outputs, compiled binaries, or disk usage.

2026-03-122

build-compiler

hivellm/tml

Build the TML compiler from C++ sources. Use when the user says "build", "compila", "rebuild", or needs to recompile the compiler after C++ changes.

2026-03-122

Exécutez n'importe quel Skill en un clic