AILANG Docs

Connect Remote server

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

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

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

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

Tools 23 found in our last check

• 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.

• 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