\n\n# AILANG: The Deterministic Language for AI Coders\n\n\n\n\n\n[Example status](https://ailang.sunholo.com/docs/examples)\n\n\n[](https://sonarcloud.io/component_measures?id=sunholo-data_ailang&metric=reliability_rating)\n[](https://sonarcloud.io/component_measures?id=sunholo-data_ailang&metric=security_rating)\n[](https://sonarcloud.io/component_measures?id=sunholo-data_ailang&metric=sqale_rating)\n[](https://github.com/sunholo-data/ailang/actions/workflows/codeql.yml)\n[](https://securityscorecards.dev/viewer/?uri=github.com/sunholo-data/ailang)\n[](https://www.bestpractices.dev/projects/12676)\n\n> **Third-party verification.** AILANG is written autonomously by AI agents via its own [coordinator](https://ailang.sunholo.com/docs/guides/coordinator). The badges above are independent static-analysis and supply-chain scores — not self-reported. The [benchmark dashboard](https://ailang.sunholo.com/docs/benchmarks/performance) publishes the live correctness signal across current benchmark and model cohorts.\n\nAILANG is a purely functional, effect-typed language designed as a **deterministic execution substrate** for AI-generated code. Every construct has deterministic semantics that can be reflected, verified, and serialized.\n\n**[Documentation](https://ailang.sunholo.com/)** | **[Examples](https://ailang.sunholo.com/docs/examples)** | **[Live Demos](https://www.sunholo.com/ailang-demos/)** | **[Vision](https://ailang.sunholo.com/docs/vision)** | **[Benchmarks](https://ailang.sunholo.com/docs/benchmarks/performance)**\n\n---\n\n## Quick Start\n\nAILANG is designed to be used by AI coding agents. The\n[AILANG Bootstrap](https://github.com/sunholo-data/ailang_bootstrap) packages the\ncurrent language guidance, reusable skills, and local MCP tools for Claude Code\nand OpenAI Codex.\n\nInstall the AILANG CLI first:\n\n```bash\ncurl -fsSL https://ailang.sunholo.com/install.sh | bash\nailang --version\n```\n\nThe agent integrations call the local `ailang` executable, so it must be\navailable on `PATH`.\n\n### With Claude Code\n\n```text\n/plugin marketplace add sunholo-data/ailang_bootstrap\n/plugin install ailang@sunholo-data/ailang_bootstrap\n```\n\n### With OpenAI Codex\n\nAILANG Bootstrap also ships a Codex plugin manifest. Add its stable marketplace:\n\n```bash\n# Required by the plugin's local MCP server on first launch\nnode --version\nnpm --version\n\ncodex plugin marketplace add sunholo-data/ailang_bootstrap --ref stable\ncodex plugin add ailang@ailang-marketplace\ncodex plugin list\n```\n\nStart a new Codex session after installation. Alternatively, after adding the\nmarketplace, launch `codex`, enter `/plugins`, and install `ailang` from the\nAILANG marketplace. The plugin can also be installed from the Plugins directory\nin the Codex desktop app. Codex plugins are not currently available in the IDE\nextension.\n\nCodex reads this repository's [`AGENTS.md`](AGENTS.md) automatically, whether or\nnot the plugin is installed. The plugin adds the reusable AILANG skills and MCP\ntools; `AGENTS.md` supplies repository-specific workflows and guardrails.\n\n### What the Agent Package Provides\n\n- **CLI integration** - Skills and tools use the separately installed `ailang` executable\n- **MCP tools** - `ailang_prompt`, `ailang_check`, `ailang_run`, `ailang_builtins`, `ailang_eval`\n- **Agent skills** - AILANG authoring, debugging, messaging, design-doc, and sprint workflows\n- **Teaching guidance** - Current syntax rules via repository guidance, skills, and `ailang prompt`\n\nThe packaging is intentionally native to each host:\n\n| Capability | Claude Code | Codex |\n|---|---|---|\n| Persistent guidance | `CLAUDE.md` | `AGENTS.md` |\n| Reusable workflows | Plugin skills | Plugin skills |\n| Local AILANG MCP tools | Yes | Yes |\n| Host-native commands | Claude slash commands | Skills and MCP tools |\n| AILANG Bootstrap hooks | Claude hooks | Not currently packaged |\n\nOnce installed, ask the agent to write AILANG code. All agents should run\n`ailang prompt` before authoring `.ail` files; it is the installed CLI's source\nfor current syntax and idioms.\n\nSee [ailang_bootstrap](https://github.com/sunholo-data/ailang_bootstrap) for details.\n\nThe installer detects your OS and architecture automatically. To pin a release:\n\n```bash\ncurl -fsSL https://ailang.sunholo.com/install.sh | VERSION=v0.33.1 bash\n```\n\n\nClick to expand manual installation instructions\n\n```bash\n# macOS (Apple Silicon)\ncurl -L https://github.com/sunholo-data/ailang/releases/latest/download/darwin.arm64.ailang.tar.gz | tar -xz\nsudo mv ailang /usr/local/bin/\n\n# macOS (Intel)\ncurl -L https://github.com/sunholo-data/ailang/releases/latest/download/darwin.x64.ailang.tar.gz | tar -xz\nsudo mv ailang /usr/local/bin/\n\n# Linux\ncurl -L https://github.com/sunholo-data/ailang/releases/latest/download/linux.x64.ailang.tar.gz | tar -xz\nsudo mv ailang /usr/local/bin/\n\n# From source\ngit clone https://github.com/sunholo-data/ailang.git\ncd ailang && make install\n\n# Verify\nailang --version\n```\n\n\n\nFor complete setup instructions, see the [Getting Started Guide](https://ailang.sunholo.com/docs/guides/getting-started).\n\n### Hello World\n\n```ailang\nmodule examples/hello_world\n\nimport std/io (println)\n\nexport func main() -> () ! {IO} {\n println(\"Hello, World!\")\n}\n```\n\n```bash\nailang run --caps IO examples/hello_world.ail\n# Output: Hello, World!\n```\n\n### Interactive REPL\n\n```bash\nailang repl\n\nλ> 1 + 2\n3 :: Int\n\nλ> let double = \\x. x * 2 in double(21)\n42 :: Int\n\nλ> :type \\x. x + x\n\\x. x + x :: ∀α. Num α ⇒ α → α\n\nλ> :quit\n```\n\n---\n\n## Key Features\n\n- **Pure functional** - Lambda calculus, closures, pattern matching, ADTs\n- **Type inference** - Hindley-Milner with row polymorphism\n- **Effect system** - Capability-based security (IO, FS, Net, Clock, AI)\n- **Deterministic** - Replayable execution, structured traces\n- **AI-first** - Designed for machine reasoning, not human convenience\n- **LSP** - `ailang lsp --stdio` ships in the binary: diagnostics, hover types, go-to-def, references, document symbols. One-command VS Code install: `ailang editor install vscode` ([guide](https://ailang.sunholo.com/docs/guides/lsp))\n\nLearn more: [Why AILANG?](https://ailang.sunholo.com/docs/vision) | [No Loops Design](https://ailang.sunholo.com/docs/reference/no-loops) | [Go Interop](https://ailang.sunholo.com/docs/guides/go-interop) | [Stability Promise (1.x)](https://ailang.sunholo.com/docs/reference/stability)\n\n---\n\n## Development\n\n```bash\nmake install # Build and install\nmake test # Run all tests\nmake repl # Start REPL\nmake lint # Run linter\n```\n\n**Guides:**\n- [Development Guide](https://ailang.sunholo.com/docs/guides/development)\n- [CONTRIBUTING.md](CONTRIBUTING.md)\n- [AGENTS.md](AGENTS.md) - Cross-agent repository instructions (including Codex)\n- [CLAUDE.md](CLAUDE.md) - Detailed AILANG operational workflows\n\n---\n\n## Project Structure\n\n```\nailang/\n├── cmd/ailang/ # CLI\n├── internal/ # Compiler (lexer, parser, types, eval, effects)\n├── std/ # Standard library (std/io, std/fs, std/json, std/zip, std/xml, etc.)\n├── examples/ # Example and reference programs\n├── docs/ # Documentation website source\n└── design_docs/ # Design documents\n```\n\n---\n\n## License\n\nApache 2.0 - See [LICENSE](LICENSE)\n\nAILANG draws inspiration from Haskell, OCaml, Rust, and Idris/Agda.\n\n---\n\n*For AI agents: Deterministic functional language with Hindley-Milner type inference, algebraic effects, and explicit effect tracking. Read [AGENTS.md](AGENTS.md), then use `ailang prompt` for current language guidance.*\n",
"bytes": 8496,
"sha": "620cbfe7f3c7c21aa992b720435af312fdacb2e6f5a1f62e825702852c5a5e53",
"repo_slug": "sunholo-data/ailang",
"fonte": "repo",
"truncated": false,
"api": "https://agentalog.com/api/listings/skl_sunholo_data_ailang_claude_skills_design_c1968089/readme"
}
![\"AILANG](\"docs/static/img/ailang-logo.svg\"){kind=logo}
\n