Sema runs on your own machine — the client starts it, so there is no endpoint to ping. Last commit 9 Sep 2026.
MCP tools for Sema — eval, compile, build, format, and docs for a Lisp with LLM primitives.
What the code does
We read the source, 21 h ago · rules 3dff92dd89df
What this server is able to do. For an MCP server this is often the job itself — a terminal server runs commands because that is what it is for. Listed so you know what you are plugging in, not as an accusation.
(SELECT COALESCE(SUM(input_tokens+output_tokens),0) FROM usage u WHERE u.run_id=r.run_id) AS tokens,
eval(code: string): EvalResult {
let request_digest = sha256_binding(&RequestBinding {
phasesEl.innerHTML = html;
Is this your server and something here is wrong? Tell us — corrections are free and do not require a plan.
This code can reach further than it looks
We found places where it runs commands, builds paths or queries from values it is given. None of that is a flaw by itself — it becomes one when the code changes, and code changes quietly between releases. We re-read it on every one.
Alternatives to Sema
same job, measured the same wayLean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
MCP server for Qingkuai (.qk) — docs search, syntax check, compilation, and formatting tools.
Local SEO: MCP for local business audits with tools and guidance.
Privacy-first email inboxes for AI agents with MCP mail tools and Composio connect/execute.
Unofficial local MCP server for Livespace CRM with read tools and guarded writes.
Build Elementor sites with AI agents - native, editable pages via ~90 MCP tools. Free & MIT.
MCP server exposing SLAC (Simple Logic & Arithmetic Compiler) as tools for LLM agents
Read-only MCP server for 1C:Enterprise via OData with metadata and query builder tools.
Sema — questions
Answers built from our own checks of this server.