docs_nav — AILANG Executor MCP Tool
docs_nav
(docs nav) is one of 29 tools on the
AILANG Executor
MCP server. Connect the server and your client discovers it on the handshake.
by client
How to call docs_nav from your client
- Claude Code AILANG Executor docs_nav run in your project directory
- Claude Desktop AILANG Executor docs_nav ~/Library/Application Support/Claude/claude_desktop_config.json
- Cursor AILANG Executor docs_nav ~/.cursor/mcp.json
- VS Code AILANG Executor docs_nav .vscode/mcp.json
- Zed AILANG Executor docs_nav ~/.config/zed/settings.json
- Windsurf AILANG Executor docs_nav ~/.codeium/windsurf/mcp_config.json
- Cline AILANG Executor docs_nav ~/Library/Application Support/Code/User/globalStorage/saoudrizwan.claude-dev/settings/cline_mcp_settings.json
- Gemini CLI AILANG Executor docs_nav ~/.gemini/settings.json
- Grok AILANG Executor docs_nav .mcp.json (in your project root)
- ChatGPT AILANG Executor docs_nav Settings → Connectors → Advanced → Developer mode
- Claude.ai AILANG Executor docs_nav Settings → Connectors → Add custom connector
- LangChain AILANG Executor docs_nav pip install langchain-mcp-adapters
Fastest route
claude mcp add --transport http ailang-executor https://executor.ailang.sunholo.com/mcp/connect/Other tools on this server
- 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_search
- effects_catalog
- example_for_concept
- example_get
- examples_list
- executor_whoami
- install_guide
- limitations_list
- onboarding_guide
- prompt_get
- roadmap
- stdlib_module
- stdlib_modules
- stdlib_search
- submit_feedback
This list was read from the server itself, by connecting to it and calling tools/list on 14 November 2026. It is what
the server actually exposes, not what its listing claims.
Mutating and Read-only are read off each tool's name, not its schema — a hint, not a guarantee. The registry stores tool names only; connect the server for its live schemas.