Sema MCP Server

A Lisp where LLM agents are language primitives, not an SDK - compiled to a fast bytecode VM, shipped as a single binary.

People who need documentation tools inside Claude, Cursor, VS Code, or another MCP client. The project is written in Rust.

VERIFIED ACTIVE

LAST COMMIT 2026-08-21 · ★ 37 · #107 OF 183 MAINTAINED DOCUMENTATION · VERIFIED 2026-08-25

MIT · Rust servers · how we verify → /methodology

01 · Install Sema

Claude Desktop

Settings → Extensions → Install, then select the https://github.com/sema-lisp/sema/releases/download/v1.35.0/sema.mcpb .mcpb bundle

02 · Evidence

Security posture

What to check before giving this server access to your agent - from the registry, GitHub, and our own probes. We don't score safety; we show what's verifiable.

runs as Claude Desktop extension (.mcpb bundle)

license MIT - declared in the repository

registry vendor namespace com.sema-lang - domain-verified with the official MCP registry

03 · What Sema can do

Prose above is summarized from the project's README and registry record - no invented capabilities.

Latest releases

v1.35.0 · 2026-08-18

Release Notes · Added · Notebook LLM cost tracking (#68). Cost visibility is now ambient instead · of a (llm/session-usage) cell you remember to add. Every cell eval runs in · a per-leaf usage scope (the same mechanism…

v1.34.2 · 2026-08-04

Release Notes · Fixed · macOS Apple Silicon binaries are signed and published again. The · aarch64-apple-darwin build failed importing the Developer ID certificate · with MAC verification failed during PKCS12 import.…

v1.33.0 · 2026-07-29

Release Notes · Added · sema mcp list - lists every MCP server with cached credentials, one · line per server with its token status (token present / token expired). · Reads only the local credential store (never the…

04 · Who maintains Sema

Sema is maintained by sema-lisp. It's the only MCP server we track from this author; the repo dates to Feb 2026.

05 · Facts

repository: github.com/sema-lisp/sema
category: documentation - ranked #107 of 183 actively-maintained documentation servers as of 2026-08-25.
release cadence: 10+ releases in the last 90 days (latest 2026-08-18)
registry: com.sema-lang/sema (active, first published 2026-07-17 · 7 versions)
packages: mcpb:https://github.com/sema-lisp/sema/releases/download/v1.35.0/sema.mcpb

06 · Sema FAQ

What is Sema?

A Lisp where LLM agents are language primitives, not an SDK - compiled to a fast bytecode VM, shipped as a single binary.

Is Sema still maintained?

Yes - as of 2026-08-25, its last commit was 2026-08-21 and it shipped 10+ releases in the last 90 days. We re-verify nightly.

07 · Alternatives to Sema

Alternatives to Sema

Maintained documentation servers if Sema isn't the fit.

Pairs well with

Servers that cover what Sema doesn't - only shown when the pairing reason fits the companion.

More documentation MCP servers · Zammad MCP · Google AI Search MCP · SignNow Api Helper MCP · Soracom Knowledge · Sprintra

More Rust MCP servers · Native DevTools · Thronglets · XCRS Mobile & TV Automation · Crawlie · Lain · see all