MCP servers
slac-mcp
MCP server exposing SLAC (Simple Logic & Arithmetic Compiler) as tools for LLM agents
Remotes
This server publishes no hosted endpoint. Run one of its packages locally.
Packages
slac-mcp · npm 1.1.1 · stdio
claude mcp add --transport stdio slac-mcp -- npx -y slac-mcp@1.1.1Server details
- Registry name
- io.github.DennisPrediger/slac-mcp
- Version
- 1.1.1
- Registry status
- active
