AILANG Executor

Connect Remote server

claude mcp add --transport http ailang-executor https://executor.ailang.sunholo.com/mcp/connect/

{
  "mcpServers": {
    "ailang-executor": {
      "url": "https://executor.ailang.sunholo.com/mcp/connect/"
    }
  }
}

{
  "servers": {
    "ailang-executor": {
      "type": "http",
      "url": "https://executor.ailang.sunholo.com/mcp/connect/"
    }
  }
}

Settings > Connectors > Add custom connector
URL: https://executor.ailang.sunholo.com/mcp/connect/

Tools 29 found in our last check

• 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 stdout: check.passed and check.errors (with locations and fixes), and verify: each function's requires/ensures proved with Z3 (verify.resul…

• ailang_eval

  Evaluate one pure AILANG expression and print it with show(). Builtins are in scope; for stdlib functions (map, filter, ...) use ailang_run with explicit imports.

• 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; code written without this prompt rarely type-checks.

• ailang_run

  Run AILANG source in the hosted sandbox. Entry point is `main`, with no arguments. Only the IO capability is granted (println works; FS, Net, Process, Env and AI are refused by name before the program starts), and the run is killed at the policy timeout. stdout is the program's…

• ailang_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 = all.

• 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 pages before archived teaching prompts, each with its path, title, first 10 headings and an excerpt around the match.

• effects_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 filter. status = "passing" | "failing" | ""; empty = passing only.

• 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" | "" platform: only meaningful for "manual" (e.g. "darwin-arm64", "linux-amd64"); ignored otherwise Empty harness returns ALL harnesses + the remot…

• limitations_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). The guide for both roles is returned whatever role says; pick the part you need.

• 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 report something, and leave out personal or confidential information. Categories: bug, feature, docs, limitation. Body up to 10 KB, snippet up t…

Details

More developer tools servers See all

• AGILEX Docs

  Official AGILEX robotics product docs: manuals, CAN protocol, firmware, FAQ. Read-only.

• Echoo public catalog

  Read-only Echoo product facts, pricing, documentation and published writing skills.

• 99tests

  Order human-run real-device app tests from your coding agent; verified bugs return as fix prompts.

• LimitReceipts by aiw3b

  Find the AI coding/app-builder plan that fits your usage: limits, prices and plan-fit picks.

• Candor UI docs

  Candor UI docs and component suggestions. Read-only, no key, never serves paid source.

• MoneyTools Tools

  Call for a cheap read-only utility: 100+ tools; free daily tier; not charged on failure