com.sema-lang/sema
Sema
Is the Sema MCP server down? No. It answered initialize and tools/list in the probe of 2026-10-29.
MCP tools for Sema — eval, compile, build, format, and docs for a Lisp with LLM primitives.
alive probed 2026-11-15 · unchanged since 2026-10-29
17tools
2.7ktokens in Claude Opus 5.5
1.4 %of Claude's 200k window
1.1×the median server
76 msto initialize
3 msto list tools
- Bundle
- https://github.com/sema-lisp/sema/releases/download/v2.0.0/sema.mcpb (MCPB, for a client that installs bundles; probed in a container with the network off)
- Host
- github.com
- Reports itself as
- sema-mcp 2.0.0
- Capabilities
- tools
- Instructions
- none
- Of a 1M window
- 0.3 % of a 1M context window
- Count
- 2.7k tokens in Claude Opus 5.5, exact, measured 2026-10-29. With the Claude Code prefix mcp__…__ on each tool name: 2.8k. The o200k_base estimate is 1.5k. Counted again when the tool definitions change. Method.
- Repository
- https://github.com/sema-lisp/sema
- Registry
- active, updated 2026-10-28 · registry entry
Most expensive tools
The Claude column scales the o200k estimate of each tool by this server's ratio of exact to estimate, 1.75×.
| Tool | ≈ Claude tokens | o200k estimate | Share of this server |
|---|---|---|---|
| docs_search | 294 | 168 | 11 % |
| run_file | 245 | 140 | 9 % |
| notebook/add_cell | 224 | 128 | 8 % |
| notebook/new | 205 | 117 | 8 % |
| eval | 198 | 113 | 7 % |
Compare this server with others.
More servers
Other registry entries on github.com, the ones next to this name; all of them.
- npubmail com.npubmail/npubmail · alive
- OTDeck com.otdeck/otdeck-mcp · error
- OTInstaller com.otinstaller/ot · crashed on start
- Sandbox as a Service com.sandbox-as-a-service/mcp · install failed
- shotfleet com.shotfleet/shotfleet · crashed on start
- Deepcrawl com.soflution/deepcrawl · alive
- Depsonar com.soflution/depsonar · alive
- Flintrail com.soflution/flintrail · alive
Servers that mention sema.
- Agentic News ai.agentic-news/mcp · needs auth
- Context Link ai.context-link/context-link · alive
- xmp4 — Semantic code knowledge for your stack ai.example4/xmp4 · alive
- FindIP ai.findip/patent-search · needs auth
- InfoLang Memory ai.infolang/mcp · no DNS
- Maguyva ai.maguyva/maguyva · needs auth
- Picsha AI ai.picsha/picsha · needs auth
- Stompy – AI Memory for Claude & MCP Agents ai.stompy/stompy · needs auth
Badge for the README
The result of the latest probe, the tool count and the token cost. The feed has an entry for every probe that changed them.
A mail when this server changes
Stops answering, comes back, tool set or cost changes. One confirmation mail first, a stop link in every mail.
For the publisher
- The server answers initialize and tools/list. Nothing to fix.