← all MCP servers

io.github.DennisPrediger/slac-mcp

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

install

  • npm · stdio

    npx -y slac-mcp@1.1.1

details

version
1.1.1
license
Apache-2.0
stars
0
last commit
2026-07-18
published
2026-07-18
https://github.com/DennisPrediger/SLAC-MCP

last synced 2026-07-29