AILANG Docs MCP Server

by sunholo-data Your server? Claim it

answering

AILANG Docs is answering right now. Last checked 8 min ago. It exposes 23 tools. Last commit 13 Nov 2026.

AILANG language reference, stdlib, examples and benchmarks for agents that write AILANG.

Uptime history 9 hours of history

9 hours agonow

100.0%

Uptime 24h

30 of 30 checks

Tools

read from the server

232 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 4 tool descriptions were rewritten docs_nav, docs_search, onboarding_guide and 1 more

13 Nov a tool changed the parameters it asks for submit_feedback

13 Nov a tool changed version

Nothing serious here today

Today is the operative word: we check AILANG Docs 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 8 min ago.

Claude Code Claude Desktop Codex Cursor VS Code

run in your terminal

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

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

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

~/.codex/config.toml

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

.cursor/mcp.json

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

.vscode/mcp.json

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

Available tools 23

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

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.

ailang

ailang_versions

List all AILANG versions the server can answer for.

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.

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://mcp.ailang.sunholo.com/mcp/	streamable-http	answering	2477 ms	8 min ago

Alternatives to AILANG Docs

same job, measured the same way

CUDA-Q Docs

by rogerawong

CUDA-Q docs, API reference, and runnable examples for AI agents, pinned to your installed version.

222 installs/wk local only

Rowih

by rowih

Read, check and write Rowih, a language for AI agents whose moves state force, basis and authority

614 installs/wk local only

amCharts 5

by amcharts

On-demand access to amCharts 5 docs, code examples, and API reference

432 installs/wk 12 tools answering

FrontMCP docs

by frontmcp-mcp

FrontMCP's docs for coding agents: search, pages, APIs, examples and upgrades, by FrontMCP release.

9 tools answering

Claspine

by claspine

Claspine docs, API reference and code checks for AI agents: guides, recipes, errors, upgrades.

206 installs/wk 12 tools answering

Uizze

by uizze

UI design that stands out. Full-screen UI references and design materials for coding agents.

1 tools answering

Carbon Forge

by 100monkeys-ai

One record of code, files and pages that people and agents read and write, with lanes and git.

22 tools answering

MDflow

by mdflow

Markdown workspace for AI agents: read, write, organize, and share markdown documents.

answering

AILANG Docs — questions

Answers built from our own checks of this server.

What can AILANG Docs do?

It exposes 23 tools, read directly from the server on our last check. Among them: ailang_versions, benchmark_run, benchmarks_compare, benchmarks_for_model, benchmarks_list, changelog_for_version and 17 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 Docs mostly used for?

Its tools cluster around benchmarks, stdlib and design. 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 Docs working right now?

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

How do I connect AILANG Docs?

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 Docs need an API key?

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

How fast is AILANG Docs?

It answers our handshake in 232 ms on average, which is faster than 62% of all working MCP servers we measure. The comparison comes from our own checks across the whole registry, every 15 minutes.

Is AILANG Docs 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 mcp.ailang.sunholo.com, which runs on its operator's own terms.