docs_nav — AILANG Docs MCP Tool
docs_nav
(docs nav) is one of 23 tools on the
AILANG Docs
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 Docs docs_nav run in your project directory
- Claude Desktop AILANG Docs docs_nav ~/Library/Application Support/Claude/claude_desktop_config.json
- Cursor AILANG Docs docs_nav ~/.cursor/mcp.json
- VS Code AILANG Docs docs_nav .vscode/mcp.json
- Zed AILANG Docs docs_nav ~/.config/zed/settings.json
- Windsurf AILANG Docs docs_nav ~/.codeium/windsurf/mcp_config.json
- Cline AILANG Docs docs_nav ~/Library/Application Support/Code/User/globalStorage/saoudrizwan.claude-dev/settings/cline_mcp_settings.json
- Gemini CLI AILANG Docs docs_nav ~/.gemini/settings.json
- Grok AILANG Docs docs_nav .mcp.json (in your project root)
- ChatGPT AILANG Docs docs_nav Settings → Connectors → Advanced → Developer mode
- Claude.ai AILANG Docs docs_nav Settings → Connectors → Add custom connector
- LangChain AILANG Docs docs_nav pip install langchain-mcp-adapters
Fastest route
claude mcp add --transport http ailang-docs https://mcp.ailang.sunholo.com/mcp/
Other tools on this server
- 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
- 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.