Verified record · from the answer index

io.github.DennisPrediger/slac-mcp

mcptested · static-verifiedscore 35/100signed passport ✓published 10d ago · verified 2026-07-25

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