Common Lisp is a dialect of the Lisp programming language, a high-level, general-purpose, multi-paradigm programming language known for its distinctive parenthesized prefix notation.
Parses Common Lisp source files with tree-sitter and builds call graphs for formal analysis, supporting built-in analyses like reachability, dead-code detection, cycles, and change-impact tracing on Lisp code.
MCP server that gives LLMs access to formal verification via Z3 and SWI-Prolog, plus tree-sitter-based source code analysis. Translates natural language problems into formal logic using a template-based pipeline, verifies results with mathematical certainty, and analyzes call graphs for reachability, dead code, and impact analysis.
142 npm
218
Apache 2.0
Why this server?
Provides the ability to evaluate Common Lisp and Zetalisp expressions on a Symbolics Genera machine and retrieve the resulting values, standard output, and error messages.
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.