LocalFree

SLAC MCP server

DennisPrediger/SLAC-MCP

MCP server exposing SLAC (Simple Logic & Arithmetic Compiler) as tools for LLM agents

0 GitHub stars151 npm downloads / month

Install SLAC in Claude Code

Claude Code
claude mcp add slac -- npx -y slac-mcp
mcp.json (Claude Desktop, Cursor, VS Code, Windsurf)
{
  "mcpServers": {
    "slac": {
      "command": "npx",
      "args": [
        "-y",
        "slac-mcp"
      ]
    }
  }
}

Frequently asked questions

What does the SLAC MCP server do?

MCP server exposing SLAC (Simple Logic & Arithmetic Compiler) as tools for LLM agents

Is the SLAC MCP server free?

Yes, most likely. Open source and no paid account or API key is mentioned in the listing. Check the provider for current pricing.

Does SLAC run locally or remotely?

Local. Runs on your machine (stdio). You install it with npx, uvx, Docker or from source.

How do I add SLAC to Claude Code?

Run: claude mcp add slac -- npx -y slac-mcp

More ai agents & coding agents MCP servers

View all