AILANG Executor for Cline
io.github.sunholo-data/ailang-executor
Write, type-check and run AILANG in a sandbox, with Z3-proved contracts and docs search.
client:Cline
transport:streamable-http
tools:29
Install AILANG Executor in Cline
~/Library/Application Support/Code/User/globalStorage/saoudrizwan.claude-dev/settings/cline_mcp_settings.json · windows: %APPDATA%\Code\User\globalStorage\saoudrizwan.claude-dev\settings\cline_mcp_settings.json
{
"mcpServers": {
"ailang-executor": {
"url": "https://executor.ailang.sunholo.com/mcp/connect/"
}
}
}Cline's MCP Servers pane edits this file for you if you would rather not find it. Cline docs
What Cline can do once it is connected
- ailang_builtins
- ailang_check
- ailang_eval
- ailang_prompt
- ailang_run
- ailang_versions
- benchmark_run
- benchmarks_compare
- benchmarks_for_model
- benchmarks_list
- changelog_for_version
- design_doc
- design_docs_list
- docs_nav
- docs_search
- effects_catalog
- example_for_concept
- example_get
- examples_list
- executor_whoami
- install_guide
- limitations_list
- onboarding_guide
- prompt_get