ToolsMCP
AILANG Executor
Listed in the official MCP Registry with a hosted streamable-http endpoint. Capabilities below are the publisher’s own description.
- Type
- MCP server
- Publisher
- sunholo-data (GitHub)
- Prerequisites
- An MCP client that supports streamable-http. No credential header is declared in the registry record.
- Current version
- 0.60.4 · updated
- Official links
Publisher’s description
Write, type-check and run AILANG in a sandbox, with Z3-proved contracts and docs search.
Evidence
Each record keeps its own date and scope. Labels are independent: documentation does not imply a checked connection, and a connection does not imply a passed task.
-
Listed in the official MCP Registry
Version 0.60.4, registry status active. 1 remote endpoint (streamable-http)
Publisher-supplied registry metadata. Not a checked connection, a safe package or a completed task.
- Source publisher
- sunholo-data (GitHub)
- Version observed
- 0.60.4
- Source
- registry.modelcontextprotocol.io/v0.1/servers/io.github.sunholo-data%2Failang-executor/versions/0.60.4
Listed for these tasks
| Task | Documented for this task | Unknowns | Why it is listed |
|---|---|---|---|
| Search official technical documentation | Publisher description mentions “docs search”, “docs”. | No connection check or task run. Capability is as described by the publisher. | Rule documentation-search matched: “docs search”, “docs”. Rule documentation-search. |
Published pricing
No published price recordedCost per completed task is only shown on a task page when a comparable run recorded metered spend and verified completions.
Registry record
- Remote endpoints
https://executor.ailang.sunholo.com/mcp/connect/(streamable-http)- Registry entry
- Official MCP Registry record (JSON)
- Namespace
io.github.sunholo-data/ailang-executor
AgentsByTask never installs discovered packages or connects to discovered endpoints during discovery. An endpoint string in a registry record is not a checked connection.