symbolics-mcp

symbolics-mcp

An MCP server that enables LLMs to evaluate Lisp expressions on a Symbolics Genera machine over TCP. It bridges JSON-RPC requests to the Genera environment to return evaluation results, stdout, and stderr.

Category
访问服务器

README

lisp-mcp

An MCP (Model Context Protocol) server that gives LLMs the ability to evaluate Common Lisp expressions. It provides up to three tools depending on configuration:

  • eval_host_cl -- always available; evaluates expressions in the MCP server's own SBCL process
  • eval_swank -- connects to a running Lisp via the Swank protocol (the backend used by SLIME and Sly)
  • eval_genera -- bridges to a Symbolics Genera machine over TCP

Prerequisites

  • SBCL on the host machine
  • Quicklisp installed in SBCL (the MCP server loads usocket and yason via Quicklisp)

MCP configuration

Add the following to your .mcp.json (or the MCP configuration of your client):

{
    "mcpServers": {
        "lisp": {
            "command": "/path/to/lisp-mcp.sh",
            "env": {
                "SWANK_PORT": "4005",
                "GENERA_HOST": "192.168.11.2"
            }
        }
    }
}

Only command is required. The environment variables enable the optional tools.

Tools

eval_host_cl

Evaluate a Common Lisp expression in the MCP server's own SBCL process. Always available, no configuration needed. Stdout, stderr, and the return value are captured and returned.

eval_swank

Evaluate a Common Lisp expression on a running Lisp that has a Swank server. This is the most useful tool for development -- it lets the LLM interact with your live Lisp image, load systems, inspect state, and run tests.

The Swank client implements the Swank wire protocol, handles debugger entry by automatically invoking the *ABORT restart and returning the error description, and responds to interactive prompts (e.g. y-or-n-p during compilation).

Start a Swank server in your target Lisp:

(swank:create-server :port 4005 :dont-close t)

The :dont-close t argument keeps the server listening after the first connection disconnects, so the MCP server can reconnect between requests.

To have Swank automatically start an additional server on a fixed port whenever you launch SLIME from Emacs with M-x slime, add the following to your Emacs configuration:

(add-hook 'slime-connected-hook
          (lambda ()
            (slime-eval-async '(swank:create-server :port 4005 :dont-close t))))

Then set SWANK_PORT in the MCP configuration to enable the tool.

Variable Default Description
SWANK_PORT (unset) TCP port of the Swank server. When set, enables eval_swank.
SWANK_HOST 127.0.0.1 Hostname or IP of the Swank server
SWANK_PACKAGE COMMON-LISP-USER Package in which expressions are evaluated

eval_genera

Evaluate a Lisp expression on a Symbolics Genera machine. Requires eval-server.lisp running on the Genera side.

Set GENERA_HOST in the MCP configuration to enable the tool.

Variable Default Description
GENERA_HOST (unset) Hostname or IP of the Genera machine. When set, enables eval_genera.
GENERA_PORT 8888 TCP port of the eval server
GENERA_TIMEOUT 300 Timeout in seconds for each evaluation

Setting up the Genera side

Copy eval-server.lisp to the Genera SYS:SITE; directory on the host filesystem:

cp eval-server.lisp /opt/symbolics/lib/sys.sct/site/eval-server.lisp

Then load it from the Genera Lisp Listener:

Load File SYS:SITE;eval-server.lisp

The file must be loaded once per boot. It defines a TCP server (:mcp-server) on port 8888 that accepts connections, reads length-prefixed Lisp expressions, evaluates them, and returns the result, stdout, and stderr as length-prefixed fields.

To verify it is running:

echo -n '11 (+ 1 2 3 4)' | nc -w 2 192.168.11.2 8888 | cat -v

推荐服务器

Baidu Map

Baidu Map

百度地图核心API现已全面兼容MCP协议,是国内首家兼容MCP协议的地图服务商。

官方
精选
JavaScript
Playwright MCP Server

Playwright MCP Server

一个模型上下文协议服务器,它使大型语言模型能够通过结构化的可访问性快照与网页进行交互,而无需视觉模型或屏幕截图。

官方
精选
TypeScript
Magic Component Platform (MCP)

Magic Component Platform (MCP)

一个由人工智能驱动的工具,可以从自然语言描述生成现代化的用户界面组件,并与流行的集成开发环境(IDE)集成,从而简化用户界面开发流程。

官方
精选
本地
TypeScript
Audiense Insights MCP Server

Audiense Insights MCP Server

通过模型上下文协议启用与 Audiense Insights 账户的交互,从而促进营销洞察和受众数据的提取和分析,包括人口统计信息、行为和影响者互动。

官方
精选
本地
TypeScript
VeyraX

VeyraX

一个单一的 MCP 工具,连接你所有喜爱的工具:Gmail、日历以及其他 40 多个工具。

官方
精选
本地
graphlit-mcp-server

graphlit-mcp-server

模型上下文协议 (MCP) 服务器实现了 MCP 客户端与 Graphlit 服务之间的集成。 除了网络爬取之外,还可以将任何内容(从 Slack 到 Gmail 再到播客订阅源)导入到 Graphlit 项目中,然后从 MCP 客户端检索相关内容。

官方
精选
TypeScript
Kagi MCP Server

Kagi MCP Server

一个 MCP 服务器,集成了 Kagi 搜索功能和 Claude AI,使 Claude 能够在回答需要最新信息的问题时执行实时网络搜索。

官方
精选
Python
e2b-mcp-server

e2b-mcp-server

使用 MCP 通过 e2b 运行代码。

官方
精选
Neon MCP Server

Neon MCP Server

用于与 Neon 管理 API 和数据库交互的 MCP 服务器

官方
精选
Exa MCP Server

Exa MCP Server

模型上下文协议(MCP)服务器允许像 Claude 这样的 AI 助手使用 Exa AI 搜索 API 进行网络搜索。这种设置允许 AI 模型以安全和受控的方式获取实时的网络信息。

官方
精选