sunholo-data

Ailang Check — Development skill for Claude Code

Development community

Type-check AILANG code: /ailang-check.

How to install Ailang Check

Installs to ~/.claude/skills/sunholo-data-ailang_bootstrap-ailang-check/SKILL.md

Terminal

mkdir -p ~/.claude/skills/sunholo-data-ailang_bootstrap-ailang-check && curl -fsSL https://raw.githubusercontent.com/sunholo-data/ailang_bootstrap/HEAD/commands/ailang-check.md -o ~/.claude/skills/sunholo-data-ailang_bootstrap-ailang-check/SKILL.md

Restart Claude Code, or start a new session, for it to be picked up.

What Ailang Check does

description: "Type-check AILANG code: /ailang-check " arguments:

name: file description: Path to .ail file required: true

Type-check the AILANG file at `$1`:

ailang check $1

If there are type errors, explain what they mean and suggest fixes using the ailang-debug skill patterns.

Common errors:

"undefined variable" → Need to import or define the function
"expected }, got let" → Missing semicolon between statements
"No instance for Num[string]" →

Alternatives in Development

Claude SEO — Universal SEO skill for Claude Code 3.2k ★
Claude Code Prompt Improver — Intelligent prompt improver hook for Claude Code 1.3k ★
Type Definitions 330 ★