ailang-marketplace

AILANG Bootstrap

Quick start package for using AILANG with AI coding agents (Claude Code, Gemini CLI).

AILANG is a deterministic programming language designed for AI code synthesis and reasoning.

Installation

Gemini CLI

gemini extensions install sunholo-data/ailang_bootstrap

The extension automatically downloads the correct AILANG binary for your platform.

Claude Code

# Step 1: Add the marketplace
/plugin marketplace add sunholo-data/ailang_bootstrap

# Step 2: Install the plugin
/plugin install ailang@sunholo-data/ailang_bootstrap

Or clone and add locally:

git clone https://github.com/sunholo-data/ailang_bootstrap
/plugin marketplace add ./ailang_bootstrap
/plugin install ailang@ailang_bootstrap

Manual Installation

Download a platform-specific release from GitHub Releases:

Platform	Architecture	Asset
macOS	Apple Silicon	darwin.arm64.ailang-bootstrap.tar.gz
macOS	Intel	darwin.x64.ailang-bootstrap.tar.gz
Linux	x64	linux.x64.ailang-bootstrap.tar.gz
Windows	x64	win32.x64.ailang-bootstrap.zip

Each release includes the AILANG binary pre-bundled.

What's Included

Skills (Claude Code)

Skill	Purpose
ailang	Write, run, and develop with AILANG
ailang-debug	Error recovery and debugging help
ailang-inbox	Cross-agent messaging with semantic search, deduplication, and GitHub sync

Slash Commands (Claude Code)

Command	Purpose
/ailang-prompt	Load syntax teaching prompt (do this first!)
/ailang-run <file>	Run an AILANG program
/ailang-check <file>	Type-check without running
/ailang-new <name> [template]	Create new program from template
/ailang-repl	Start interactive REPL
/ailang-builtins [search]	List builtin functions
/ailang-editor <editor>	Install syntax highlighting

MCP Server (Claude Code)

Exposes AILANG tools for direct AI interaction:

• ailang_check - Type-check files
• ailang_run - Run programs
• ailang_prompt - Get teaching prompt
• ailang_builtins - List builtins

Extension Features (Gemini CLI)

• AILANG syntax guidance via GEMINI.md playbook
• Pre-bundled ailang binary (platform-specific)

Quick Start

Once installed, you can:

# CRITICAL: Load syntax before writing code
ailang prompt

# Run AILANG code
ailang run --caps IO --entry main program.ail

# Start interactive REPL
ailang repl

# Type-check without running
ailang check program.ail

Example AILANG Program

module myproject/hello

export func main() -> () ! {IO} {
  print("Hello, AILANG!")
}

Run with:

ailang run --caps IO --entry main hello.ail

Key Syntax Rules

1. Use func - NOT fn, function, or def
2. Semicolons between statements - let x = 1; let y = 2; x + y
3. Pattern matching uses => - NOT : or ->
4. No loops - Use recursion instead
5. print expects string - Use print(show(42)) for numbers

Documentation

• AILANG Website
• AILANG GitHub
• Examples

Repository Structure

ailang_bootstrap/
├── .claude-plugin/
│   ├── plugin.json         # Claude Code plugin manifest
│   └── marketplace.json    # Skills marketplace
├── .claude/commands/       # Slash commands
│   ├── ailang-run.md
│   ├── ailang-check.md
│   ├── ailang-new.md
│   └── ...
├── mcp-server/             # MCP server for AILANG tools
│   ├── ailang-server.json
│   └── ailang-mcp.sh
├── gemini-extension.json   # Gemini CLI extension manifest
├── GEMINI.md               # Gemini CLI playbook
├── skills/
│   ├── ailang/             # Main AILANG skill
│   │   ├── SKILL.md
│   │   └── resources/
│   ├── ailang-debug/       # Debug skill
│   │   ├── SKILL.md
│   │   └── resources/
│   └── ailang-inbox/       # Agent messaging skill
│       └── SKILL.md
├── bin/                    # AILANG binary (in releases)
└── .github/workflows/
    └── release.yml         # Platform-specific release builds

License

MIT License - see LICENSE