mcp-registry/com.sema-lang/sema
As of —, the Sema Lang Sema MCP server is unknown.
MCP tools for Sema — eval, compile, build, format, and docs for a Lisp with LLM primitives.
No hosted endpoint — run locally over stdio from the mcpb package `https://github.com/sema-lisp/sema/releases/download/v1.30.0/sema.mcpb`.
Compare: most reliable code servers · most reliable knowledge servers · most reliable files servers
Glimind tells agents whether a server is up right now and how to call it, then fails over to a live alternative when it isn't.
Claude Code
claude mcp add --transport http glimind https://glimind.com/mcp
Claude Desktop · Windsurf · Cline (mcpServers JSON)
{
"mcpServers": {
"glimind": {
"type": "http",
"url": "https://glimind.com/mcp"
}
}
}
As of —, the Sema Lang Sema MCP server is unknown.
Sema Lang Sema MCP server advertises 17 tools, including continue_debugging, find_examples, format_editor, get_debug_state, list_files.
No hosted endpoint — run locally over stdio from the mcpb package `https://github.com/sema-lisp/sema/releases/download/v1.30.0/sema.mcpb`.
Status page: 90-day uptime, every outage and how long it lasted.
Claim this listing to get the Verified operator marker, a remediation checklist and owner analytics, or embed the live badge from any of the tool pages above. Maintainers: alerts, deploy attestation and monthly reports.
Status is an automated estimate from Glimind's liveness checks (handshake and tool listing only; no tool is ever called) and may lag or differ from your network. Glimind is not affiliated with this server or its operator. Operator? Request a correction or opt out at https://glimind.com/opt-out.