Connect

8 clients · secrets stay placeholders

JSON (mcpServers)Claude CodeCodexOpenCodeCursorVS CodeGemini CLIGoose

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

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

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

{
  "$schema": "https://opencode.ai/config.json",
  "mcp": {
    "ailang-docs": {
      "type": "remote",
      "url": "https://mcp.ailang.sunholo.com/mcp/",
      "enabled": true
    }
  }
}

{
  "mcpServers": {
    "ailang-docs": {
      "type": "http",
      "url": "https://mcp.ailang.sunholo.com/mcp/"
    }
  },
  "deeplink": "cursor://anysphere.cursor-deeplink/mcp/install?name=ailang-docs&config=eyJ0eXBlIjoiaHR0cCIsInVybCI6Imh0dHBzOi8vbWNwLmFpbGFuZy5zdW5ob2xvLmNvbS9tY3AvIn0%3D"
}

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

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

extensions:
  "ailang-docs":
    enabled: true
    name: "ailang-docs"
    type: streamable_http
    uri: "https://mcp.ailang.sunholo.com/mcp/"
    timeout: 300

Quality 94 / 100new

protocol88 · weight 25

pass
protocol.modernsupports 2026-07-28 (server/discover)
pass
protocol.statelessanswers without a session
pass
protocol.transportstreamable HTTP
warn
protocol.list_ttltools/list declares ttlMs 0, so clients re-fetch it on every use

authorizationn/a · weight 15

n/a
auth.prm, auth.as_metadata, auth.cimdno remote uses OAuth
n/a
auth.secret_in_urlno templated URL

tool hygiene100 · weight 30

pass
tools.descriptionsevery tool has a description
pass
tools.description_lengthdescriptions are concise
pass
tools.schemasevery tool has an object input schema
pass
tools.annotations23 of 23 tools declare readOnlyHint or destructiveHint
pass
tools.directory_hintsevery tool declares readOnlyHint, destructiveHint, idempotentHint and openWorldHint
pass
tools.token_costabout 2,314 tokens to load every tool
pass
tools.api_dumptools are not a one-to-one API dump
pass
tools.hidden_textno hidden text in tool names, descriptions, schemas or annotations

stabilityn/a · weight 15

n/a
stability.changes, stability.rug_pull, stability.new_linkstool history recorded for 1 of the 7 days needed

dependenciesn/a · weight 15

n/a
deps.known_vulns, deps.mcp_sdk_version, deps.resolvableno npm or PyPI package

23 tools, about 2,314 tokens to load them all · tool set 872dd7e8caa0 · tools last changed 2026-11-13 · checked 2026-11-14 07:03 UTC

Tool changes

2026-11-13submit_feedbackchangeddescription, input schemameaning changed
before
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).
after · 23% of words in common
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.
2026-11-13onboarding_guidechangeddescriptionmeaning changed
before
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.
after · 21% of words in common
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.
2026-11-13docs_searchchangeddescriptionmeaning changed
before
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.
after · 43% of words in common
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.
2026-11-13docs_navchangeddescriptionmeaning changed
before
Sidebar tree as JSON. Replaces scraping the Docusaurus sidebar. Version-scoped: snapshot of that release's docs site nav.
after · 28% of words in common
The AILANG docs site's navigation tree for a version, as JSON: section and page titles with their paths.

Full history: list_changes · trend: quality JSON.

Checks run on what our credential-free, read-only probes observe; tools are never called and no code audit is performed. How it is computed.

Trust 97 / 100

provenance90

liveness100

freshness100

hygiene100

+repository +namespace-matches-repo +website +reachable +uptime-100% +updated-1d-ago

Derived from observable signals (official registry feed and our own credential-free probes); no code audit performed. How it is computed.

Endpoints

remote	auth	reachable	uptime 30d	p50	protocol	last ok
`https://mcp.ailang.sunholo.com/mcp/` streamable-http	none	yes	100%	292 ms	2026-07-28, 2025-11-25, 2025-06-18, 2025-03-26, 2024-11-05	2026-11-14

Tools (23)

`ailang_versions`read-only	List all AILANG versions the server can answer for.
`benchmark_run`read-only	One run's full result (code, compile_ok, runtime_ok, stdout_ok, cost, tokens).
`benchmarks_compare`read-only	Pairwise model comparison. Output: {a_only_passes, b_only_passes, both, neither}
`benchmarks_for_model`read-only	Where does a given model pass/fail? Optional version filter. Output: {passes: [...], fails_by_category: {...}, total_cost}
`benchmarks_list`read-only	List benchmark suites and runs, optionally filtered to a since_version cutoff.
`changelog_for_version`read-only	What changed in a given release (added/changed/fixed/breaking).
`design_doc`read-only	Full design doc by slug (e.g. "m-agent-mcp-website").
`design_docs_list`read-only	List planned/implemented/rejected design docs, optionally filtered by version. state = "planned" \| "implemented" \| "rejected" \| ""; empty = all.
`docs_nav`read-only	The AILANG docs site's navigation tree for a version, as JSON: section and page titles with their paths.
`docs_search`read-only	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`read-only	All declared effects with capability mapping and the version they appeared in.
`example_for_concept`read-only	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`read-only	Full source + metadata for one example by path.
`examples_list`read-only	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`read-only	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_list`read-only	Known limitations (Y-combinator, etc.) optionally filtered by category.
`onboarding_guide`read-only	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`read-only	Fetch the canonical teaching prompt for a version. kind = "agent" \| "devtools" \| "compact" (full prompt = empty).
`roadmap`read-only	What's shipping next, what's been rejected and why.
`stdlib_module`read-only	Full module: exports + signatures + docstrings.
`stdlib_modules`read-only	List stdlib modules available in this AILANG version with one-line summaries.
`stdlib_search`read-only	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 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.

Schemas: list_tools.

Also listed as

1 other active names share this repository: io.github.sunholo-data/ailang-executor

Similar MCP servers

More from io.github.sunholo-data

Official server.json

{
  "name": "io.github.sunholo-data/ailang-docs",
  "icons": [
    {
      "src": "https://ailang.sunholo.com/img/connectors/ailang-icon-256.png",
      "sizes": [
        "256x256"
      ],
      "mimeType": "image/png"
    }
  ],
  "title": "AILANG Docs",
  "$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
  "remotes": [
    {
      "url": "https://mcp.ailang.sunholo.com/mcp/",
      "type": "streamable-http"
    }
  ],
  "version": "0.60.4",
  "repository": {
    "id": "1064514521",
    "url": "https://github.com/sunholo-data/ailang",
    "source": "github"
  },
  "websiteUrl": "https://ailang.sunholo.com/",
  "description": "AILANG language reference, stdlib, examples and benchmarks for agents that write AILANG."
}