Connect

8 clients · secrets stay placeholders

JSON (mcpServers)Claude CodeCodexOpenCodeCursorVS CodeGemini CLIGoose

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

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

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

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

{
  "mcpServers": {
    "ailang-executor": {
      "type": "http",
      "url": "https://executor.ailang.sunholo.com/mcp/connect/"
    }
  },
  "deeplink": "cursor://anysphere.cursor-deeplink/mcp/install?name=ailang-executor&config=eyJ0eXBlIjoiaHR0cCIsInVybCI6Imh0dHBzOi8vZXhlY3V0b3IuYWlsYW5nLnN1bmhvbG8uY29tL21jcC9jb25uZWN0LyJ9"
}

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

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

extensions:
  "ailang-executor":
    enabled: true
    name: "ailang-executor"
    type: streamable_http
    uri: "https://executor.ailang.sunholo.com/mcp/connect/"
    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.annotations29 of 29 tools declare readOnlyHint or destructiveHint
pass
tools.directory_hintsevery tool declares readOnlyHint, destructiveHint, idempotentHint and openWorldHint
pass
tools.token_costabout 3,014 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

29 tools, about 3,014 tokens to load them all · tool set 680e1ff9099f · 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-13executor_whoamichangeddescriptionmeaning changed
before
The signed-in account, as the gate verified it. Served only on the gated /mcp/connect/; the client cannot supply or forge _auth.
after · 17% of words in common
Which account this connection is signed in as (its user ID) and which app connected it (for example claude.ai or chatgpt.com).
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://executor.ailang.sunholo.com/mcp/connect/` streamable-http	none	yes	100%	306 ms	2026-07-28, 2025-11-25, 2025-06-18, 2025-03-26, 2024-11-05	2026-11-14

Tools (29)

`ailang_builtins`read-only	List AILANG builtin functions with documentation, grouped by module. `search` filters lines case-insensitively; empty returns everything.
`ailang_check`read-only	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`read-only	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`read-only	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`read-only	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`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.
`executor_whoami`read-only	Which account this connection is signed in as (its user ID) and which app connected it (for example claude.ai or chatgpt.com).
`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-docs

Similar MCP servers

More from io.github.sunholo-data

Official server.json

{
  "name": "io.github.sunholo-data/ailang-executor",
  "icons": [
    {
      "src": "https://ailang.sunholo.com/img/connectors/ailang-icon-256.png",
      "sizes": [
        "256x256"
      ],
      "mimeType": "image/png"
    }
  ],
  "title": "AILANG Executor",
  "$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
  "remotes": [
    {
      "url": "https://executor.ailang.sunholo.com/mcp/connect/",
      "type": "streamable-http"
    }
  ],
  "version": "0.60.4",
  "repository": {
    "id": "1064514521",
    "url": "https://github.com/sunholo-data/ailang",
    "source": "github"
  },
  "websiteUrl": "https://ailang.sunholo.com/docs/guides/hosted-executor",
  "description": "Write, type-check and run AILANG in a sandbox, with Z3-proved contracts and docs search."
}