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.
gemini extensions install sunholo-data/ailang_bootstrapThe extension automatically downloads the correct AILANG binary for your platform.
# Step 1: Add the marketplace
/plugin marketplace add sunholo-data/ailang_bootstrap
# Step 2: Install the plugin
/plugin install ailang@sunholo-data/ailang_bootstrapOr clone and add locally:
git clone https://github.com/sunholo-data/ailang_bootstrap
/plugin marketplace add ./ailang_bootstrap
/plugin install ailang@ailang_bootstrapDownload 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.
| 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 |
| 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 |
Exposes AILANG tools for direct AI interaction:
ailang_check- Type-check filesailang_run- Run programsailang_prompt- Get teaching promptailang_builtins- List builtins
- AILANG syntax guidance via
GEMINI.mdplaybook - Pre-bundled
ailangbinary (platform-specific)
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.ailmodule myproject/hello
export func main() -> () ! {IO} {
print("Hello, AILANG!")
}
Run with:
ailang run --caps IO --entry main hello.ail- Use
func- NOTfn,function, ordef - Semicolons between statements -
let x = 1; let y = 2; x + y - Pattern matching uses
=>- NOT:or-> - No loops - Use recursion instead
printexpects string - Useprint(show(42))for numbers
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
MIT License - see LICENSE