io.github.sunholo-data/ailang-executor
AILANG Executor
Is the AILANG Executor MCP server down? No. It answered initialize and tools/list in the probe of 2026-11-13.
Write, type-check and run AILANG in a sandbox, with Z3-proved contracts and docs search.
alive probed 2026-11-14 · unchanged since 2026-11-13 · HTTP 200
- Endpoint
- https://executor.ailang.sunholo.com/mcp/connect/ (streamable-http)
- Host
- executor.ailang.sunholo.com
- Protocol
- 2025-11-25
- Reports itself as
- executor 0.60.2
- Capabilities
- logging, resources, tools
- Instructions
- none
- Of a 1M window
- 0.4 % of a 1M context window
- Count
- 4.1k tokens in Claude Opus 5.5, exact, measured 2026-11-13. With the Claude Code prefix mcp__…__ on each tool name: 4.4k. The o200k_base estimate is 2.3k. Counted again when the tool definitions change. Method.
- Repository
- https://github.com/sunholo-data/ailang
- Website
- https://ailang.sunholo.com/docs/guides/hosted-executor
- Registry
- active, updated 2026-11-13 · registry entry
Most expensive tools
The Claude column scales the o200k estimate of each tool by this server's ratio of exact to estimate, 1.79×.
| Tool | ≈ Claude tokens | o200k estimate | Share of this server |
|---|---|---|---|
| submit_feedback | 595 | 332 | 14 % |
| ailang_check | 341 | 190 | 8 % |
| install_guide | 226 | 126 | 5 % |
| ailang_run | 192 | 107 | 5 % |
| examples_list | 179 | 100 | 4 % |
Compare this server with others.
More servers
Servers that mention executor.
- xytara MCP Executor com.naxytra/xytara-mcp-executor · alive
- SwiftProbate com.swiftprobate/probate · alive
- Flow — Base quotes & contract safety for agents io.github.flow-executor/flow · alive
- io.github.shofer-dev/slang-workflows · alive
- io.github.CSOAI-ORG/code-executor-mcp · needs mcp<2
- com.glitchexecutor.grow/glitch-grow-linkedin-ad-mcp · not found
- io.github.RailKill/mcp-aider-executor · crashed on start
- Imperium Workflow Studio — Multi-Agent DAG & Pipeline Executor dev.agentdiet/workflows · alive
Badge for the README
The result of the latest probe, the tool count and the token cost. The feed has an entry for every probe that changed them.
A mail when this server changes
Stops answering, comes back, tool set or cost changes. One confirmation mail first, a stop link in every mail.
For the publisher
- The server answers initialize and tools/list. Nothing to fix.
Fixed something? Probe it now, with the same steps as the daily run. This page updates with the next daily run.