Skip to content
Verified official

slac mcp MCP

v1.1.1

io.github.dennisprediger/slac-mcp

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

transport:stdio runtime:npm

Target client

run in your project directory

claude mcp add slac-mcp -- npx -y slac-mcp

Adds it for this project only. Append --scope user to make it available everywhere. Claude Code docs

This listing does not declare its tools. Connect the server and your client will discover them on the handshake.