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 filesailang_run - Run programsailang_prompt - Get teaching promptailang_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
- Use
func - NOT fn, function, or def
- Semicolons between statements -
let x = 1; let y = 2; x + y
- Pattern matching uses
=> - NOT : or ->
- No loops - Use recursion instead
print expects string - Use print(show(42)) for numbers
Documentation
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
sunholo-data