slac mcp for Claude Code

io.github.dennisprediger/slac-mcp

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

client:Claude Code transport:stdio runtime:npm

Install slac mcp in Claude Code

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