MCP servers from io.github.DennisPrediger
MCP server exposing SLAC (Simple Logic & Arithmetic Compiler) as tools for LLM agents
