io.github.sunholo-data/ailang-executorsearch

AILANG Executor

Verified · today

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

Install

claude mcp add --transport http ailang-executor https://executor.ailang.sunholo.com/mcp/connect/

Our take

Lets agents author, type-check, and execute AILANG in a sandbox, with contract verification through Z3 and integrated documentation search. It is primarily for teams experimenting with AILANG-based agent programs; the verification features are promising, but the language and ecosystem appear niche and relatively early.

reviewed by hand · 2026-11-13

Something wrong or dead here? Report it

Verification record

last verified
today
github stars
38
last commit
today
archived
no
license
Apache-2.0
in registry since
2026-11-12

github.com/sunholo-data/ailang

More in search

browse all →
mcp-server-searchsearch

mcp-server-search

Verified · 5 days ago

MCP server for web search operations

hand-reviewed40k starschecked 5 days ago

repomixsearch

Repomix

Verified · 2 mo ago

Pack local or remote codebases into AI-friendly files that LLMs and coding agents can read or search

hand-reviewed28k stars67k dl/wkchecked 2 mo ago

screenpipe-mcpsearch

screenpipe

Verified · 2 mo ago

Search your local screen recordings, audio transcripts, and computer activity from screenpipe.

hand-reviewed22k stars2.8k dl/wkchecked 2 mo ago

xerjsearch

XERJ

Verified · 19 days ago

The search engine for AI agents: cited answers from your local code, docs, specs and logs.

hand-reviewed15k starschecked 19 days ago

sui-kapasearch

Sui Knowledge Base (kapa.ai)

Verified · 8 days ago

Semantic search across Sui documentation and knowledge sources, powered by kapa.ai

hand-reviewed7.8k starschecked 8 days ago

firecrawl-mcp-serversearch

Firecrawl MCP Server

Verified · 22 days ago

Firecrawl, the context API for AI agents: search, scrape, interact with the web, plus paper search.

hand-reviewed7.7k starschecked 22 days ago