MCP
ServerStatus
Checker
Directory
Specs
Docs
Why join
Pricing
Checker
Directory
Specs
Docs
Why join
Pricing
Sign in / Dashboard
Home
/
Directory
/
io.github.DennisPrediger
io.github.DennisPrediger
MCP Servers
io.github.DennisPrediger/slac-mcp
Current
MCP server exposing SLAC (Simple Logic & Arithmetic Compiler) as tools for LLM agents