回首頁AILANG Executor
Write, type-check and run AILANG in a sandbox, with Z3-proved contracts and docs search.
| 項目 | 內容 |
|---|---|
| 名稱 | io.github.sunholo-data/ailang-executor |
| 版本 | 0.60.2 |
| 分類 | 搜尋開發工具 |
| 遠端網址 | https://executor.ailang.sunholo.com/mcp/connect/（streamable-http） |
| 安裝套件 | — |
| 原始碼 | https://github.com/sunholo-data/ailang |
| 網站 | https://ailang.sunholo.com/docs/guides/hosted-executor |
| 最後更新 | 2026-11-12T15:42:49.014376Z |