AILANG Executor

List AILANG builtin functions with documentation, grouped by module. `search` filters lines case-insensitively; empty returns everything.

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`).

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.

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.

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.

List all AILANG versions the server can answer for.

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

Pairwise model comparison. Output: {a_only_passes, b_only_passes, both, neither}

Where does a given model pass/fail? Optional version filter. Output: {passes: [...], fails_by_category: {...}, total_cost}

List benchmark suites and runs, optionally filtered to a since_version cutoff.

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

Full design doc by slug (e.g. "m-agent-mcp-website").

List planned/implemented/rejected design docs, optionally filtered by version. state = "planned" | "implemented" | "rejected" | ""; empty = all.

Sidebar tree as JSON. Replaces scraping the Docusaurus sidebar. Version-scoped: snapshot of that release's docs site nav.

Full-text search across doc Markdown for the given version. Filters server-side on lowercased body + title; returns the top 10 matches, docs pages before archived teaching prompts (prompts/v*.md match almost any query), each as path, title, its first 10 headings and an excerpt around the match: the full page is a docs_nav / example_get away. Whole bodies made one search ~30 KB, too much for a tool result in a listed connector.

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

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.

Full source + metadata for one example by path.

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.

The signed-in account, as the gate verified it. Served only on the gated /mcp/connect/; the client cannot supply or forge _auth.

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.

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

Stepwise onboarding flow for using AILANG. role: "agent" (AI coding agent flow, default) | "developer" (human dev flow) | "" (returns both) For v1 returns the full guide; client picks the relevant role. v2 may filter on AILANG side once we have proper record-projection helpers.

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

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

Full module: exports + signatures + docstrings.

List stdlib modules available in this AILANG version with one-line summaries.

Find stdlib functions by name, signature, or keyword. Filters the pre-built search index server-side; returns top 20 matches.

Anonymous bug report / feature request / docs gap, queued for human review. Default routing: `public-feedback` inbox (general AILANG). Pass `package="vendor/name"` (e.g. "sunholo/auth") to route to that package's `pkg:vendor/name` inbox where its autonomous agent watches. Categories: bug, feature, docs, limitation. Body limit 10KB, snippet limit 4KB. Optional contact field for follow-up; opaque to the server. Set `auto_dispatch=true` to authorize the package agent to act on your submission immediately (default false — files for human triage; pkg-feedback agent template lands in a separate sprint).