ailang

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

Hooks (Claude Code)

Hook	Event	Purpose
session_start.sh	SessionStart	Inbox check + brain context
brain_session.sh	SessionStart	Inject relevant brain knowledge
git_guard.sh	PreToolUse(Bash)	Block destructive git ops
microrag_context.sh	PreToolUse(Edit|Write|Read|MultiEdit)	JIT μRAG knowledge injection — surfaces AILANG syntax/builtin docs at tool-call time
microrag_lint.sh	PostToolUse(Edit|Write|MultiEdit)	First-use builtin nudge for *.ail edits
brain_resolution.sh	PostToolUse(Bash)	Capture command resolutions
observatory_hook.sh	All events	OTEL telemetry for AILANG Observatory

Disable μRAG: export AILANG_MICRORAG_ENABLED=0. Requires ailang and jq on PATH; degrades silently if either is missing.

μRAG brain corpus auto-bootstrap: install.sh runs ailang micro-rag init && ailang micro-rag bootstrap --scope user --no-embed after the binary lands. This populates the brain DB at ~/.ailang/state/brain.db with the ailang-syntax (~50 frames) and ailang-builtins (~280 frames) namespaces using only resources embedded in the binary — no source repo required. Works on Windows / minimal Docker images / anywhere awk and python3 are absent.

Re-run manually after install.sh to upgrade the corpus to embedding-backed retrieval (requires Ollama):

ailang micro-rag bootstrap --scope user           # add embeddings on top of SimHash/FTS
ailang micro-rag bootstrap --scope user --reset   # full rebuild (use after AILANG version bump)

MCP Servers (TWO complementary servers)

1. Local stdio MCP (auto-installed by this plugin) — wraps the local AILANG CLI for actually running/checking code:

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

2. Remote HTTP MCP at mcp.ailang.sunholo.com — version-locked live docs, stdlib, examples, design docs, benchmarks. Available to any agent harness that supports remote MCP (Claude Desktop, Cursor, Cline, Continue, Claude Code).

{
  "mcpServers": {
    "ailang-docs": {
      "url": "https://mcp.ailang.sunholo.com/mcp/",
      "transport": "streamable-http"
    }
  }
}

Tools include prompt_get, stdlib_modules, stdlib_search, examples_for_concept, limitations_list, effects_catalog, and submit_feedback (for filing AILANG bugs from inside an agent session). Use these to avoid stale embedded knowledge — the snapshot is rebuilt and redeployed on every AILANG release.

See docs/guides/agent-mcp for the full tool catalog.

Extension Features (Gemini CLI)

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

Quick Start

Once installed, you can: