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 work with interpreter, lisp and programming language and want it reachable from Claude, Cursor, VS Code, or another MCP client. The project is written in Rust.
VERIFIED ACTIVE
LAST COMMIT 2026-09-09 · ★ 51 · #124 OF 208 MAINTAINED DOCUMENTATION · VERIFIED 2026-09-18
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.36.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.36.0 · 2026-08-31
Release Notes · Fixed · sema web panicked at startup for any app that uses import. · __web/prepare built the multi-file .vfs archive on the VM thread, and the · build constructs fresh interpreters whose prelude load is…
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.…
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 #124 of 208 actively-maintained documentation servers as of 2026-09-18.
- release cadence
- 10+ releases in the last 90 days (latest 2026-08-31)
- registry
- com.sema-lang/sema (active, first published 2026-07-17 · 8 versions)
- packages
- mcpb:https://github.com/sema-lisp/sema/releases/download/v1.36.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-09-18, its last commit was 2026-09-09 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.
- Context7 Up-to-date code docs for any prompt ★ 62,152 · 2026-09-18
- Agent Skills Search Server Search and discover Agent Skills from the skills.sh registry. Powered by HAPI MCP server. ★ 25,432 · 2026-08-09
- Repowise Codebase intelligence for AI coding agents - graph, git history, docs, decisions, code health. ★ 6,686 · 2026-09-17
- GitLab MCP GitLab MCP server for projects, merge requests, issues, pipelines, wiki, releases, and more. ★ 1,984 · 2026-09-16
- Microsoft Learn MCP Official Microsoft Learn MCP Server – real-time, trusted docs & code samples for AI and LLMs. ★ 1,892 · 2026-09-10
- Pg Aiguide Comprehensive PostgreSQL documentation and best practices, including ecosystem tools ★ 1,843 · 2026-09-16
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 · CliDeck MCP - Network Knowledge · Soracom Knowledge
More Rust MCP servers · Native DevTools · Thronglets · Sinter · Minutes · XCRS Mobile & TV Automation · see all