AILANG Executor

io.github.sunholo-data/ailang-executor

Write, type-check and run AILANG in a sandbox, with Z3-proved contracts and docs search.

View repository →Homepage →

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-executor": {
      "url": "https://executor.ailang.sunholo.com/mcp/connect/"
    }
  }
}

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-httphttps://executor.ailang.sunholo.com/mcp/connect/

More Documents & Knowledge servers

Browse all Documents & Knowledge →

AILANG Parse

sunholo-data

Parse, convert and create Office and PDF documents. OAuth at /mcp/connect/, API key at /mcp/.

Documents & KnowledgeAdded 1 week ago

Vulcanus

sunsatosolutions

A validated Markdown memory vault your coding agent can recall, project by project.

Documents & KnowledgeAdded Oct 2026

Suparse Document Processing

suparse

Extract data, create schemas, and export results from PDFs and documents with Suparse AI OCR.

Documents & KnowledgeAdded 3 weeks ago

Obsidian Brain

sweir1

Obsidian MCP server: semantic search, knowledge graph, and vault editing. No plugin required.

Documents & KnowledgeAdded May 2026

Mistral MCP

Swih

Mistral MCP server: extract invoices and documents from text, Markdown or OCR into typed JSON.

Documents & KnowledgeAdded Sep 2026

Conformy

conformy

EU AI Act & NIS2 compliance — classify AI systems, check obligations, draft docs.

Documents & KnowledgeAdded Apr 2026

Add the badge to your site

Show visitors that AILANG Executor is listed here — it’s also the link we check for a free listing.

AILANG Executor — listed on Serverdex

HTML — for your website

<a href="https://serverdex.io/server/io-github-sunholo-data-ailang-executor?utm_source=badge"><img src="https://serverdex.io/brand/badge.svg" alt="AILANG Executor — 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

[![AILANG Executor — listed on Serverdex](https://serverdex.io/brand/badge.svg)](https://serverdex.io/server/io-github-sunholo-data-ailang-executor?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.