Verified record · from the answer index

io.github.DennisPrediger/slac-mcp

mcptested · static-verifiedscore 46/100signed passport ✓published 103d ago · verified 2026-10-240 GitHub stars

MCP Server to expose evaluation Tools to LLM and AI Agents using a Simple Logic & Arithmetic Compiler

Install

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

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