Repository avatar
AI Tools
v0.60.3
active

ailang-executor

io.github.sunholo-data/ailang-executor

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

RepositoryWebsite

No Documentation Available

This server doesn't have README documentation in its repository. Check the repository or website links in the sidebar for more information.

View Repository

No installation packages available.

Related Servers

io.github.sunholo-data/ailang-docs

AILANG language reference, stdlib, examples and benchmarks for agents that write AILANG.

io.github.sunholo-data/parse

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