AILANG Docs for Grok
io.github.sunholo-data/ailang-docs
AILANG language reference, stdlib, examples and benchmarks for agents that write AILANG.
client:Grok
transport:streamable-http
tools:23
Install AILANG Docs in Grok
.mcp.json (in your project root)
{
"mcpServers": {
"ailang-docs": {
"type": "http",
"url": "https://mcp.ailang.sunholo.com/mcp/"
}
}
}Grok Build reads Claude Code's .mcp.json and Claude Desktop's config unchanged, so a server you have already set up there needs nothing new. The Grok web app and X integration do not take custom servers. Grok docs
What Grok can do once it is connected
- 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
- install_guide
- limitations_list
- onboarding_guide
- prompt_get
- roadmap
- stdlib_module
- stdlib_modules
- stdlib_search
- submit_feedback