Skip to content
mcp/harbor
Verified official

AILANG Executor MCP

v0.60.4

io.github.sunholo-data/ailang-executor

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

transport:streamable-http tools:29
View source Website

Target client

run in your project directory 

claude mcp add --transport http ailang-executor https://executor.ailang.sunholo.com/mcp/connect/

setup guides: Claude Code Claude Desktop Cursor VS Code Zed Windsurf Cline Gemini CLI Grok ChatGPT Claude.ai LangChain

Adds it for this project only. Append --scope user to make it available everywhere. Claude Code docs

ailang_builtins

ailang builtins

ailang_check

ailang check

ailang_eval

ailang eval

ailang_prompt

ailang prompt

ailang_run

ailang run

ailang_versions

ailang versions

benchmark_run

benchmark run

benchmarks_compare

benchmarks compare

benchmarks_for_model

benchmarks for model

benchmarks_list

benchmarks list

changelog_for_version

changelog for version

design_doc

design doc

design_docs_list

design docs list

docs_nav

docs nav

docs_search

docs search

effects_catalog

effects catalog

example_for_concept

example for concept

example_get

example get

examples_list

examples list

executor_whoami

executor whoami

install_guide Mutating

install guide

limitations_list

limitations list

onboarding_guide

onboarding guide

prompt_get

prompt get

roadmap

roadmap

stdlib_module

stdlib module

stdlib_modules

stdlib modules

stdlib_search

stdlib search

submit_feedback

submit feedback

All 29 tools, one page each

Mutating and Read-only are read off each tool's name, not its schema — a hint, not a guarantee. Check the server's own documentation before granting access.