Slac Mcp

Overview

Slac Mcp is a Model Context Protocol (MCP) server: MCP server exposing SLAC (Simple Logic & Arithmetic Compiler) as tools for LLM agents. As an MCP server it plugs straight into AI assistants, exposing its functionality as tools the model can invoke on your behalf.

It runs locally: the npm package slac-mcp speaks MCP over stdio on your machine. No credentials are required — it works out of the box. The current release is v1.1.1, published under the Apache-2.0 license, with source at DennisPrediger/SLAC-MCP on GitHub.

You'll find Slac Mcp in the AI & Agents category here on mcp.site; it connects to Claude Desktop, Claude Code, Cursor, VS Code, Windsurf, Zed, and any other MCP client — see the install snippets below. If you maintain Slac Mcp for DennisPrediger, claim this listing to verify ownership, earn the Verified badge, and keep the details current.

Installation

// claude_desktop_config.json
{
  "mcpServers": {
    "slac_mcp": {
      "command": "npx",
      "args": [
        "-y",
        "slac-mcp"
      ]
    }
  }
}