Install SLAC in Claude Code
claude mcp add slac -- npx -y slac-mcp{
"mcpServers": {
"slac": {
"command": "npx",
"args": [
"-y",
"slac-mcp"
]
}
}
}Frequently asked questions
What does the SLAC MCP server do?
MCP server exposing SLAC (Simple Logic & Arithmetic Compiler) as tools for LLM agents
Is the SLAC MCP server free?
Yes, most likely. Open source and no paid account or API key is mentioned in the listing. Check the provider for current pricing.
Does SLAC run locally or remotely?
Local. Runs on your machine (stdio). You install it with npx, uvx, Docker or from source.
How do I add SLAC to Claude Code?
Run: claude mcp add slac -- npx -y slac-mcp
More ai agents & coding agents MCP servers
View allSnowSure — Snow & Ski
mikeslone/snowsure-web
Live ski snow, multi-model forecasts, powder rankings & a grounded Answer Engine for 500+ resorts.
Siren
yoavhizkiH/siren
MCP server for Siren diagramming — teach AI models to create beautiful diagrams with Siren syntax
Spikes
bierlingm/spikes
UI feedback for AI-assisted building. Click elements, rate them, agents triage via MCP.
Should i Use
mrkeyoor/should-i-use
Honest library picks for coding agents in 25-360 tokens. Tells your agent what NOT to install.
Thailand Data
narinthon-so/thailand-data-mcp
Thai data for AI agents: DBD company-registry lookup, address normalization, holidays, VAT/WHT.
Schelling Protocol
codyz123/schelling-protocol
Universal coordination protocol for AI agents. Discovery, matching, and negotiation.