← all MCP servers

AILANG Executor

io.github.sunholo-data/ailang-executor

Write, type-check and run AILANG in a sandbox, with Z3-proved contracts and docs search.

remote endpoints

streamable-http https://executor.ailang.sunholo.com/mcp/connect/

details

version: 0.60.2
license: Apache-2.0
stars: 38
last commit: 2026-11-12
published: 2026-11-12

https://github.com/sunholo-data/ailang

last synced 2026-11-12