SERVER

AILANG Executor

Rank #2,172

io.github.sunholo-data/ailang-executor

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

3 versions
38 GitHub stars
by sunholo-data (3 servers)View repository ↗Homepage ↗
First listed
Nov 10, 2026
Last publish date
Nov 13, 2026
PURPOSE

What you can do with AILANG Executor

AILANG Executor is a Model Context Protocol (MCP) server published by sunholo-data. It ranks #2,172 of 176,402 active servers on MCP Toplist, and its repository has 38 GitHub stars. AILANG Executor is listed on Official MCP, with 3 tracked versions. It was first listed on Nov 10, 2026 and most recently updated on Nov 13, 2026.

Not verifiedMCP Toplist has not yet written a checked profile for this server, so the paragraph above is assembled from registry data only. The repository README is the authority on what it does.

CAPABILITIES AND LIMITATIONS

What AILANG Executor can and cannot do

Not verifiedMCP Toplist has not catalogued this server's tools or limitations. The repository README lists them.

REQUIREMENTS

What you need before using AILANG Executor

DeclaredNo credentialsNo credentials declared

The registry listing declares no required environment variables or authentication. This is declared metadata, not a verified install — the repository README is the authority.

MCP Toplist probed the public endpoint on Nov 13, 2026 and could not complete the MCP handshake (jsonrpc error). Requirements remain unverified.

Declared by the Official MCP Registry, last synced Nov 14, 2026. Not independently verified by MCP Toplist.

Declared in the registry install config

Hosted endpoint declared as public.

INSTALLATION AND FIRST TASK

Connect AILANG Executor and confirm it works

Remote · HTTP
claude mcp add --transport http ailang-executor https://executor.ailang.sunholo.com/mcp/connect/
First successful task

After adding the config, ask your client to list this server's tools. A tool list confirms the connection; an empty list or an error means the server did not start or needs credentials.

ALTERNATIVES

When to choose another server

Other servers by sunholo-data
View all sunholo-data servers →

No task-specific alternatives are catalogued for AILANG Executoryet; the list above is its publisher's other servers.

MAINTENANCE AND EVIDENCE

What changed, and when this was checked

First listed
Nov 10, 2026
Latest version published
Nov 13, 2026
Version history
3 versions tracked (below)
Requirements evidence
MCP Toplist probed the public endpoint on Nov 13, 2026 and could not complete the MCP handshake (jsonrpc error). Requirements remain unverified.
Profile checked
Not yet — purpose, capabilities and requirements above come from registry data only
Ranking data as of
Nov 13, 2026
Registry sightings

Do you maintain AILANG Executor? to show as its verified maintainer and add your own summary, sign-in details and links. The rest of this page is read from the registry listings and from MCP Toplist's own connection check.

VERSIONS

Available versions (3)

0.60.2 · Nov 12, 20260.60.3 · Nov 12, 20260.60.4 · Nov 13, 2026Nov 12, 2026Nov 13, 2026
VersionPublished
0.60.4Nov 13, 2026
0.60.3Nov 12, 2026
0.60.2Nov 12, 2026
STANDING
#2,172of 176,402 active serversTop 5%

Ranks ahead of 174,230 of 176,402 servers on MCP Toplist.

BADGE

Show your rank

Maintain this server? Add the live rank badge to your README — it updates automatically as the leaderboard changes.

MCP Toplist: Top 5% of 176,402
Markdown
[![MCP Toplist](https://mcptoplist.com/badge/io.github.sunholo-data%2Failang-executor.svg)](https://mcptoplist.com/server/io.github.sunholo-data%2Failang-executor)
HTML
<a href="https://mcptoplist.com/server/io.github.sunholo-data%2Failang-executor"><img src="https://mcptoplist.com/badge/io.github.sunholo-data%2Failang-executor.svg" alt="MCP Toplist: Top 5% of 176,402" /></a>

Variants: append ?metric=score or ?metric=stars to the image URL.

FAQ

Frequently asked questions

Who maintains AILANG Executor?
AILANG Executor is maintained by sunholo-data, which publishes 3 MCP servers (22 total versions) tracked on MCP Toplist.
Is AILANG Executor listed on the Official MCP Registry?
Yes — AILANG Executor is listed on the Official MCP Registry.
How many versions does AILANG Executor have?
MCP Toplist tracks 3 versions of AILANG Executor, most recently published on Nov 13, 2026.
Where can I find the source code for AILANG Executor?
The source code for AILANG Executor is hosted at github.com/sunholo-data/ailang.
Used in projects

Do you run this server?

Community projects list the MCP servers behind real agents and apps. Publish yours and this page will link to it.

EXPLORE