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