AILANG Executor
- by sunholo-data
- 38 GitHub stars
- v0.60.4
Write, type-check and run AILANG in a sandbox, with Z3-proved contracts and docs search.
claude mcp add --transport http 'ailang-executor' 'https://executor.ailang.sunholo.com/mcp/connect/'Run in a terminal; adds the server to Claude Code.
Connect, 1 way to connect
- Remote
https://executor.ailang.sunholo.com/mcp/connect/
