AILANG Executor MCP Tools

• ailang_builtins

  ailang builtins

• ailang_check

  ailang check

• ailang_eval

  ailang eval

• ailang_prompt

  ailang prompt

• ailang_run

  ailang run

• ailang_versions

  ailang versions

• benchmark_run

  benchmark run

• benchmarks_compare

  benchmarks compare

• benchmarks_for_model

  benchmarks for model

• benchmarks_list

  benchmarks list

• changelog_for_version

  changelog for version

• design_doc

  design doc

• design_docs_list

  design docs list

• docs_nav

  docs nav

• docs_search

  docs search

• effects_catalog

  effects catalog

• example_for_concept

  example for concept

• example_get

  example get

• examples_list

  examples list

• executor_whoami

  executor whoami

• install_guide Mutating

  install guide

• limitations_list

  limitations list

• onboarding_guide

  onboarding guide

• prompt_get

  prompt get

• roadmap

  roadmap

• stdlib_module

  stdlib module

• stdlib_modules

  stdlib modules

• stdlib_search

  stdlib search

• submit_feedback

  submit feedback

This list was read from the server itself, by connecting to it and calling tools/list on 14 November 2026. It is what the server actually exposes, not what its listing claims.

Mutating and Read-only are read off each tool's name, not its schema — a hint, not a guarantee. The registry stores tool names only; connect the server for its live schemas.