AILANG Executor MCP Server

by sunholo-data Your server? Claim it

answering

AILANG Executor is answering right now. Last checked 12 min ago. It exposes 29 tools. Last commit 13 Nov 2026.

Write, type-check and run AILANG in a sandbox, with Z3-proved contracts and docs search.

Uptime history 10 hours of history

10 hours agonow

100.0%

Uptime 24h

37 of 37 checks

Tools

read from the server

164 ms

Response time

average over 24h

Stars

last commit 13 Nov 2026

What changed 6

Every tool that appeared, vanished or quietly changed what it asks for. Recorded since 13 November 2026. No other catalogue keeps this.

13 Nov 5 tool descriptions were rewritten docs_nav, docs_search, executor_whoami and 2 more

13 Nov a tool changed the parameters it asks for submit_feedback

Nothing serious here today

Today is the operative word: we check AILANG Executor every 15 minutes and re-read its code on every release. Watch it and you find out the day that stops being true.

Connect this server

Endpoint below is the one we actually reach during checks — not the one copied from a README. Last verified 12 min ago.

Claude Code Claude Desktop Codex Cursor VS Code

run in your terminal

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

Settings → Connectors → Add custom connector, then paste this address

https://executor.ailang.sunholo.com/mcp/connect/

~/.codex/config.toml

[mcp_servers.ailang-executor]
url = "https://executor.ailang.sunholo.com/mcp/connect/"

.cursor/mcp.json

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

.vscode/mcp.json

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

Available tools 29

Read directly from the server with tools/list, grouped by what they act on. If a tool disappears, we record the date.

ailang

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.results: verified, counterexample with a witness, or inconclusive after 5s per function). Only `pure` functions (or `! {}`) are proved; others report skipped/NOT_PURE. `verification` names the overall result; "unavailable" means this server had no solver, so the code was type-checked only and its contracts were not proved (prove them locally with `ailang verify`).

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 output; stderr carries the policy decision JSON.

ailang_versions

List all AILANG versions the server can answer for.

benchmarks

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.

stdlib

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.

design

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

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.

example

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.

benchmark

benchmark_run

One run's full result (code, compile_ok, runtime_ok, stdout_ok, cost, tokens).

changelog

changelog_for_version

What changed in a given release (added/changed/fixed/breaking).

effects

effects_catalog

All declared effects with capability mapping and the version they appeared in.

examples

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

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

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 remote_mcp config block.

limitations

limitations_list

Known limitations (Y-combinator, etc.) optionally filtered by category.

onboarding

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

prompt_get

Fetch the canonical teaching prompt for a version. kind = "agent" | "devtools" | "compact" (full prompt = empty).

roadmap

roadmap

What's shipping next, what's been rejected and why.

submit

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 to 4 KB. `contact` is optional, for a reply. `package` (vendor/name) sends the report to that AILANG package's maintainers instead. Returns a ticket ID.

Endpoints

URL	Transport	State	Latency	Checked
https://executor.ailang.sunholo.com/mcp/connect/	streamable-http	answering	133 ms	12 min ago

Alternatives to AILANG Executor

same job, measured the same way

Mort MCP

by 0xmortuex

Write, type-check and run Mort code, with language spec and stdlib lookup.

151 installs/wk local only

codemcp

by stackunseen

Code mode for MCP: search, describe and execute over all your servers, with a sandbox and approvals.

190 installs/wk local only

Parallel

by mcparmory

Search the web, extract content, and run distributed tasks with AI-powered automation

237 installs/wk local only

WireCat Google Drive

by wirecat

Google Drive and Docs for agents: search, read and write a local copy. Sign in with drive first.

2 680 installs/wk local only

STUzhy Py Execute MCP

by smithery

Run Python code in a secure sandbox without local setup. Declare inline dependencies and execute s…

answering

Verbaly

by aronsoto

i18n for coding agents: extract, check and translate an app's text, with drafts a person approves

616 installs/wk local only

Python Code Validator

by statemind

Proves AI-generated Python does what you asked: lint, types, security, sandbox run, exact fixes.

3 tools answering

Fileport

by cloudcorprecords

Sandboxed file access: read, write, edit and search in allowed dirs.

66 installs/wk local only

AILANG Executor — questions

Answers built from our own checks of this server.

What can AILANG Executor do?

It exposes 29 tools, read directly from the server on our last check. Among them: ailang_builtins, ailang_check, ailang_eval, ailang_prompt, ailang_run, ailang_versions and 23 more. The full list with descriptions is on this page — we take it from the server itself via tools/list, not from a README. How MCP servers expose tools in the first place →

What is AILANG Executor mostly used for?

Its tools cluster around ailang, stdlib and benchmarks. That is what this server is built to work with — the grouping comes from the actual tool names, not from a category we assigned.

Is AILANG Executor working right now?

We send a real MCP handshake every 15 minutes. Over the last 24 hours 37 of 37 checks got a reply (100.0%), average response time 164 ms. The bar chart above shows every period we have measured.

How do I connect AILANG Executor?

Copy the ready config from this page. We generate it for Claude Code, Claude Desktop, Codex, Cursor and VS Code, each in the form that client actually reads. It is a remote server, so there is nothing to install — the client connects to the address.

Does AILANG Executor need an API key?

No. AILANG Executor completed a full MCP handshake with us as an anonymous client and listed its tools without asking for anything. All 29 of them are readable on this page. This is what we observed, not what the docs claim.

How fast is AILANG Executor?

It answers our handshake in 164 ms on average, which is faster than 83% of all working MCP servers we measure. That puts it in the quick quarter of the ecosystem. The comparison comes from our own checks across the whole registry, every 15 minutes.

Is AILANG Executor open source?

The code is open source: it is published under the Apache-2.0 licence, written in Go, 38 stars on GitHub and 110 open issues. The licence covers the code in the repository, not the hosted service at executor.ailang.sunholo.com, which runs on its operator's own terms.