Browse MCP servers

MCP Harbor, an MCP Server Registry, Directory, and Tower to Buzz.

3 matching

filtered by io.github.sunholo-data clear all

Showing 1–3 of 3 servers

AILANG Executor
streamable-http

io.github.sunholo-data/ailang-executor

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

official 29 tools
AILANG Docs
streamable-http

io.github.sunholo-data/ailang-docs

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

official 23 tools
AILANG Parse
streamable-http

io.github.sunholo-data/parse

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

official 10 tools 2 secrets

Search this catalogue from your agent

The registry is itself an MCP server. Add it once and your agent runs these same searches, with no account and no key.

claude mcp add --transport http mcp-registry-search https://ai.mcpharbor.dev/mcp