AILANG Docs
io.github.sunholo-data/ailang-docs
AILANG language reference, stdlib, examples and benchmarks for agents that write AILANG.
Connect this server
Add this to your MCP client config — claude_desktop_config.json (Claude Desktop) or .cursor/mcp.json (Cursor).Suits: Cursor · HTTP clients.
{
"mcpServers": {
"ailang-docs": {
"url": "https://mcp.ailang.sunholo.com/mcp/"
}
}
}A starting point — check the repository for exact arguments and setup. Restart your client after editing the config.
- Category
- Documents & Knowledge
- Version
- 0.60.4
- Registry
- active
- Published
- 11/13/2026
Remotes
- streamable-http
https://mcp.ailang.sunholo.com/mcp/
More Documents & Knowledge servers
Browse all Documents & Knowledge →
AILANG Executor
sunholo-data
Write, type-check and run AILANG in a sandbox, with Z3-proved contracts and docs search.
AILANG Parse
sunholo-data
Parse, convert and create Office and PDF documents. OAuth at /mcp/connect/, API key at /mcp/.
Vulcanus
sunsatosolutions
A validated Markdown memory vault your coding agent can recall, project by project.
Suparse Document Processing
suparse
Extract data, create schemas, and export results from PDFs and documents with Suparse AI OCR.
Obsidian Brain
sweir1
Obsidian MCP server: semantic search, knowledge graph, and vault editing. No plugin required.
Mistral MCP
Swih
Mistral MCP server: extract invoices and documents from text, Markdown or OCR into typed JSON.
Add the badge to your site
Show visitors that AILANG Docs is listed here — it’s also the link we check for a free listing.
HTML — for your website
<a href="https://serverdex.io/server/io-github-sunholo-data-ailang-docs?utm_source=badge"><img src="https://serverdex.io/brand/badge.svg" alt="AILANG Docs — listed on Serverdex" width="123" height="40" loading="lazy"></a>Recommended. A dofollow link from your own domain is the one that counts for search engines, and it's the link we check for a free listing.
Markdown — for your README
[](https://serverdex.io/server/io-github-sunholo-data-ailang-docs?utm_source=badge)Nice for visibility, but GitHub marks README links nofollow, so it doesn't pass authority. Use the HTML badge on your site as well.