How do I install Slac?

Copy the stdio config for Cursor, Claude Desktop, Claude Code, or VS Code on this page. It uses the publisher's install, not a PlugMCP proxy.

Does Slac need an API key?

No required environment variable is listed on this record.

Slac MCP server

Q: When was Slac last checked?

Last checked 2026-11-09. MCP server exposing SLAC (Simple Logic & Arithmetic Compiler) as tools for LLM agents

Power your agent

Add this server

The publisher's own command. Not a PlugMCP endpoint.

Add to Cursor Add to VS Code Run on PlugMCP

Host a copy with our keys and logs.

Local command

npx -y [email protected]

Claude Code has no install link for a local command. Copy the command below and run it in a terminal.

shClaude Code

1claude mcp add io.github.dennisprediger-slac-mcp -- npx -y slac-mcp@1.1.1

Run in a terminal.

jsonClaude Desktop

1{2  "mcpServers": {3    "io.github.dennisprediger-slac-mcp": {4      "command": "npx",5      "args": [6        "-y",7        "[email protected]"8      ]9    }10  }11}

claude_desktop_config.json

Local · npmPublisher installStep-by-step: add this in Claude

Remote URL or a command on your machine? How the two installs differ

Run on PlugMCP

Host a copy with our keys and logs.

A new server you create. It is not this listing's official endpoint. Use the publisher install when you want their URL and their credentials.

Launch

Server facts

Local

Transport: stdio
Version: 1.1.1
Last checked

Tools

No tool list yet. Remote servers get one after the first health check.

FAQ

Questions

slac-mcp

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

Tools

Tool	Parameters	Description
`evaluate`	`expression: string`	Compiles and evaluates a SLAC expression, returns the result
`get_syntax`	none	Returns the full SLAC language reference (syntax, operators, functions, examples)

Usage

cargo run

The server communicates over stdio using the Model Context Protocol.

Output Format

By default, evaluate returns the Rust Display representation of the result. Set OUTPUT_FORMAT=JSON to get serialized JSON instead

With MCP Inspector

npx @modelcontextprotocol/inspector cargo run

Example expressions

1 + 2
max(10, 20) + 1
'hello' + ' ' + 'world'
len('test') > 2 ? 'long' : 'short'

Development

cargo build
cargo run

Requires Rust 1.85+ (edition 2024).

License

Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License. You may obtain a copy of the License at

http://www.apache.org/licenses/LICENSE-2.0

Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing permissions and limitations under the License.

Slac

Add this server

Host a copy with our keys and logs.

Server facts

Tools

Questions

How do I install Slac?

Does Slac need an API key?

What transport does Slac use?

When was Slac last checked?

Documentation

slac-mcp

Tools

Usage

Output Format

With MCP Inspector

Example expressions

Development

License