Categories › AI & Agents › Multi-agent, orchestration & workflows
Write, type-check and run AILANG in a sandbox, with Z3-proved contracts and docs search.
Remote server: your requests and data go to executor.ailang.sunholo.com. Claude Code: claude mcp add --transport http ailang-executor https://executor.ailang.sunholo.com/mcp/connect/ · Claude app: Settings → Connectors → Add custom connector.
The tools this server listed when we connected to it, in its own words.
ailang_builtins — List AILANG builtin functions with documentation, grouped by module. `search` filters lines case-insensitively; empty returns everything.ailang_check — Type-check AILANG source. `code` is a whole module; the module line may be omitted or be `module main`. Returns the ai-check JSON report on ailang_eval — Evaluate one pure AILANG expression and print it with show(). Builtins are in scope; for stdlib functions (map, filter, ...) use ailang_run ailang_prompt — Call this FIRST: the AILANG teaching prompt (syntax rules, templates, stdlib map). AILANG is not in your training data the way Python is; coailang_run — Run AILANG source in the hosted sandbox. Entry point is `main`, with no arguments. Only the IO capability is granted (println works; FS, Netailang_versions — List all AILANG versions the server can answer for.benchmark_run — One run's full result (code, compile_ok, runtime_ok, stdout_ok, cost, tokens).benchmarks_compare — Pairwise model comparison. Output: {a_only_passes, b_only_passes, both, neither}benchmarks_for_model — Where does a given model pass/fail? Optional version filter. Output: {passes: [...], fails_by_category: {...}, total_cost}benchmarks_list — List benchmark suites and runs, optionally filtered to a since_version cutoff.changelog_for_version — What changed in a given release (added/changed/fixed/breaking).design_doc — Full design doc by slug (e.g. "m-agent-mcp-website").design_docs_list — List planned/implemented/rejected design docs, optionally filtered by version. state = "planned" | "implemented" | "rejected" | ""; empty = docs_nav — The AILANG docs site's navigation tree for a version, as JSON: section and page titles with their paths.docs_search — Full-text search of the AILANG documentation for a version (case-insensitive, on page titles and text). Returns the top 10 matches, docs pageffects_catalog — All declared effects with capability mapping and the version they appeared in.example_for_concept — Best-fit examples for a free-form concept query ("how do I use effects?"). Filters server-side on why + title; returns up to 5 matches.example_get — Full source + metadata for one example by path.examples_list — Filter examples that pass under for_version, optionally by features/status. features = comma-separated tags ("effects,records"); empty = no executor_whoami — Which account this connection is signed in as (its user ID) and which app connected it (for example claude.ai or chatgpt.com).install_guide — Harness-aware install instructions for AILANG. harness: "claude-code" | "gemini-cli" | "codex-cli" | "manual" | "build-from-source" | "" plalimitations_list — Known limitations (Y-combinator, etc.) optionally filtered by category.onboarding_guide — Step-by-step guide to getting started with AILANG, for an AI coding agent and for a human developer. role: "agent" | "developer" | "" (both)prompt_get — Fetch the canonical teaching prompt for a version. kind = "agent" | "devtools" | "compact" (full prompt = empty).roadmap — What's shipping next, what's been rejected and why.stdlib_module — Full module: exports + signatures + docstrings.stdlib_modules — List stdlib modules available in this AILANG version with one-line summaries.stdlib_search — Find stdlib functions by name, signature, or keyword. Filters the pre-built search index server-side; returns top 20 matches.submit_feedback — Send a bug report, feature request, documentation gap or limitation about AILANG to the AILANG team. Use it only when the user asks to reporNot tested by KitScout yet. When our harness runs it, pros, cons and the tasks we tried appear here, with the date and evidence.