Sema

Remote MCP server for Tandem docs, install guides, SDKs, workflows, and agent setup help.

binary

Aidoo for Odoo

Query and update your Odoo ERP in plain language, under your own Odoo access rules.

python

Spotdb

Ephemeral data sandbox for AI workflows with guardrails and security

docker

aiclouddata

Anki MCP Server

MCP server for Anki flashcards: adaptive review, notes, media, and deck management via AnkiConnect.

node

Sema

stdio

MCP tools for Sema — eval, compile, build, format, and docs for a Lisp with LLM primitives.

Claude Desktopguide →Vscodeguide →Cursorguide →Windsurfguide →

Getting Started

npx @getmcp/cli add com.sema-lang/sema

Requires Pre-built binary. Community-contributed server. Review source before installing.

Configuration

Config file: ~/Library/Application Support/Claude/claude_desktop_config.json

JSON

{
  "mcpServers": {
    "com.sema-lang/sema": {
      "command": "https://github.com/sema-lisp/sema/releases/download/v1.37.0/sema.mcpb"
    }
  }
}

Claude Desktop MCP documentation

Related Servers

Tandem Docs

Remote MCP server for Tandem docs, install guides, SDKs, workflows, and agent setup help.

binary

Aidoo for Odoo

Query and update your Odoo ERP in plain language, under your own Odoo access rules.

python

Spotdb

Ephemeral data sandbox for AI workflows with guardrails and security

docker

aiclouddata

Anki MCP Server

MCP server for Anki flashcards: adaptive review, notes, media, and deck management via AnkiConnect.

node