500+ typed UI atoms an agent composes into real rendered interfaces. Free, no API key.
- Passed: Handshake
- Passed: Tools listed
- Passed: Latency
Median latency 91 ms · Last checked
Explore
Evidence for your next connection.
Independent measurements of remote MCP servers. Every observation has a timestamp.
Read-only probesMCP server · Code & DevOps
AILANG language reference, stdlib, examples and benchmarks for agents that write AILANG.
1 failed · 8 not measured
Median of successful probes over 7 days
Share of countable probes over 30 days, including daily rollups. Auth challenges are excluded.
Tool definitions returned by this server
Independent monitoring
Responded
The server completed its last measured handshake. This is an observation, not a guarantee.
Last checked . Not enough checks yet| Test area | Passed | Failed | Unmeasured |
|---|---|---|---|
ConnectionCan a client connect and discover tools? | 5 | 0 | 0 |
Reliability & speedDoes it respond consistently and quickly? | 0 | 0 | 4 |
Access & authenticationWhat is required to use this server? | 1 | 0 | 2 |
Tool qualityAre the tool definitions usable by an agent? | 3 | 1 | 0 |
Publisher identityCan the publisher be traced to its source? | 4 | 0 | 2 |
Unmeasured means there is not enough evidence to decide. How these checks work
Start using AILANG Docs
Choose your client, copy the configuration, then enable the server in your client’s MCP settings.
Run this command in your terminal, then restart Claude Code.
Claude Code
claude mcp add --transport http ailang-docs https://mcp.ailang.sunholo.com/mcp/Capabilities
List all AILANG versions the server can answer for.
DiscoveredOne run's full result (code, compile_ok, runtime_ok, stdout_ok, cost, tokens).
DiscoveredPairwise model comparison. Output: {a_only_passes, b_only_passes, both, neither}
DiscoveredWhere does a given model pass/fail? Optional version filter. Output: {passes: [...], fails_by_category: {...}, total_cost}
DiscoveredList benchmark suites and runs, optionally filtered to a since_version cutoff.
DiscoveredWhat changed in a given release (added/changed/fixed/breaking).
DiscoveredFull design doc by slug (e.g. "m-agent-mcp-website").
DiscoveredList planned/implemented/rejected design docs, optionally filtered by version. state = "planned" | "implemented" | "rejected" | ""; empty = all.
DiscoveredSidebar tree as JSON. Replaces scraping the Docusaurus sidebar. Version-scoped: snapshot of that release's docs site nav.
DiscoveredFull-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.
DiscoveredAll declared effects with capability mapping and the version they appeared in.
DiscoveredBest-fit examples for a free-form concept query ("how do I use effects?"). Filters server-side on why + title; returns up to 5 matches.
DiscoveredFull source + metadata for one example by path.
DiscoveredFilter 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.
DiscoveredHarness-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.
DiscoveredKnown limitations (Y-combinator, etc.) optionally filtered by category.
DiscoveredStepwise 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.
DiscoveredFetch the canonical teaching prompt for a version. kind = "agent" | "devtools" | "compact" (full prompt = empty).
DiscoveredWhat's shipping next, what's been rejected and why.
DiscoveredFull module: exports + signatures + docstrings.
DiscoveredList stdlib modules available in this AILANG version with one-line summaries.
DiscoveredFind stdlib functions by name, signature, or keyword. Filters the pre-built search index server-side; returns top 20 matches.
DiscoveredAnonymous 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).
DiscoveredRecent measurements
| Checked | Result | Response | Tools |
|---|---|---|---|
| Connected | 180 ms | 23 |