Verified record · from the answer index

io.github.DennisPrediger/slac-mcp

mcptested · static-verifiedscore 41/100signed passport ✓published 46d ago · verified 2026-08-08

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

Install

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

registry:io.github.DennisPrediger/slac-mcp · published by dennisprediger · source repository